Nonmonotonic reasoning formalizations and implementations

  • Gerhard Brewka
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 253)


This paper presents the most influential formalizations of nonmonotonic reasoning: McDermott and Doyle's Nonmonotonic Logic I, Reiter's Default Logic, and McCarthy's Circumscription. Unfortunately all these formalizations are not semidecidable. In consequence implementations of nonmonotonic systems either must give up the idea of theoremhood and replace it by a weaker concept, or the expressive power of the logical language has to be restricted. Examples for both approaches are given.


Classical Logic Logical Language Default Rule Default Theory Nonmonotonic Reasoning 
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. [Brewka/Wittur 84]
    Brewka, G. and Wittur, K.H., Nichtmonotone Logiken — Eine Untersuchung der Formalisierungen nichtmonotoner Schluβweisen und die Implementation eines nichtmonotonen Reasoning-Systems, Universität Bonn, Informatik Berichte Nr. 40., 1984.Google Scholar
  2. [Brewka 86]
    Brewka, G., Uber unnormale Vögel, anwendbare Regeln und einen Default Beweiser, Proc. GWAI (German Workshop on Artificial Intelligence) 85, 1986.Google Scholar
  3. [Brewka 86]
    Brewka, G., Tweety — Still Flying, Proc. AAAI 86, 1986.Google Scholar
  4. [Doyle 79]
    Doyle, J., A Truth Maintenance System, Artificial Intelligence 12, 1979.Google Scholar
  5. [Goodwin 85]
    Goodwin, J., A Process Theory of Non-monotonic Inference, Proc. IJCAI 85.Google Scholar
  6. [Lukaszewicz 84]
    Lukaszewicz, W., Nonmonotonic Logic for Default Theories, Proc. ECAI 1984.Google Scholar
  7. [McCarthy 80]
    McCarthy, J., Circumscription — A Form of Non-Monotonic Reasoning, Artificial Intelligence 13, 1980.Google Scholar
  8. [McCarthy 84]
    McCarthy, J., Applications of Circumscription to Formalizing Common Sense Reasoning, Proc. Non-Monotonic Reasoning Workshop, 1984.Google Scholar
  9. [McDermott 82]
    McDermott, D., Nonmonotonic Logic II: Nonmonotonic Modal Theories, JACM Vol. 29 No. 1, 1982.Google Scholar
  10. [McDermott/Doyle 80]
    McDermott, D. and Doyle, J., Non-Monotonic Logic I, Artificial Intelligence 13, 1980.Google Scholar
  11. [Moore 85]
    Moore, R.C., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25(1), 1985.Google Scholar
  12. [Reinfrank 85]
    Reinfrank, M., An Introduction to Non-Monotonic Reasoning, MEMO-SEKI 85-2, Universit Kaiserslautern, 1985Google Scholar
  13. [Reiter 80]
    Reiter, R., A Logic for Default Reasoning, Artificial Intelligence 13, 1980.Google Scholar
  14. [Reiter/Criscuolo 81]
    Reiter, R. and Criscuolo, G., On Interacting Defaults, Proc. IJCAI 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Gerhard Brewka
    • 1
  1. 1.Gesellschaft für Mathematik und DatenverarbeitungSankt AugustinFed. Rep. of Germany

Personalised recommendations