Mode-Directed Inverse Entailment for Full Clausal Theories

Oliver Ray; Katsumi Inoue

doi:10.1007/978-3-540-78469-2_23

Mode-Directed Inverse Entailment for Full Clausal Theories

Oliver Ray
, Katsumi Inoue

Intelligent Systems Laboratory

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

8 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.

Translated title of the contribution	Mode-Directed Inverse Entailment for Full Clausal Theories
Original language	English
Title of host publication	17th International Conference on Inductive Logic Programming
Publisher	Springer
Pages	225-238
Number of pages	14
Volume	4894
ISBN (Print)	9783540784685
DOIs	https://doi.org/10.1007/978-3-540-78469-2_23
Publication status	Published - 2008

Bibliographical note

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

Access to Document

10.1007/978-3-540-78469-2_23

http://link.springer.com/chapter/10.1007%2F978-3-540-78469-2_23

Handle.net

Persistent link

Cite this

@inproceedings{059a6b44067e4f9a86398696e5f4de15,

title = "Mode-Directed Inverse Entailment for Full Clausal Theories",

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. ",

author = "Oliver Ray and Katsumi Inoue",

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

year = "2008",

doi = "10.1007/978-3-540-78469-2\_23",

language = "English",

isbn = "9783540784685",

volume = "4894",

pages = "225--238",

booktitle = "17th International Conference on Inductive Logic Programming",

publisher = "Springer",

address = "United States",

}

TY - GEN

T1 - Mode-Directed Inverse Entailment for Full Clausal Theories

AU - Ray, Oliver

AU - Inoue, Katsumi

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

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/40249092974

U2 - 10.1007/978-3-540-78469-2_23

DO - 10.1007/978-3-540-78469-2_23

M3 - Conference Contribution (Conference Proceeding)

SN - 9783540784685

VL - 4894

SP - 225

EP - 238

BT - 17th International Conference on Inductive Logic Programming

PB - Springer

ER -

Mode-Directed Inverse Entailment for Full Clausal Theories

Abstract

Bibliographical note

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this