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 128
- Downloads 0
Hybrydowy system rekomendacji planów treningowych
Hybrydowe systemy rekomendacji łączą zalety metod stosowanych powszechnie w rekomendacji. Głównym celem tego artykułu jest przedstawienie zastosowania uczenia maszynowego do budowy hybrydowego silnika rekomendacji. Uczen...
Optimization of the enterprise marketing strategy using the operations research
It is examined an approach to the analytical tools construction of marketing of the enterprise designed to select the optimal assortment, sales volume, market segments and product prices and based on the use of the opera...
Algorytmy konstrukcyjne dla problemu harmonogramowania projektu z ograniczonymi zasobami
W artykule opisany jest problem harmonogramowania projektu z ograniczoną dostępnością zasobami z kryterium minimalizacji czasu trwania projektu. Do rozwiązania zagadnienia opracowane są algorytmy konstrukcyjne, które mog...
Wybrane mechanizmy gwarantowania jakości usług w sieciach IP
W artykule zaprezentowano wybrane mechanizmy gwarantujące jakość usług w sieciach IP (FIFO, WFQ, PQ). Na potrzeby badań stworzono odpowiednie scenariusze symulacyjne w środowisku laboratoryjnym OPNET. Przedstawiono wpływ...
Metrics and similarities in modeling dependencies between continuous and nominal data
Classification theory analytical paradigm investigates continuous data only. When we deal with a mix of continuous and nominal attributes in data records, difficulties emerge. Usually, the analytical paradigm treats nomi...