Modal logic S4F and the minimal knowledge paradigm
作者： Miroslaw Truszczyński , Grigori Schwarz
DOI:
关键词:
摘要: In this paper, we propose a new semantic model and the corresponding syntactic characterization for autoepistemic reasoning. contrast with well-known work of Moore [Moo85], who proposed an logic self-belief, our goal is to self-knowledge.
参考文章(19)
Vladimir Lifschitz, Nonmonotonic databases and epistemic queries international joint conference on artificial intelligence. pp. 381- 386 ,(1991)
Rohit Parikh, Finite and Infinite Dialogues Mathematical Sciences Research Institute Publications. pp. 481- 497 ,(1992) , 10.1007/978-1-4612-2822-6_18
Miroslaw Truszczynzki, Modal interpretations of default logic international joint conference on artificial intelligence. pp. 393- 398 ,(1991)
Grigori Schwarz, Autoepistemic Logic of Knowledge. logic programming and non-monotonic reasoning. pp. 260- 274 ,(1991)
Yoav Shoham, Nonmonotonic logics: meaning and utility international joint conference on artificial intelligence. pp. 388- 393 ,(1987)
Miroslaw Truszczynski, V. Wiktor Marek, Grigori F. Shvarts, Modal nonmonotonic logics: ranges, characterization, computation principles of knowledge representation and reasoning. pp. 395- 404 ,(1991)
Krister Segerberg, An essay in classical modal logic Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet. ,(1971)
Yoav Shoham, Fangzhen Lin, Epistemic Semantics for Fixed-Points Non-Monotonic Logics theoretical aspects of rationality and knowledge. pp. 111- 120 ,(1990)
Grigori F. Shvarts, Autoepistemic modal logics theoretical aspects of rationality and knowledge. pp. 97- 109 ,(1990)
M. J. Cresswell, G. E. Hughes, A companion to modal logic ,(1984)