Logic Journal of the IGPL

TitleThe generation of abductive explanations from inconsistent theories
Publication TypeJournal Article
Year of Publication2012
AuthorsProvijn, D
JournalLogic Journal of the IGPL
Volume20
Number2
Pagination400–416
ISSN1367-0751
Abstract

In this article I will show how the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuN(r)from Batens (2005, J. Appl. Logic, 3, 221-250) called pCLuN(r) allows for generating sensible abductive explanations from finite inconsistent theories. Before this is shown, I give a more general account on how goal-directed proof procedures contribute to the study of abduction as backward reasoning. Between these two parts, I describe the goal-directed proof procedure for the propositional fragment of the 'inconsistency-adaptive' logic CLuNr from Batens (2005, J. Appl. Logic, 3, 221-250).

DOI10.1093/jigpal/jzq056
Citation Key3139252