An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$
Szymon Chlebowski, Andrzej Gajda, Mariusz Urbański · Studia Logica · 2021
Abstract The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency $$\mathsf {mbC}$$ mbC . As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas. We integrated the generation of and the evaluation of hypotheses via constraints of consistency and significance being imposed on the system rules.