On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle

  • Robert F. Stärk
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)


In [6] 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 [4]. 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.


Propositional Variable Propositional Atom Kripke Model Kripke Structure Classical Propositional Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343–382, 1988.CrossRefGoogle Scholar
  2. [2]
    W. Marek, G. F. Shvarts, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. Preprint, 1990.Google Scholar
  3. [3]
    W. Marek and M. Truszczyński. Autoepistemic logic. Technical Report 115-88, Department of Computer Science, University of Kentucky, 1988.Google Scholar
  4. [4]
    D. McDermott and J. Doyle. Non-monotonic logic I. Artificial Intelligence, 13:41–72, 1980.CrossRefGoogle Scholar
  5. [5]
    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
  6. [6]
    R. C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75–94, 1985.CrossRefGoogle Scholar
  7. [7]
    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
  8. [8]
    G. F. Shvarts. Fixed points in the propositional nonmonotonic logic. Artificial Intelligence, 38:199–206, 1989.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Robert F. Stärk
    • 1
  1. 1.Institut für Informatik und angewandte MathematikUniversität BernBern

Personalised recommendations