A Consequence Finding Approach for Full Clausal Abduction

Oliver Ray, Katsumi Inoue

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

7 Citations (Scopus)

Abstract

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.
Translated title of the contributionA Consequence Finding Approach for Full Clausal Abduction
Original languageEnglish
Title of host publication10th International Conference on Discovery Science
PublisherSpringer
Publication statusPublished - 2007

Bibliographical note

Other page information: 173-184
Conference Proceedings/Title of Journal: 10th International Conference on Discovery Science
Other identifier: 2000825

Fingerprint Dive into the research topics of 'A Consequence Finding Approach for Full Clausal Abduction'. Together they form a unique fingerprint.

  • Cite this

    Ray, O., & Inoue, K. (2007). A Consequence Finding Approach for Full Clausal Abduction. In 10th International Conference on Discovery Science Springer. http://www.cs.bris.ac.uk/Publications/pub_master.jsp?id=2000825