A Linear Constraint Satisfaction Approach to Cyclicity

Abductive reasoning (or explanation) is basically a backward-chaining process on a collection of causal rules. When given an observed event, we attempt to determine the set of causes which brought about this event. Cost-based abduction is a model for abductive reasoning which provides a concrete formulation of the explanation process. However, it restricts itself to acyclic causal knowledge bases. The existence of cyclicity results in anamolous behavior by the model. For example, assume in our knowledge base that A can cause B and B can cause A. When faced with having to explain the occurrence of A, we could postulate B. Now, since A already exists, we can use it the explain B. Our backward-chaining process to find an explanation can certainly fall into this trap. In this paper, we present a new model called generalized cost-based abduction for general causal knowledge bases. Furthermore, we provide an approach for solving this model by using linear constraint satisfaction. 1 This wo..