Skip to main content
SpringerLink
Log in

Nonmonotonic reasoning formalizations and implementations

  • Conference paper
  • First Online:
WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology (WOPPLOT 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 253))

Included in the following conference series:

  • 180 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. 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, G., Uber unnormale Vögel, anwendbare Regeln und einen Default Beweiser, Proc. GWAI (German Workshop on Artificial Intelligence) 85, 1986.

    Google Scholar 

  3. Brewka, G., Tweety — Still Flying, Proc. AAAI 86, 1986.

    Google Scholar 

  4. Doyle, J., A Truth Maintenance System, Artificial Intelligence 12, 1979.

    Google Scholar 

  5. Goodwin, J., A Process Theory of Non-monotonic Inference, Proc. IJCAI 85.

    Google Scholar 

  6. Lukaszewicz, W., Nonmonotonic Logic for Default Theories, Proc. ECAI 1984.

    Google Scholar 

  7. McCarthy, J., Circumscription — A Form of Non-Monotonic Reasoning, Artificial Intelligence 13, 1980.

    Google Scholar 

  8. McCarthy, J., Applications of Circumscription to Formalizing Common Sense Reasoning, Proc. Non-Monotonic Reasoning Workshop, 1984.

    Google Scholar 

  9. McDermott, D., Nonmonotonic Logic II: Nonmonotonic Modal Theories, JACM Vol. 29 No. 1, 1982.

    Google Scholar 

  10. McDermott, D. and Doyle, J., Non-Monotonic Logic I, Artificial Intelligence 13, 1980.

    Google Scholar 

  11. Moore, R.C., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25(1), 1985.

    Google Scholar 

  12. Reinfrank, M., An Introduction to Non-Monotonic Reasoning, MEMO-SEKI 85-2, Universit Kaiserslautern, 1985

    Google Scholar 

  13. Reiter, R., A Logic for Default Reasoning, Artificial Intelligence 13, 1980.

    Google Scholar 

  14. Reiter, R. and Criscuolo, G., On Interacting Defaults, Proc. IJCAI 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Schloß Birlinghoven, Postfach 1240, 5205, Sankt Augustin, Fed. Rep. of Germany

    Gerhard Brewka

Authors
  1. Gerhard Brewka
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg D. Becker Ignaz Eisele

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brewka, G. (1987). Nonmonotonic reasoning formalizations and implementations. In: Becker, J.D., Eisele, I. (eds) WOPPLOT 86 Parallel Processing: Logic, Organization, and Technology. WOPPLOT 1986. Lecture Notes in Computer Science, vol 253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18022-2_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-18022-2_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18022-7

  • Online ISBN: 978-3-540-47709-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation