Abstract
We investigate possible belief sets of an agent reasoning with defaults. Besides of Reiter's extensions which are based on a proof-theoretic paradigm (similar to Logic Programming), other structures for default theories, based on weaker or different methods of constructing belief sets are considered, in particular, weak extensions and minimal sets. The first of these concepts is known to be closely connected to autoepistemic expansions of Moore, the other to minimal stable autoepistemic theories containing the initial assumptions. We introduce the concept of ranking collection of defaults and investigate the properties of largest ranking subset of the family D, determined by W. We find a necessary and sufficient condition for a weak extension to be an extension in terms of ranking. We prove that for theories (D, W) without extension, the least fixed point of the associated operator (with weak extension or minimal set as a context) is an extension of suitably chosen (D',W) with D' \(\subseteq\) D. We investigate conditions for existence of extensions and introduce the notion of perfectly-ranked set of defaults and its variant of maximally perfectly-ranked set. Existence of such set of defaults turns out to be equivalent to existence of extension. Finally, we investigate convergence of algorithm for computing extension.
Work partially supported by National Science Foundation grant RII 8610671 and the Commonwealth of Kentucky EPSCoR program.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
D.W. Etherington. (1987) Formalizing Nonmonotonic Reasoning System, Artificial Intelligence Journal 37, pp.41–85.
W. Lukaszewicz. (1987) Two Results on Default Logic, Computers and Artificial Intelligence, vol.6, pp. 329–343.
K. Konolige. (1988) On the Relation between Default and Autoepistemic Logic, Artificial Intelligence Journal 35, pp.343–382.
K. Konolige. Electronic private communication.
W. Marek. (1986) Stable Theories in Autoepistemic Logic, to appear in Fundamenta Informaticae.
W. Marek, M. Truszczynśki. (1988) Autoepistemic Logic, submitted.
W. Marek, M. Truszczyński. (1988) Relating Autoepistemic and Default Logics, Technical Report, Department of Computer Science, University of Kentucky.
R.C. Moore. (1985) Semantical Considerations on Non-Monotonic Logic, Artificial Intelligence Journal 25, pp. 75–94.
R. Reiter. (1980). A Logic for Default Reasoning, Artificial Intelligence Journal 13, pp. 81–132.
R. Reiter. (1987) Nonmonotonic Reasoning, Ann. Rev. Comput. Sci 2, pp.147–186.
R.C. Stalnaker. (1980) A note on nonmonotonic modal logic, unpublished manuscript.
A. Zhang, W. Marek. (1989) On the classification and existence of extensionss in default logic, Technical Report 137-89, Department of Computer Science, University of Kentucky.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, A., Marek, W. (1989). On the classification and existence of structures in default logic. In: Martins, J.P., Morgado, E.M. (eds) EPIA 89. EPIA 1989. Lecture Notes in Computer Science, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51665-4_80
Download citation
DOI: https://doi.org/10.1007/3-540-51665-4_80
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51665-1
Online ISBN: 978-3-540-46743-4
eBook Packages: Springer Book Archive