Mode-Directed Inverse Entailment for Full Clausal Theories

Oliver Ray, Katsumi Inoue

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

7 Citations (Scopus)

Abstract

Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expressive clausal settings. This paper presents a mode-directed ILP procedure for full clausal logic. It employs a first-order inference engine to abductively and inductively explain a set of examples with respect to a background theory. Each stage of hypothesis formation is guided by mode declarations using a generalisation of efficient Horn clause techniques for inverting entailment. Our approach exploits language bias more effectively than previous non- Horn ILP methods and avoids the need for interactive user assistance.
Original languageEnglish
Title of host publication17th International Conference on Inductive Logic Programming
PublisherSpringer
Pages225-238
Number of pages14
Volume4894
ISBN (Print)9783540784685
DOIs
Publication statusPublished - 2008

Bibliographical note

Other page information: 225-238
Conference Proceedings/Title of Journal: 17th International Conference on Inductive Logic Programming
Other identifier: 2000826

Fingerprint Dive into the research topics of 'Mode-Directed Inverse Entailment for Full Clausal Theories'. Together they form a unique fingerprint.

  • Cite this

    Ray, O., & Inoue, K. (2008). Mode-Directed Inverse Entailment for Full Clausal Theories. In 17th International Conference on Inductive Logic Programming (Vol. 4894, pp. 225-238). Springer. https://doi.org/10.1007/978-3-540-78469-2_23