Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Intuitionistic basis for non-monotonic logic

  • Conference paper
  • First Online:
6th Conference on Automated Deduction (CADE 1982)

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

Included in the following conference series:

Abstract

McDermott and Doyle [4] suggested a system, denoted by ⊢, of non-monotonic logic. This notion was intended to formalise non-monotonic reasoning as involved in real situations and in artificial intelligence. McDermott and Doyle also list in their paper several difficulties and problems in their approach. Their semantics seems to be inadequate and there are several counterintuitive results obtained in their system.

McDermott and Doyle base their provability notion ⊢ on the provability notion ⊢ of classical logic. We introduce in this note two logical systems based on the provability notion ⊩ of intuitionistic logic. We show that in the resulting nonmonotonic logic most of the problems disappear. We further show that intuitionistic ⊩ is indeed the reasoning adopted implicitly by available TMS (Truth Maintainance Systems).

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.

References

  1. D.M. Gabbay, Investigations in Modal and Tense Logic with Applications, D. Reidel, 1976.

    Google Scholar 

  2. D.M. Gabbay, Semantical Investigations in Heytings' Intuitionistic Logic, D. Reidel, 1981.

    Google Scholar 

  3. John McCarthy, Circumscription: A form of non-monotonic reasoning, in Artificial Intelligence 13 (1980), pp. 27–39.

    Article  Google Scholar 

  4. D. McDermott and J. Doyle, Non-monotonic logic I, in Artificial Integlligence 13 (1980), pp. 41–72.

    Article  Google Scholar 

  5. R. Reiter, A logic for default reasoning, in Artificial Intelligence 13 (1980), pp. 81–132.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Stuttgart, USA

    Dov M. Gabbay (Project Rohrer)

  2. Bar-Ilan University, USA

    Dov M. Gabbay (Project Rohrer)

Authors
  1. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

D. W. Loveland

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gabbay, D.M. (1982). Intuitionistic basis for non-monotonic logic. In: Loveland, D.W. (eds) 6th Conference on Automated Deduction. CADE 1982. Lecture Notes in Computer Science, vol 138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000064

Download citation

  • DOI: https://doi.org/10.1007/BFb0000064

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11558-8

  • Online ISBN: 978-3-540-39240-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation