- Tytuł:
- A Knowledge Representation Framework Based on Epistemic Logic
- Autorzy:
- Przymusiński, T.
- Powiązania:
- https://bibliotekanauki.pl/articles/91397.pdf
- Data publikacji:
- 2014
- Wydawca:
- Warszawska Wyższa Szkoła Informatyki
- Tematy:
-
non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases - Opis:
- 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.
- Źródło:
-
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2014, 8, 11; 41-53
1896-396X
2082-8349 - Pojawia się w:
- Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
- Dostawca treści:
- Biblioteka Nauki
Artykuł