Abduction through semantic tableaux versus abduction through goal-directed proofs

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