On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle
In  Moore has introduced a logic to represent the beliefs of ideal rational agents, called autoepistemic logic. This logic was presented as an improvement of the non-monotonic logic of McDermott and Doyle in . We give a new method to characterize the fixpoints in both logics and thus obtain decision procedures for several problems in this context. Although the two logics are conceptually very different our method is very uniform.
KeywordsPropositional Variable Propositional Atom Kripke Model Kripke Structure Classical Propositional Logic
Unable to display preview. Download preview PDF.
- W. Marek, G. F. Shvarts, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. Preprint, 1990.Google Scholar
- W. Marek and M. Truszczyński. Autoepistemic logic. Technical Report 115-88, Department of Computer Science, University of Kentucky, 1988.Google Scholar
- R. C. Moore. Possible-world semantics for autoepistemic logic. In Proceedings 1984 Non-monotonic Reasoning Workshop, pages 344–354, New Paltz, NY, 1984.Google Scholar
- I. Niemelä. Decision procedure for autoepistemic logic. In E. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction, pages 675–684. Springer, 1988. Lecture Notes in Computer Science 310.Google Scholar