Handling Contradictions in Knowledge Discovery Applications
There have been a number of very credible attempts to devise paraconsistent logics to deal with the problems caused by the unavoidability of contradictions in knowledge bases and elsewhere. This paper suggests a set of principles for generating logical operator semantics which are broadly drawn from classical logic. These lead directly to a paraconsistent logic, LM4, which significantly outperforms other systems and solves the problem for all practical purposes without giving rise to the difficulties inherent in other attempted solutions.
KeywordsKnowledge Base Classical Logic Operator Semantic Propositional Variable Paraconsistent Logic
- 1.Quine WVO (1948) On what there is. The Review of Metaphysics 2:21–28, Reprint in: From a logical Point of View, Cambridge, Harvard University Press (1980), p 18Google Scholar
- 2.Priest G (1979) The logic of paradox. J Philos Logic, p 226Google Scholar
- 3.Priest G (1979) The logic of paradox. Journal Philos Logic, p 235Google Scholar
- 6.Copeland BJ (1993) Artificial intelligence: A philosophical introduction. Blackwell, Oxford, p 120Google Scholar
- 7.Lemmon EJ (1992) Beginning Logic. Hackett, pp 1–83Google Scholar