PhilSci Archive

Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs

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

[img]
Preview
PDF
450-633-1-PB.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (288kB)

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.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Published Article or Volume
Creators:
CreatorsEmailORCID
Meheus, JokeJoke.Meheus@UGent.be
Provijn, Dagmardagmar.provijn@ugent.be
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 View Item