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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-78469-2_23 | ILP |
Keywords | Field | DocType |
full clausal logic,full clausal theory,mode-directed inverse entailment,explanatory ilp,horn system,background theory,expressive clausal setting,mode-directed ilp procedure,mode declaration,language bias,previous non-horn ilp method,efficient horn clause technique,first order | Inverse,Logical consequence,User assistance,Horn clause,Computer science,Generalization,Exploit,Artificial intelligence,Inference engine,Natural language processing | Conference |
Volume | ISSN | ISBN |
4894 | 0302-9743 | 3-540-78468-3 |
Citations | PageRank | References |
6 | 0.49 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Oliver Ray | 1 | 171 | 13.02 |
Katsumi Inoue | 2 | 1271 | 112.78 |