Abstract
Reiter's Default Logic (DL) is one of the most popular formalizations of default reasoning. Nevertheless, the logic has a serious deficiency: the specificity principle, i.e. the commonly accepted idea that in case of a conflict more specific defaults should be preferred over more general ones, is lacking. In this paper we show how this principle can be added to Default Logic. We first present a prioritized version of DL for normal defaults, called PDL. Adapting ideas underlying Geffner and Pearl's conditional entailment we then show how the priorities needed to handle specificity can be defined. This treatment of specificity avoids two serious problems in Pearl's system Z and leads to stronger conclusions than conditional entailment in many cases.
Preview
Unable to display preview. Download preview PDF.
References
Baader, Franz, Hollunder, Bernhard, How to Prefer More Specific Defaults in Terminological Default Logic, Proc. IJCAI-93, Chambery, France, 1993
Bidoit, Nicole, Froidevaux, Christine, Negation by Default and Non-Stratifiable Logic Programs, Research Report 437, Universite Paris Sud, Centre d'Orsay, LRI, 1988
Boutilier, Craig, Conditional Logics for Default Reasoning and Belief Revision, PhD thesis, Dep. of Computer Science, Univ. of Toronto, 1992
Brewka, Gerhard, Preferred Subtheories — An Extended Logical Framework for Default Reasoning, Proc. IJCAI-89, Detroit, 1989
Brewka, Gerhard: Cumulative Default Logic — In Defense of Nonmonotonic Inference Rules, Artificial Intelligence 50, 1991
Brewka, Gerhard, Konolige, Kurt, An Abductive Framework for General Logic Programs and Other Nonmonotonic Systems, Proc. IJCAI-93, Chambery, France, 1993
Delgrande, J.P., A First-Order Conditional Logic for Prototypical Properties, Artificial Intelligence, 33(1), 1987
Delgrande, J.P., Jackson, W.K., Default Logic Revisited, Proc. Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
Delgrande, J.P., Schaub, T., On Using System Z to Generate Prioritised Default Theories: Extended Abstract, unpublished manuscript
Geffner, Hector, Pearl, Judea, Conditional Entailment: Bridging Two Approaches to Default Reasoning, Artificial Intelligence 53, 1992
Lehmann, D., What Does a Conditional Knowledge Base Entail?, Proc. First International Conference on Principles of Knowledge Representation and Reasoning, 1990
Nute, D., Defeasible Reasoning: A Philosophical Analysis in Prolog, in: J. Fetzer (ed), Aspects of Artificial Intelligence, Kluwer, Boston, 1988
Pearl, Judea, System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning, Proc. Third Conference on Theoretical Aspects of Reasoning About Knowledge, 1990
Poole, David, On the Comparison of Theories: Prefering the Most Specific Explanation, Proc. IJCAI-85, Los Angeles, 1985
Poole, David, Dialectics and Specificity: Conditioning in Logic-Based Hypothetical Reasoning (Preliminary Report), Proc. 3rd Intl. Workshop on Nonmonotonic Reasoning, South Lake Tahoe, 1990
Prakken, Henry, Logical Tools for Modelling Legal Argument, dissertation, VU Amsterdam, 1993
Reiter, Raymond, A Logic for Default Reasoning, Artificial Intelligence 13 (1980) 81–132.
Reiter, Raymond, Criscuolo, G., On Interacting Defaults, Proc. IJCAI 81, 1981
Simari, G., Loui, R., A Mathematical Treatment of Defeasible Reasoning and its Implementation, Artificial Intelligence 53 (1992)
Tan, Yao Hua, Treur, Jan, Constructive Default Logic and the Control of Defeasible Reasoning, Proc. ECAI 92, Vienna, 1992
Touretzky, David S., The Mathematics of Inheritance, Pitman Research Notes in Artificial Intelligence, London, 1986
Touretzky, David S., Horty, John F., Thomason, Richmond H., A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems, Proc. IJCAI-87, Milan, 1987
Touretzky, David S., Thomason, Richmond H., Horty, John F., A Skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and Zombies in Nonmonotonic Inheritance, Proc. 12th IJCAI, Sydney, 1991
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brewka, G. (1994). Adding priorities and specificity to default logic. In: MacNish, C., Pearce, D., Pereira, L.M. (eds) Logics in Artificial Intelligence. JELIA 1994. Lecture Notes in Computer Science, vol 838. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021977
Download citation
DOI: https://doi.org/10.1007/BFb0021977
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58332-5
Online ISBN: 978-3-540-48657-2
eBook Packages: Springer Book Archive