Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
Skuteczność i efektywność informatycznego wspomagania przedsięwzięć inżynieryjnych może być w znacznej mierze uzależniona od właściwej reprezentacji danych bądź wiedzy i możliwości przetwarzania dostępnych zasobów informacyjnych. Wykorzystywane powszechnie do informatycznego wspomagania przedsięwzięć informacyjno-decyzyjnych klasyczne systemy baz danych i coraz częściej, systemy z bazami wiedzy nie umożliwiają odzwierciedlania powszechnie występującej w przedsięwzięciach inżynieryjnych niepewności, czy niejednoznaczności zasobów informacyjnych. Poszukiwanie rozwiązań informatycznych będących w stanie przetwarzać dane przybliżone skłania do rozpatrzenia możliwości wykorzystania logiki wielowartościowej, a w szczególności logiki rozmytej w modelowaniu danych oraz wiedzy, jak również w procesach przetwarzania zasobów informacyjnych. Dotychczasowy brak rozwiązań w zakresie wykorzystania rozmytych baz danych oraz rozmytych baz wiedzy w obszarze przedsięwzięć inżynieryjnych stanowi przesłankę do podjęcia próby oceny możliwości zastosowania tych technologii do wspomagania procesów informacyjno-decyzyjnych oraz związanych z tym ograniczeń.
EN
The IT tools that are widely used for aiding information and decisionmaking tasks in engineering activities include classic database systems, and in the case of problems with poorly-recognised structure – systems with knowledge bases. The uniqueness of these categories of systems allows, however, neither to represent the approximate or imprecise nature of available data or knowledge nor to process fuzzy data. Since so far there have been no solutions related to the use of fuzzy databases or fuzzy knowledge bases in engineering projects, it seems necessary to make an attempt to assess the possible employment of these technologies to aid analytical and decision-making processes.
PL
Niniejszy raport stanowi omówienie Teorii Reprezentacji Dyskursu (w skrócie DRT) w postaci przedstawionej przez Kampa i Reylego (1993). Prezentowana jest zarówno podstawowa wersja teorii, jak i dwa jej rozszerzenia: jedno dotyczące reprezentacji liczby mnogiej (znaczniki zbiorowe) i rozszerzonych kwantyfikatorów (DRT_Pl), drugie kwestii związanych z czasem i aspektem (DRT_T). Przedstawiona jest także translacja wersji podstawowej na rachunek predykatów I rzędu. Raport skupia się na analizie własności DRT względem oryginalnej semantyki Kampa i Reylego opartej na pojęciu osadzeń wraz z pokazaniem, które z tych własności przenoszą się na zmodyfikowane wersje teorii DRT_Pl i DRT_T. Wykazujemy także, że wiele tautologii rachunku zdań zachowuje swą ważność po przeformułowaniu ich na język DRT. Na koniec dokonano krótkiego porównania omawianej semantyki z późniejszą semantyką (statyczną) opisaną przez van Eijcka i Kampa (1997).
EN
The present report contains a discussion of Discourse Representation Theory (DRT) as formulated in Kamp and Reyle (1993). Apart form the basie version of the theory, the report deser ibes its two extensions: the first concerning representation of plurals and generalized quan-tifiers (DRTpi), the second concerning tense and aspect (DRTy). A translation of the basie version into the first order predicate calculus is described, too. The main focus of the report is an analysis of the properties of DRT with regard to the original Kamp and Reyle's semantics based on the notion of embeddings. Next, the report shows which of these properties carry over to the two modified versions of the theory, i.e.,DRTp; and DRTx- We show also that many of the tautologies of the propositional calculus arę valid after their transposition to the DRT language. Finally, a short comparison of the DRT semantics considered here with the later (static) semantics discussed by van Eijck and Kamp (1997).
3
EN
Computational Intelligence has emerged as a synergistic environment of Granular Computing (including fuzzy sets, rough sets, interval analysis), neural networks and evolutionary optimisation. This symbiotic framework addresses the needs of system modelling with regard to its transparency, accuracy and user friendliness. This becomes of paramount interest in various modelling in bioinformatics especially when we are concerned with decision-making processes. The objective of this study is to elaborate on the two essential features of CI that is Granular Computing and the resulting aspects of logic-oriented processing and its transparency. As the name stipulates, Granular Computing is concerned with processing carried out at a level of coherent conceptual entities - information granules. Such granules are viewed as inherently conceptual entities formed at some level of abstraction whose processing is rooted in the language of logic (especially, many valued or fuzzy logic). The logic facet of processing is cast in the realm of fuzzy logic and fuzzy sets that construct a consistent processing background necessary for operating on information granules. Several main categories of logic processing units (logic neurons) are discussed that support aggregative (and-like and or-like operators) and referential logic mechanisms (dominance, inclusion, and matching). We show how the logic neurons contribute to high functional transparency of granular processing, help capture prior domain knowledge and give rise to a diversity of the resulting models.
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ć.