A Knowledge Representation Framework Based on Epistemic Logic

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 (stab...

Descrizione completa

Dettagli Bibliografici
Autore principale: Teodor Przymusiński
Natura: Articolo
Lingua:English
Pubblicazione: Warsaw School of Computer Science 2014-12-01
Serie:Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Soggetti:
Accesso online:http://zeszyty-naukowe.wwsi.edu.pl/zeszyty/zeszyt11/A_Knowledge_Representation_Framework.pdf