Abstract
Nonmonotonic reasoning is one of most important and active areas of research in knowledge representation and reasoning. Autoepistemic logic introduced by Moore offers a very promising approach to formalize nonmonotonic reasoning. The key concept in autoepistemic reasoning is a stable expansion of a set of premises. Stable expansions are defined non-constructively using a fixed point equation which is rather hard to reason about. In this paper first-order autoepistemic logic is studied where quantifying into a modal context is not allowed. A simple new syntactic characterization of stable expansions is developed. For each stable expansion a unique set of sentences, a kernel, is constructed which completely determines the expansion. For finite sets of premises the kernel is also finite and thus stable expansions can be given a finite representation even though they are infinite sets of sentences. Using this new characterization conditions ensuring that a set of premises has at least one stable expansion and exactly one stable expansion can be stated and an upper bound on the number of stable expansions of a finite set of premises can be given. Furthermore, preliminary results on decidability and complexity of autoepistemic reasoning are obtained. E.g. it is shown that autoepistemic reasoning is decidable iff the underlying monotonic consequence relation is decidable.
The financial support of the Foundation of Technology is gratefully acknowledged.
Preview
Unable to display preview. Download preview PDF.
References
Balcázar, J.L., DĂaz, I., and GabarrĂł, J. Structural Complexity I. Springer-Verlag, Berlin, 1988.
Elkan, C. A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence 43 (1990), 219–234.
Gelfond, M. On stratified autoepistemic theories. In Proceeding of the 6th National Conference on Artificial Intelligence (Seattle, USA, July 13–17, 1987). Morgan Kaufmann Publishers, Los Altos, 1987, pp. 207–211.
Levesque, H.J. All I know: a study in autoepistemic logic. Artificial Intelligence 42 (1990), 263–309.
Konolige, K. On the relation between default and autoepistemic logic. Artificial Intelligence 35 (1988), 343–382.
Konolige, K. On the relation between autoepistemic and circumscription. In Proceeding of the 11th International Joint Conference on Artificial Intelligence (Detroit, Aug 20–25, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 1213–1218.
Marek, W., and Truszczyński, M. Autoepistemic logic. Technical Report 115-88, Department of Computer Science, University of Kentucky, Lexington, 1988, 49 p.
Marek, W., and Truszczyński, M. Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (Toronto, Canada, May 15–18, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 276–288.
McDermott, D., and Doyle, J. Non-monotonic logic I. Artificial Intelligence 13 (1980), 41–72.
Moore, R.C. Semantical considerations on nonmonotonic logic. Artificial Intelligence 25 (1985), 75–94.
Moore, R.C. Autoepistemic logic. In Non-Standard Logics for Automated Reasoning, P. Smets, E.H. Mamdani, and D. Dubois, Eds., Academic Press, London, 1988, pp. 105–136.
Niemelä, I. Decision procedure for autoepistemic logic. In Proceedings of the 9th International Conference on Automated Deduction (Argonne, USA, May 23–26, 1988). Lecture Notes in Computer Science 310, Springer-Verlag, Berlin, 1988, pp. 675–684.
Niemelä, I. Decision problem in autoepistemic logic. In Proceedings of the Workshop on Alternatives of Logic Programming (Kuopio, Finland, May 22–25, 1989). Kuopion yliopiston painatuskeskus, Kuopio, 1989, pp. 174–188.
Niemelä, I. A new characterization of autoepistemic reasoning. In Proceedings of the Finnish Artificial Intelligence Symposium (Oulu, Finland, June 11–14, 1990). Finnish Artificial Intelligence Society, 1990, pp. 64–73.
Reinfrank, M., Dressler, O., and Brewka, G. On the relation between truth maintenance and autoepistemic logic. In Proceeding of the 11th International Joint Conference on Artificial Intelligence (Detroit, USA, Aug 20–25, 1989). Morgan Kaufmann Publishers, San Mateo, 1989, pp. 1206–1212.
Shvarts, G. Autoepistemic modal logics. In Proceeding of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (Pacific Grove, USA, March 4–7, 1990). Morgan Kaufmann Publishers, San Mateo, 1990, pp. 97–109.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niemelä, I. (1991). Towards automatic autoepistemic reasoning. In: van Eijck, J. (eds) Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol 478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018457
Download citation
DOI: https://doi.org/10.1007/BFb0018457
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53686-4
Online ISBN: 978-3-540-46982-7
eBook Packages: Springer Book Archive