Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have