KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Abductive Reasoning in a Paraconsistent Framework

  1. Meghyn Bienvenu(Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Japanese-French Laboratory for Informatics, CNRS, NII, IRL 2537)
  2. Katsumi Inoue(National Institute of Informatics)
  3. Daniil Kozhemiachenko(Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800)

Keywords

  1. Explanation, abduction and diagnosis-General
  2. Inconsistency- and exception-tolerant reasoning-General
  3. Computational aspects of knowledge representation-General

Abstract

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.