Meheus, Joke and Provijn, Dagmar
(2007)
Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs.
THEORIA. An International Journal for Theory, History and Foundations of Science, 22 (3).
pp. 295-304.
ISSN 2171-679X
Abstract
In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we encountered in Aliseda’s algorithms.
| Item Type: |
Published Article or Volume
|
| Creators: |
|
| Additional Information: |
ISSN: 0495-4548 (print) |
| Keywords: |
abduction, semantic tableaux, goal-directed proof procedures |
| Depositing User: |
Users 15304 not found. |
| Date Deposited: |
28 Feb 2014 00:38 |
| Last Modified: |
11 Mar 2014 21:42 |
| Item ID: |
10416 |
| Journal or Publication Title: |
THEORIA. An International Journal for Theory, History and Foundations of Science |
| Publisher: |
Euskal Herriko Unibertsitatea / Universidad del País Vasco |
| Official URL: |
http://www.ehu.es/ojs/index.php/THEORIA/article/vi... |
| DOI or Unique Handle: |
10.1387/theoria.450 |
| Date: |
2007 |
| Page Range: |
pp. 295-304 |
| Volume: |
22 |
| Number: |
3 |
| ISSN: |
2171-679X |
| URI: |
https://philsci-archive.pitt.edu/id/eprint/10416 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
 |
View Item |
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png)
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}