Skip to main content
SpringerLink
Log in

Inconsistencies handling: nonmonotonic and paraconsistent reasoning

  • Part II Selected Contributions
  • Conference paper
  • First Online:
Fundamentals of Artificial Intelligence Research (FAIR 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 535))

Abstract

A characterization of non-monotonic reasoning is given. Not-sound inference operator using, consistency maintaining and belief revision as key features of non-monotonic reasoning are discussed. A problem of inconsistencies handling leads to another approach interesting in our context, it is based on paraconsistent inference.

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. Apt, K.R. Introduction to Logic Programming. Technical Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, 1988.

    Google Scholar 

  2. Belnap, N.D. How a computer should think. In Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposium, 1976.

    Google Scholar 

  3. Gabbay, D.M. Theoretical foundations for non-monotonic reasoning in expert systems. In K.R.Apt, ed., Logics and Models of Concurrent Systems, Springer, 1985.

    Google Scholar 

  4. Gabbay, D.M., Sergot, M.J. Negation as Inconsistency. The Journal of Logic Programming 1986.

    Google Scholar 

  5. Kifer, M., Lozinskii, E.L. RI: A logic for reasoning with inconsistency. In Proceedings of Fourth Annual Symposium on Logic in Computer Science, 1989, IEEE Computer Society Press.

    Google Scholar 

  6. Makinson, D.: General theory of cumulative inference. In M.Reinfrank et al. (eds.): Non-Monotonic Reasoning, Springer Verlag, 1989.

    Google Scholar 

  7. Priest, G., Routley, R., Norman, J.: Paraconsistent Logic. München, 1989.

    Google Scholar 

  8. Wójcicki, R. An axiomatic treatment of non-monotonic arguments. Bulletin of the Section of Logic, vol. 17, No.2, Polish Acad.Sci., Inst. of Philosophy and Sociology, Warsaw-Lódz, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Comenius University Faculty of Mathematics and Physics, 842 43, Bratislava, Czechoslovakia

    Ján Šefránek

Authors
  1. Ján Šefránek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Philippe Jorrand Jozef Kelemen

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Šefránek, J. (1991). Inconsistencies handling: nonmonotonic and paraconsistent reasoning. In: Jorrand, P., Kelemen, J. (eds) Fundamentals of Artificial Intelligence Research. FAIR 1991. Lecture Notes in Computer Science, vol 535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54507-7_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-54507-7_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54507-1

  • Online ISBN: 978-3-540-38420-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation