The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency mbCmbC. 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.
More details here