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