Studying properties of classes of default logics — Preliminary report

  • Grigoris Antoniou
  • Tyrone O'Neill
  • Joe Thurbon
Nonmonotonic Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1114)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Antoniou. Nonmonotonic Reasoning with Incomplete Information. MIT Press 1996 (forthcoming)Google Scholar
  2. 2.
    G. Antoniou. Abstract properties for the choice provability relation in nonmonotonic logics. Computers, Cognition and Artificial Intelligence 12, 3 (1995)Google Scholar
  3. 3.
    G. Brewka. Cumulative default logic: in defense of nonmonotonic inference rules. Artificial Intelligence 50, 2 (1991): 183–205Google Scholar
  4. 4.
    G. Brewka. A Framework for Cumulative Default Logics. TR-92-042, International Computer Science Institute, Berkeley 1992Google Scholar
  5. 5.
    G. Brewka. Adding priorities and specificity to default logic. Technical Report, GMD 1993Google Scholar
  6. 6.
    J.P. Delgrande. A first-order conditional logic for prototypical applications. Artificial Intelligence 33, 1 (1987)Google Scholar
  7. 7.
    J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative Approaches to default logic. Artificial Intelligence 70 (1994): 167–237Google Scholar
  8. 8.
    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 1991Google Scholar
  9. 9.
    S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44 (1990): 167–207Google Scholar
  10. 10.
    W. Lukaszewicz. Considerations of default logic: an alternative approach. Computational Intelligence 4, 1(1988): 1–16Google Scholar
  11. 11.
    D. Makinson. General patterns in nonmonotonic reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 3, Oxford University Press 1994Google Scholar
  12. 12.
    W. Marek, A. Nerode and J.B. Remmel. Nonmonotonic Rule Systems I. Annals of Mathematics and Artificial Intelligence (1990): 241–273Google Scholar
  13. 13.
    A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proc. International Joint Conference on Artificial Intelligence 1995Google Scholar
  14. 14.
    R.C. Moore. Semantical considerations on non-monotonic logic. Artificial Intelligence 25 (1985): 75–94Google Scholar
  15. 15.
    R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81–132Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Grigoris Antoniou
    • 1
  • Tyrone O'Neill
    • 2
  • Joe Thurbon
    • 3
  1. 1.School of Computing and Information TechnologyGriffith UniversityAustralia
  2. 2.Basser Department of Computer ScienceUniversity of SydneyAustralia
  3. 3.Basser Department of Computer ScienceUniversity of SydneyAustralia

Personalised recommendations