Abduction through semantic tableaux versus abduction through goal-directed proofs

Joke Meheus, Dagmar Provijn

Abstract


In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach

Keywords


abduction, semantic tableaux, goal-directed proof procedures

Full Text:

PDF


DOI: http://dx.doi.org/10.1387/theoria.450