Structural Rules for Abduction

Abstract

Atocha Aliseda gives in Abductive Reasoning (2006) a structural characterization of the forward explanatory reasoning from a theory to observational data. This paper discusses the converse problem of giving structural rules for the backward abductive reasoning from observations to explanatory theories.

Keywords

• abduction, deduction, explanation, induction, non-monotonic logic, structural rules