Sciweavers

DIS
2007
Springer

A Consequence Finding Approach for Full Clausal Abduction

13 years 9 months ago
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.
Oliver Ray, Katsumi Inoue
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where DIS
Authors Oliver Ray, Katsumi Inoue
Comments (0)