Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  logika formalna
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
The approach to applications integration for World Data Center (WDC) interdisciplinary scientific investigations is developed in the article. The integration is based on mathematical logic and artificial intelligence. Key elements of the approach - a multilevel system architecture, formal logical system, implementation - are based on intelligent agents interaction. The formal logical system is proposed. The inference method and mechanism of solution tree recovery are elaborated. The implementation of application integration for interdisciplinary scientific research is based on a stack of modern protocols, enabling communication of business processes over the transport layer of the OSI model. Application integration is also based on coordinated models of business processes, for which an integrated set of business applications are designed and realized.
3
Content available remote Nowy idealizm? : Le Corbusier, Alexander i architektura generatywna
PL
Artykuł porusza problem udziału metod matematycznych w kreacji i interpretacji twórczości architektonicznej. Poprzez analogię do teorii muzyki wskazuje możliwości ścisłego formalizowania zasad kształtujących styl wypowiedzi. Wskazuje odmienność problematyki zadań przestrzennych wynikającą z komplikacji i wielości uwarunkowań. Bazując na wypowiedzi Christophera Alexandra - przedstawia szanse, jakie przynosi architekturze wykorzystanie zaawansowanych technik informatycznych. Dotyczą one zarówno praktyki projektowania, jak i teoretycznych podstaw twórczości.
EN
The paper reflects on mathematical grounds for architectural creation and understanding. Theory of music contributes analogy that enlightens how to develop style based on formal rules. However - complexity of spatial problems is described as limitation for strict reasoning. Following Christopher Alexander's view - it shows new perspective that computation brings to architecture. The perspective for design practice as well as theory.
4
Content available remote Knowledge, Vagueness and Logic
EN
The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may contain vague terms. The theoretical framework of the conception refers to the theory of Pawlak's rough sets and is connected with Zadeh's fuzzy set theory as well as bag (or multiset) theory. In the considerations formal logic means and the concept system of set theory have been used. The paper can be regarded as an outline of the logical theory of vague concepts.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.