2008 | OriginalPaper | Buchkapitel
Recovering Consistency by Forgetting Inconsistency
verfasst von : Sylvie Coste-Marquis, Pierre Marquis
Erschienen in: Logics in Artificial Intelligence
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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_{\models_c}(\Sigma)$
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).