Success of Default Logic

  • Vladimir Lifschitz
Part of the Artificial Intelligence book series (AI)


Ray Reiter’s Logic for Default Reasoning was published almost twenty years ago, but it is widely used today by researchers in knowledge representation, commonsense reasoning and logic programming. This note is a collection of random comments on aspects of this success story.


Logic Program Logic Programming Causal Theory Frame Problem Default Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Franz Baader and Bernard Hollunder. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 14:149–180, 1995.MathSciNetCrossRefGoogle Scholar
  2. 2.
    Nicole Bidoit and Christine Froidevaux. Minimalism subsumes default logic and circumscription. In Proc. LICS-87, pages 89-97, 1987.Google Scholar
  3. 3.
    Hector Geffner. Causal theories for nonmonotonic reasoning. In Proc. AAAI-90, pages 524-530, 1990.Google Scholar
  4. 4.
    Michael Gelfond. On stratified autoepistemic theories. In Proc. AAAI-87, pagefr 207-211, 1987.Google Scholar
  5. 5.
    Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991CrossRefGoogle Scholar
  6. 6.
    Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379–412, 1987.MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Vladimir Lifschitz. On the declarative semantics of logic programs with negation. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 177–192. Morgan Kaufmann, San Mateo, CA, 1988.Google Scholar
  8. 8.
    Norman McCain and Hudson Turner. Causal theories of action and change. In Proc. AAAI-97, pages 460-465, 1997.Google Scholar
  9. 9.
    John McCarthy. Circumscription-a form of non-monotonic reasoning. Artificial Intelligence, 13:27–39,171–172, 1980. Reproduced in [11].MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    John McCarthy. Applications of circumscription to formalizing common sense knowledge. Artificial Intelligence, 26(3):89–l 16, 1986. Reproduced in [11].MathSciNetCrossRefGoogle Scholar
  11. 11.
    John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex, Norwood, NJ, 1990.Google Scholar
  12. 12.
    Drew McDermott and Jon Doyle. Nonmonotonic logic I. Artificial Intelligence, 13:41-72, 1980.MathSciNetMATHCrossRefGoogle Scholar
  13. 13.
    Robert Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(l):75–94, 1985.MathSciNetMATHCrossRefGoogle Scholar
  14. 14.
    Paul Morris. The anomalous extension problem in default reasoning. Artificial Intelligence, 35(3):383–399, 1988.MathSciNetMATHCrossRefGoogle Scholar
  15. 15.
    Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Hudson Turner. Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming, 31:245–298, 1997.MathSciNetMATHCrossRefGoogle Scholar
  17. 17.
    Hudson Turner. A logic of universal causation. Artificial Intelligence, 1999. To appear.Google Scholar
  18. 18.
    Richard Watson. An application of action theory to the space shuttle. In Gopal Gupta, editor, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science 1551), pages 290-304. Springer-Verlag, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Vladimir Lifschitz
    • 1
  1. 1.Department of Computer SciencesUniversity of TexasAustinUSA

Personalised recommendations