Abstract
This is an overview paper on default logic and its variants. Default reasoning is one of the most prominent approaches to nonmonotonic reasoning, and allows one to make plausible conjectures when faced with incomplete information about the problem at hand. Default rules prevail in many application domains such as medical diagnosis and leagal reasoning.
Default logic in its original form suffers from some deficiencies, and several variants have been developed in the past years. In this paper we give an overview of the most important of these variants by presenting their motivations and intuitions, and establishing relationships among the approaches. Besides, we give operational models for all logics discussed which allow for a better understanding of the concepts, and make the methods more easily accessbile to a broader audience and practical applications.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G. Antoniou and V. Sperschneider. Operational Models of Nonmonotonic Logics. Part 1: Default Logic. Artificial Intelligence Review 8(1994): 3–16.
G. Antoniou. An operational interpretation of justified default logic. In Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995.
G. Antoniou and M.A. Williams. Reasoning with Incomplete and Changing Information: The CIN Project. In Proc. 2nd Joint Conference on Information Sciences, 1995.
G. Antoniou. Operational characterization of extensions in some logics for default reasoning. Information Sciences (forthcoming).
G. Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press 1991.
G. Brewka. Adding priorities and specificity to default logic. Technical Report, GMD 1993.
G. Brewka. Reasoning About Priorities in Default Logic. In Proc. 12th National Conference on Artificial Intelligence (AAAI-94), MIT Press 1994.
J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative approaches to default logic. Artificial Intelligence 70(1994): 167–237.
S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44 (1990): 167–207.
W. Lukaszewicz. Considerations on default logic: an alternative approach. Computational Intelligence 4, 1(1988): 1–16.
D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994.
A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proceedings International Joint Conference on Artificial Intelligence 1995.
A.D. Preece and R. Shinghal. Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9(1994): 683–701.
R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81–132.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Antoniou, G. (1996). A comparative survey of default logic variants. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_60
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_60
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive