Handling Contradictions in Knowledge Discovery Applications

Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 28)


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.


Knowledge Base Classical Logic Operator Semantic Propositional Variable Paraconsistent Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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. 2.
    Priest G (1979) The logic of paradox. J Philos Logic, p 226Google Scholar
  3. 3.
    Priest G (1979) The logic of paradox. Journal Philos Logic, p 235Google Scholar
  4. 4.
    Lewis D (1982) A logic for equivocators. Noûs 16(3):431–441CrossRefGoogle Scholar
  5. 5.
    Lenat DB, Feigenbaum EA (1991) On the thresholds of knowledge. Artif Int 47:217–222MathSciNetGoogle Scholar
  6. 6.
    Copeland BJ (1993) Artificial intelligence: A philosophical introduction. Blackwell, Oxford, p 120Google Scholar
  7. 7.
    Lemmon EJ (1992) Beginning Logic. Hackett, pp 1–83Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  1. 1.School of ComputingUniversity of PortsmouthPortsmouth PO1 2EGUK

Personalised recommendations