Name
Abstract | ||
|---|---|---|
The learning system Progo15 and the underlying inference method of Bottom Generalisation are firmly established within Inductive Logic Programming (ILP). But despite their success, it is known that Bottom Generalisation, and therefore Progo15, are restricted to finding hypotheses that lie within the semantics of Plotkin's relative subsumption. This paper exposes a previously unknown incompleteness of Progo15 with respect to Bottom Generalisation, and proposes a new approach, called Hybrid Abductive Inductive Learning, that integrates the ILP principles of Progo15 with Abductive Logic Programming (ALP). A proof procedure is proposed, called HAIL, that not only overcomes this newly discovered incompleteness, but further generalises Progo15 by computing multiple clauses in response to a single seed example and deriving hypotheses outside Plotkin's relative subsumption. A semantics is presented, called Kernel Generalisation, which extends that of Bottom Generalisation. and includes the hypotheses constructed by HAIL. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1007/978-3-540-39917-9_21 | Lecture Notes in Artificial Intelligence |
Keywords | Field | DocType |
abductive logic programming | Inductive logic programming,PROGOL,Horn clause,Inference,Generalization,Computer science,Abductive logic programming,Theoretical computer science,Artificial intelligence,Proof procedure,Machine learning,Semantics | Conference |
Volume | ISSN | Citations |
2835 | 0302-9743 | 12 |
PageRank | References | Authors |
0.77 | 11 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oliver Ray | 1 | 171 | 13.02 |
| krysia broda | 2 | 255 | 32.16 |
| Alessandra Russo | 3 | 1022 | 80.10 |