Expansions and models of autoepistemic theories
Autoepistemic logic is a logic for modelling the beliefs of an agent who reflects on his own beliefs. In the paper we discuss problems dealing with existence of autoepistemic models and autoepistemic expansions. The necessary and sufficient conditions for existence of autoepistemic models and expansions are formulated.
Unable to display preview. Download preview PDF.
- [C]B.F Chellas, Modal Logic:An introduction, Cambridge University Press, 1980.Google Scholar
- [K]K.Konolige, On the Relation between Default Theories and Autoepistemic Logic, Artificial IntelligenceGoogle Scholar
- [M]W.Marek, Stable Theories in Autoepistemic Logic Fundamenta Informaticae, (1989).Google Scholar
- [R]C.M.Rauszer, Stable Autoepistemic Expansions The Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, Ras Z. and Saitta L. eds. North Holland, pp. 476–484 (1988), Torino, ItalyGoogle Scholar
- [S]R.Stalnaker, A Note on Non-momotonic modal Logic unpublished manuscript, Department of Philosophy, Cornell University.Google Scholar