Processing math: 100%

2408.07287

Total: 1

#1 Abductive Reasoning in a Paraconsistent Framework [PDF] [Copy] [Kimi2] [REL]

Authors: Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

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 introduces formulas of the form ϕ (the information on ϕ is reliable), while BD augments the language with ϕ's (there is information that ϕ is true). We define and motivate the notions of abduction problems and explanations in BD and BD 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 and BD to abduction in classical propositional logic, thereby enabling the reuse of existing abductive reasoning procedures.

Subjects: Logic in Computer Science , Artificial Intelligence , Logic

Publish: 2024-08-01 08:12:52 UTC