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 151
- 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...
Extension of the one-dimensional Stoney algorithm to a two-dimensional case
This article presents the extension of the one-dimensional Stoney algorithm to a two-dimensional case. The proposed extension consists in modifying the method of curvature estimation. The surface profile of the wafer bef...
Ontologia wiedzy ukrytej dla działu serwisowego w przedsiębiorstwie produkcyjnym
W artykule przedstawiono model ontologii wiedzy ukrytej w notacji UML dla działu serwisowego przedsiębiorstwa produkcyjnego. W pierwszej części artykułu została przeprowadzona analiza literatury przedmiotu w zakresie ont...
Simulation studies of EDF scheduler with different deadline distributions
In this work we perform extensive simulation studies to evaluate the mean packet waiting time in a system composed of two queues and Earliest Deadline First scheduler with different deadline distributions. The investigat...
Symulowane wyżarzanie dla problemu harmonogramowania projektu z ograniczonymi zasobami
W artykule przedstawiony jest problem harmonogramowania projektu z ograniczonymi zasobami z kryterium minimalizacji czasu trwania przedsięwzięcia. Do rozwiązania zagadnienia stosowany jest algorytm symulowanego wyżarzani...