Inconsistencies handling: nonmonotonic and paraconsistent reasoning

  • Ján Šefránek
Part II Selected Contributions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 535)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Apt, K.R. Introduction to Logic Programming. Technical Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, 1988.Google Scholar
  2. [2]
    Belnap, N.D. How a computer should think. In Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposium, 1976.Google Scholar
  3. [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. [4]
    Gabbay, D.M., Sergot, M.J. Negation as Inconsistency. The Journal of Logic Programming 1986.Google Scholar
  5. [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. [6]
    Makinson, D.: General theory of cumulative inference. In M.Reinfrank et al. (eds.): Non-Monotonic Reasoning, Springer Verlag, 1989.Google Scholar
  7. [7]
    Priest, G., Routley, R., Norman, J.: Paraconsistent Logic. München, 1989.Google Scholar
  8. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Ján Šefránek
    • 1
  1. 1.Institute of Computer ScienceComenius University Faculty of Mathematics and PhysicsBratislavaCzechoslovakia

Personalised recommendations