Handling contradictions in knowledge discovery applications

David Anderson

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the European Computing Conference. Vol. 2
EditorsN. Mastorakis, V. Mladenov, V. Kontargyri
Place of PublicationBoston, Mass.
PublisherSpringer
Pages261-274
Number of pages14
Edition28
ISBN (Print)9780387854373
Publication statusPublished - 2009

Publication series

NameLecture Notes in Electrical Engineering
PublisherSpringer
Number28

Cite this