A Consequence Finding Approach for Full Clausal Abduction

Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploit the full potential of clausal logic and abduce non-ground explanations with indefinite answers. This paper shows how the consequence finding method of Skip Ordered Linear (SOL) resolution can overcome the limitations of existing systems by proposing a method that is sound and complete for finding minimal abductive solutions under a variety of pruning mechanisms. Its utility is shown with an example based on metabolic network modelling.

• Type: Conference
• Year: 2007
• Where: DIS
• Authors: Oliver Ray, Katsumi Inoue
• Keywords: Abductive Inference, Consequence finding Method, DIS 2007, Minimal Abductive Solutions