Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
B.F Chellas, Modal Logic:An introduction, Cambridge University Press, 1980.
K.Konolige, On the Relation between Default Theories and Autoepistemic Logic, Artificial Intelligence
W.Marek, Stable Theories in Autoepistemic Logic Fundamenta Informaticae, (1989).
R. Moore, Semantical Considerations on Non-monotonic Logic Artificial Intelligence 25(1), 75–94, (1985).
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, Italy
R.Stalnaker, A Note on Non-momotonic modal Logic unpublished manuscript, Department of Philosophy, Cornell University.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rauszer, C.M. (1991). Expansions and models of autoepistemic theories. In: Börger, E., Kleine Büning, H., Richter, M.M., Schönfeld, W. (eds) Computer Science Logic. CSL 1990. Lecture Notes in Computer Science, vol 533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54487-9_69
Download citation
DOI: https://doi.org/10.1007/3-540-54487-9_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54487-6
Online ISBN: 978-3-540-38401-4
eBook Packages: Springer Book Archive