The generation of abductive explanations from inconsistent theories
- Author
- Dagmar Provijn (UGent)
- Organization
- 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).
- Keywords
- Abduction, adaptive logics, proof heuristics, paraconsistency
Downloads
-
(...).pdf
- full text
- |
- UGent only
- |
- |
- 180.13 KB
Citation
Please use this url to cite or link to this publication: http://hdl.handle.net/1854/LU-3139252
- MLA
- Provijn, Dagmar. “The Generation of Abductive Explanations from Inconsistent Theories.” LOGIC JOURNAL OF THE IGPL, vol. 20, no. 2, 2012, pp. 400–16, doi:10.1093/jigpal/jzq056.
- APA
- Provijn, D. (2012). The generation of abductive explanations from inconsistent theories. LOGIC JOURNAL OF THE IGPL, 20(2), 400–416. https://doi.org/10.1093/jigpal/jzq056
- Chicago author-date
- Provijn, Dagmar. 2012. “The Generation of Abductive Explanations from Inconsistent Theories.” LOGIC JOURNAL OF THE IGPL 20 (2): 400–416. https://doi.org/10.1093/jigpal/jzq056.
- Chicago author-date (all authors)
- Provijn, Dagmar. 2012. “The Generation of Abductive Explanations from Inconsistent Theories.” LOGIC JOURNAL OF THE IGPL 20 (2): 400–416. doi:10.1093/jigpal/jzq056.
- Vancouver
- 1.Provijn D. The generation of abductive explanations from inconsistent theories. LOGIC JOURNAL OF THE IGPL. 2012;20(2):400–16.
- IEEE
- [1]D. Provijn, “The generation of abductive explanations from inconsistent theories,” LOGIC JOURNAL OF THE IGPL, vol. 20, no. 2, pp. 400–416, 2012.
@article{3139252,
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).}},
author = {{Provijn, Dagmar}},
issn = {{1367-0751}},
journal = {{LOGIC JOURNAL OF THE IGPL}},
keywords = {{Abduction,adaptive logics,proof heuristics,paraconsistency}},
language = {{eng}},
number = {{2}},
pages = {{400--416}},
title = {{The generation of abductive explanations from inconsistent theories}},
url = {{http://doi.org/10.1093/jigpal/jzq056}},
volume = {{20}},
year = {{2012}},
}
- Altmetric
- View in Altmetric
- Web of Science
- Times cited: