A Causal Theory of Abduction
Alexander Bochman · Journal of Logic and Computation · 2007
The article provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only traditional, ‘classical’ forms of abduction, but also abductive reasoning in diagnosis, theories of actions and change, and abductive logic programming.