Expansions and models of autoepistemic theories

  • Cecylia M. Rauszer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)


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.

Unable to display preview. Download preview PDF.


  1. [C]
    B.F Chellas, Modal Logic:An introduction, Cambridge University Press, 1980.Google Scholar
  2. [K]
    K.Konolige, On the Relation between Default Theories and Autoepistemic Logic, Artificial IntelligenceGoogle Scholar
  3. [M]
    W.Marek, Stable Theories in Autoepistemic Logic Fundamenta Informaticae, (1989).Google Scholar
  4. [Mo]
    R. Moore, Semantical Considerations on Non-monotonic Logic Artificial Intelligence 25(1), 75–94, (1985).CrossRefGoogle Scholar
  5. [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
  6. [S]
    R.Stalnaker, A Note on Non-momotonic modal Logic unpublished manuscript, Department of Philosophy, Cornell University.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Cecylia M. Rauszer
    • 1
  1. 1.Institute of MathematicsUniversity of Warsaw, PKiN, IXp.WarsawPoland

Personalised recommendations