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.
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R. Introduction to Logic Programming. Technical Report CS-R8826, Centre for Mathematics and Computer Science, Amsterdam, 1988.
Belnap, N.D. How a computer should think. In Contemporary Aspects of Philosophy. Proceedings of the Oxford International Symposium, 1976.
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.
Gabbay, D.M., Sergot, M.J. Negation as Inconsistency. The Journal of Logic Programming 1986.
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.
Makinson, D.: General theory of cumulative inference. In M.Reinfrank et al. (eds.): Non-Monotonic Reasoning, Springer Verlag, 1989.
Priest, G., Routley, R., Norman, J.: Paraconsistent Logic. München, 1989.
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.
Author information
Authors and Affiliations
Editor information
Rights 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