Abstract
The aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf {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.
Article PDF
Similar content being viewed by others
References
Aliseda, A., Abductive reasoning: Logical investigations into discovery and explanation, vol. 330 of Synthese Library, Springer Science & Business Media, 2006.
Batens, D., Paraconsistent extensional propositional logics, Logique et Analyse 23(90–91):195–234, 1980.
Carnielli, W., Surviving abduction, Logic Journal of IGPL 14(2):237–256, 2006.
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.
Carnielli, W., and J. Marcos, A taxonomy of c-systems, arXiv preprint math/0108036, 2001.
Carnielli, W.A., M. E. Coniglio, and J. Marcos, Logics of formal, in F. Guenthner, and D. M. Gabbay, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2013, pp. 1–93.
Chlebowski, Sz., Canonical and Dual Erotetic Calculi for First-Order Logic, Ph.D. thesis, Adam Mickiewicz University in Poznań, 2018.
Chlebowski, Sz., and D. Leszczyńska-Jasion, Dual Erotetic Calculi and the Minimal LFI, Studia Logica 103(6):1245–1278, 2015.
Chlebowski, Sz., and D. Leszczyńska-Jasion, Erotetic calculi, duality and proof-search, tech. rep., Chair of Logic and Cognitive Science, Adam Mickiewicz University, 2015.
Coniglio, M.E., and T.G. Rodrigues, Some investigations on mbC and mCi, in C.A. Mortari, (ed.), Tópicos de lógicas não clássicas, NEL/UFSC, 2014, pp. 11–70.
Fitting, M., First-order logic and automated theorem proving, Springer Science & Business Media, 2012.
Flach, P. A., and A. C. Kakas, Abduction and Induction: Essays on their relation and integration, vol. 18 of Applied Logic Series, Springer Science & Business Media, 2013.
Gabbay, D.M., and J. Woods, The Reach of Abduction. Insight and Trial, Elsevier, 2005.
Garcez, A., D. M Gabbay, O. Ray, and J. Woods, Abductive reasoning in neural-symbolic systems, Topoi 26(1):37–49, 2007.
Hintikka, J., Inquiry as Inquiry: A Logic of Scientific Discovery, Kluwer, Dordrecht/Boston/London, 1999.
Kakas, A. C., R. A. Kowalski, and F. Toni, Abductive logic programming, Journal of logic and computation 2(6):719–770, 1992.
Komosinski, M., A. Kups, D. Leszczyńska-Jasion, and M. Urbański, Identifying efficient abductive hypotheses using multicriteria dominance relation, ACM Transactions on Computational Logic 15(4):28:1–28:20, 2014.
Leszczyńska-Jasion, D., The Method of Socratic Proofs for Normal Modal Propositional Logics, Adam Mickiewicz University Press, Poznań, 2007.
Loparic, A., Semantical study of some propositional calculi, Journal of Symbolic Logic 43:358, 1978.
Neto, A.G.S.S., and M. Finger, Effective prover for minimal inconsistency logic, in M. Bramer, (ed.), IFIP International Federation for Information Processing, Springer, 2006, pp. 465–474.
Peirce, C. S., Collected papers of charles sanders peirce, vol. 5, Harvard University Press, 1974.
Saptawijaya, A., and L. M. Pereira, Tabdual: a tabled abduction system for logic programs, FLAP 2(1):69–124, 2015.
Thagard, P., Abductive inference: From philosophical analysis to neural mechanisms, in A. Feeney, and E. Heit, (eds.), Inductive reasoning: Experimental, developmental, and computational approaches, Cambridge University Press, 2007, pp. 226–247.
Urbański, M., and A. Klawiter, Abduction: Some conceptual issues, Logic and Logical Philosophy 27(4):583–597, 2018.
Urbański, M., and A. Wiśniewski, On search for law-like statements as abductive hypotheses by socratic transformations, in C. Baskent, (ed.), Perspectives on Interrogative Models of Inquiry. Developments in Inquiry and Questions, Springer, 2016, pp. 111–127.
Wiśniewski, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer Academic Publishers, Dordrecht/Boston/London, 1995.
Wiśniewski, A., Socratic Proofs, Journal of Philosophical Logic 33(3):299–326, 2004.
Wiśniewski, A., Questions, Inferences and Scenarios, vol. 46 of Studies in Logic. Logic and Cognitive Systems, College Publications, London, 2013.
Wiśniewski, A., and V. Shangin, Socratic Proofs for Quantifiers, Journal of Philosophical Logic 35(2):147–178, 2006.
Funding
This work has been supported by the Polish National Science Center, grant no. 2012/04/A/HS1/00715 (first author) and DEC-2013/10/E/HS1/00172 (second and third author).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Jacek Malinowski
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chlebowski, S., Gajda, A. & Urbański, M. An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency \(\mathsf {mbC}\). Stud Logica 110, 479–509 (2022). https://doi.org/10.1007/s11225-021-09963-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-021-09963-0