Abductive Reasoning in a Paraconsistent Framework - Université de Bordeaux
Communication Dans Un Congrès Année : 2024

Abductive Reasoning in a Paraconsistent Framework

Résumé

We explore the problem of explaining observations starting from a classically inconsistent theory by adopting a paraconsistent framework. We consider two expansions of the well-known Belnap-Dunn paraconsistent four-valued logic BD: BD-circ introduces formulas of the form circ phi (‘the information about phi is reliable’), while BD-triangle augments the language with formulas triangle phi (‘there is information that phi is true’). We define and motivate the notions of abduction problems and explanations in BD-circ and BD-triangle and show that they are not reducible to one another. We analyse the complexity of standard abductive reasoning tasks (solution recognition, solution existence, and relevance / necessity of hypotheses) in both logics. Finally, we show how to reduce abduction in BD-circ and BD-triangle to abduction in classical propositional logic, thereby enabling the reuse of existing abductive reasoning procedures.
Fichier principal
Vignette du fichier
KR_2024__abduction-author-CRC.pdf (618.07 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04792582 , version 1 (20-11-2024)

Identifiants

Citer

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. Abductive Reasoning in a Paraconsistent Framework. 21st International Conference on Principles of Knowledge Representation and Reasoning (KR-2024), Nov 2024, Hanoi, Vietnam. pp.134-144, ⟨10.24963/kr.2024/13⟩. ⟨hal-04792582⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More