Abstract
The study of different variants of default logic reveales not only differences but also properties they share. For example, there seems to be a close relationship between semi-monotonicity and the guaranteed existence of extensions. Likewise, formula-manipulating default logics tend to violate the property of cumulativity. The problem is that currently such properties must be established separately for each approach.
This paper describes some steps towards the study of properties of classes of default logics by giving a rather general definition of what a default logic is. Essentially our approach is operational and restricts attention to purely formula-manipulating logics. We motivate our definition and demonstrate that it includes a variety of well-known default logics. Furthermore, we derive general results regarding the concepts of semi-monotonicity and cumulativity. As a benefit of the discussion we uncover that some design decisions of concrete default logics were not accidental as they may seem, but rather they were due to objective necessities.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G. Antoniou. Nonmonotonic Reasoning with Incomplete Information. MIT Press 1996 (forthcoming)
G. Antoniou. Abstract properties for the choice provability relation in nonmonotonic logics. Computers, Cognition and Artificial Intelligence 12, 3 (1995)
G. Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50, 2 (1991): 183–205
G. Brewka. A Framework for Cumulative Default Logics. TR-92-042, International Computer Science Institute, Berkeley 1992
G. Brewka. Adding priorities and specificity to default logic. Technical Report, GMD 1993
J.P. Delgrande. A first-order conditional logic for prototypical applications. Artificial Intelligence 33, 1 (1987)
J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative Approaches to default logic. Artificial Intelligence 70 (1994): 167–237
M. Gelfond, V. Lifschitz, H. Przymusinska and M. Truszczynski. Disjunctive Defaults. In Proc. 2nd International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann 1991
S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44 (1990): 167–207
W. Lukaszewicz. Considerations of 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
W. Marek, A. Nerode and J.B. Remmel. Nonmonotonic Rule Systems I. Annals of Mathematics and Artificial Intelligence (1990): 241–273
A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proc. International Joint Conference on Artificial Intelligence 1995
R.C. Moore. Semantical considerations on non-monotonic logic. Artificial Intelligence 25 (1985): 75–94
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., O'Neill, T., Thurbon, J. (1996). Studying properties of classes of default logics — Preliminary report. In: Foo, N., Goebel, R. (eds) PRICAI'96: Topics in Artificial Intelligence. PRICAI 1996. Lecture Notes in Computer Science, vol 1114. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61532-6_47
Download citation
DOI: https://doi.org/10.1007/3-540-61532-6_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61532-3
Online ISBN: 978-3-540-68729-0
eBook Packages: Springer Book Archive