Reflexive autoepistemic logic and logic programming
作者： V Wiktor Marek , Mirosław Truszczyński , None
DOI:
关键词:
摘要: In this paper we show that reflexive autoepistemic logic of Schwarz is a particularly convenient modal formalism for studying properties answer sets programs with classical negation and disjunctive programs. Syntactical imply natural interpretation default in the minimal knowledge (nonmonotonic S4F) provides also representation Moreover, case one can use which stronger possesses simpler semantical characterizations than knowledge. Reflexive are bi-interpretable. Consequently, our results provide embeddings logic.
参考文章(28)
Robert C. Moore, Semantical considerations on nonmonotonic logic Artificial Intelligence. ,vol. 25, pp. 75- 94 ,(1985) , 10.1016/0004-3702(85)90042-6
Hector J. Levesque, All I know: A study in autoepistemic logic Artificial Intelligence. ,vol. 42, pp. 263- 309 ,(1990) , 10.1016/0004-3702(90)90056-6
Nicole Bidoít, Christine Froidevaux, Negation by default and unstratifiable logic programs Theoretical Computer Science. ,vol. 78, pp. 85- 112 ,(1991) , 10.1016/0304-3975(51)90004-7
Kurt Konolige, On the relation between default and autoepistemic logic Artificial Intelligence. ,vol. 35, pp. 195- 226 ,(1987) , 10.1016/0004-3702(88)90021-5
Michael Gelfond, Vladimir Lifschitz, Classical negation in logic programs and disjunctive databases New Generation Computing. ,vol. 9, pp. 365- 385 ,(1991) , 10.1007/BF03037169
R. Moore, Possible-world semantics for autoepistemic logic non-monotonic reasoning. pp. 137- 142 ,(1987)
Craig Smorynski, Self-Reference and Modal Logic ,(1985)
Miroslaw Truszczynski, V. Wiktor Marek, Computing Intersection of Autoepistemic Expansions. logic programming and non-monotonic reasoning. pp. 37- 50 ,(1991)
G. Schwarz, Minimal model semantics for nonmonotonic modal logics logic in computer science. pp. 34- 43 ,(1992) , 10.1109/LICS.1992.185517
Joseph Y. Halpern, Yoram Moses, Towards a theory of knowledge and ignorance: preliminary report non-monotonic reasoning. pp. 459- 476 ,(1989) , 10.1007/978-3-642-82453-1_16