An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$-Reference-Cited by-同舟云学术

An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$

Published:2021-10-25 Issue: Volume: Page:
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Chlebowski Szymon,Gajda Andrzej,Urbański Mariusz

Abstract

AbstractThe 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.

Funder

Narodowe Centrum Nauki

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

https://link.springer.com/content/pdf/10.1007/s11225-021-09963-0.pdf

Reference29 articles.

1. Aliseda, A., Abductive reasoning: Logical investigations into discovery and explanation, vol. 330 of Synthese Library, Springer Science & Business Media, 2006.

2. Batens, D., Paraconsistent extensional propositional logics, Logique et Analyse 23(90–91):195–234, 1980.

3. Carnielli, W., Surviving abduction, Logic Journal of IGPL 14(2):237–256, 2006.

4. Carnielli, W., and J. Marcos, Tableau systems for logics of formal inconsistency, in Proceedings of the 2001 International Conference on Artificial Intelligence, vol. 2, 2001, pp. 848–852.

5. Carnielli, W., and J. Marcos, A taxonomy of c-systems, arXiv preprint math/0108036, 2001.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evaluation of Abductive Hypotheses: A Logical Perspective;Handbook of Abductive Cognition;2023

2. Evaluation of Abductive Hypotheses: A Logical Perspective;Handbook of Abductive Cognition;2022