Recovering Consistency by Forgetting Inconsistency

Sylvie Coste-Marquis (1) , Pierre Marquis (1)

1 CRIL - Centre de Recherche en Informatique de Lens

In this paper, we introduce and study a new paraconsistent inference relation |=c in the setting of 3-valued paraconsistent logics.Using inconsistency forgetting as a key mechanism for recovering consistency, it guarantees that the deductive closure Cn|=c(Σ) of any belief base Σ is classically consistent and classically closed. This strong feature, not shared by previous inference relations in the same setting, allows to interpret an inconsistent belief base as a set of classical worlds (hence to reason classically from them).

Domaines: Intelligence artificielle [cs.AI]

Sylvie Coste-Marquis, Pierre Marquis. Recovering Consistency by Forgetting Inconsistency. 11th European Conference on Logics in Artificial Intelligence (JELIA'08), 2008, France. pp.113-125. ⟨hal-00866829⟩