A comparative survey of default logic variants

  • Grigoris Antoniou
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1085)


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.


Nonmonotonic practical reasoning mechanisms default logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    G. Antoniou and V. Sperschneider. Operational Models of Nonmonotonic Logics. Part 1: Default Logic. Artificial Intelligence Review 8(1994): 3–16.CrossRefGoogle Scholar
  2. 2.
    G. Antoniou. An operational interpretation of justified default logic. In Proc. 8th Australian Joint Conference on Artificial Intelligence, World Scientific 1995.Google Scholar
  3. 3.
    G. Antoniou and M.A. Williams. Reasoning with Incomplete and Changing Information: The CIN Project. In Proc. 2nd Joint Conference on Information Sciences, 1995.Google Scholar
  4. 4.
    G. Antoniou. Operational characterization of extensions in some logics for default reasoning. Information Sciences (forthcoming).Google Scholar
  5. 5.
    G. Brewka. Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press 1991.Google Scholar
  6. 6.
    G. Brewka. Adding priorities and specificity to default logic. Technical Report, GMD 1993.Google Scholar
  7. 7.
    G. Brewka. Reasoning About Priorities in Default Logic. In Proc. 12th National Conference on Artificial Intelligence (AAAI-94), MIT Press 1994.Google Scholar
  8. 8.
    J.P. Delgrande, T. Schaub and W.K. Jackson. Alternative approaches to default logic. Artificial Intelligence 70(1994): 167–237.CrossRefGoogle Scholar
  9. 9.
    S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence 44 (1990): 167–207.CrossRefGoogle Scholar
  10. 10.
    W. Lukaszewicz. Considerations on default logic: an alternative approach. Computational Intelligence 4, 1(1988): 1–16.Google 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 1994.Google Scholar
  12. 12.
    A. Mikitiuk and M. Truszczynski. Constrained and rational default logics. In Proceedings International Joint Conference on Artificial Intelligence 1995.Google Scholar
  13. 13.
    A.D. Preece and R. Shinghal. Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9(1994): 683–701.Google Scholar
  14. 14.
    R. Reiter. A logic for default reasoning. Artificial Intelligence 13(1980): 81–132.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Grigoris Antoniou
    • 1
  1. 1.Dept. of ManagementThe University of NewcastleCallaghanAustralia

Personalised recommendations