Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases

摘要

Inconsistency is a natural phenomenon of the world. Thus, we need methods to reason about systems that may be inconsistent. Paraconsistent logics are a family of logics proposed initially by da Costa [3, 4, 5, 6] as a framework for reasoning in the presence of inconsistency. In this paper, we discuss various alternative schemes for paraconsistent reasoning and show how it applies to the design of large knowledge bases and databases in expert systems where incosistent information may often be present.