A Knowledge Representation Framework Based on Epistemic Logic
Journal Title: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki - Year 2014, Vol 8, Issue 11
Abstract
We introduce a uniform non-monotonic framework for knowledge representation based on epistemic logic which is sufficiently general to encompass several nonmonotonic formalisms, including circumscription, autoepistemic logic, various semantics proposed for logic programs and deductive databases (stable semantics, well-founded semantics and stationary semantics) as well as Gelfond’s epistemic specifications. The existence of such a uniform framework allows us not only to provide simpler and perhaps more natural definitions of various formalisms but it also enables us to better understand mutual relationships existing between them.
Authors and Affiliations
Teodor Przymusiński
Keywords
Related Articles
- EP ID EP168978
- DOI 10.26348/znwwsi.11.41
- Views 140
- Downloads 0
Analiza wybranych narzędzi do skanowania systemów informatycznych
Skanowanie jest procesem zdalnego wykrywania hostów, serwerów, urządzeń sieciowych oraz realizowanych usług. Polega to na próbkowaniu aktywności analizowanego urządzenia sieciowego, poprzez wysyłanie do niego odpowiednio...
On EDF scheduler with the exponential deadlines
This work deals with the performance evaluation of EDF (Earliest Deadline First) packet scheduler with two classes. The primary metric of interest is the mean sojourn time for each class. The system is composed of two cl...
Podejście zwinne a tradycyjne do projektów wytwarzania oprogramowania
Artykuł stanowi próbę porównania podejścia tradycyjnego oraz zwinnego do projektów wytwarzania oprogramowania. Omówione zostały podstawowe pojęcia dotyczące kontekstu, w którym realizowane są projekty produkcji oprogramo...
Ocena jakości usług telefonii pakietowej
W artykule kompleksowo opisano podejście do zagadnienia oceny jakości usług telefonii pakietowej. Na wstępnie dokonano systematyki pojęć związanych z oceną jakości, wyjaśniając m.in. różnicę pomiędzy używanymi w tym kont...
Porównanie wydajności i produktywności algorytmu tworzenia drzew decyzyjnych zaimplementowanego w środowiskach SPARK oraz GASPI
W pracy zbadano wydajność i produktywność programistyczną wykorzystania chmur obliczeniowych oraz dwu odmiennych środowisk programistycznych, a mianowicie SPARK i GASPI, do równoległej implementacji algorytmów eksplorują...