An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency mbC

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

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2022-04, Vol.110 (2), p.479-509
Main Authors: Chlebowski, Szymon, Gajda, Andrzej, Urbański, Mariusz
Format: Article
Language:English
Subjects:
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency 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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-021-09963-0