Derivation Reduction of Metarules in Meta-interpretive Learning

Autor: Andrew Cropper, Sophie Tourret

Publikováno v: Inductive Logic Programming-28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
Inductive Logic Programming-28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings, pp.1-21, 2018, ⟨10.1007/978-3-319-99960-9_1⟩
LNCS, LNAI, ILP
Inductive Logic Programming
Inductive Logic Programming, Sep 2018, Ferrara, Italy. pp.1-21, ⟨10.1007/978-3-319-99960-9_1⟩
Inductive Logic Programming ISBN: 9783319999593
ILP

International audience; Meta-interpretive learning (MIL) is a form of inductive logic programming. MIL uses second-order Horn clauses, called metarules, as a form of declarative bias. Metarules define the structures of learnable programs and thus the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc655b7ddc24d397dc2eed4229efae2c
https://hal.archives-ouvertes.fr/hal-02988024/file/ilp2018ct.pdf

Inverse subsumption for complete explanatory induction

Autor: Koji Iwanuma, Katsumi Inoue, Yoshitaka Yamamoto

Publikováno v: Machine Learning. 86:115-139

Modern explanatory inductive logic programming methods like Progol, Residue procedure, CF-induction, HAIL and Imparo use the principle of inverse entailment (IE). Those IE-based methods commonly compute a hypothesis in two steps: by first constructin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4158432d7dcb66da4852b96806c94111
https://doi.org/10.1007/s10994-011-5250-y

The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause

Autor: Stephen Muggleton, Alireza Tamaddoni-Nezhad

Publikováno v: Machine Learning. 76:37-72

Searching the hypothesis space bounded below by a bottom clause is the basis of several state-of-the-art ILP systems (e.g. Progol, Aleph). These systems use refinement operators together with search heuristics to explore a bounded hypothesis space. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2227e5fb78352e2903e08128b42d32e3
https://doi.org/10.1007/s10994-009-5117-7

Mathematical applications of inductive logic programming

Autor: Simon Colton, Stephen Muggleton

Publikováno v: Machine Learning. 64:25-64

The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have driven the development of ILP systems. The application of AI techniques t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d59ab5920bb6d0f18b58538ef9d3a5f
https://doi.org/10.1007/s10994-006-8259-x

A Hybrid Abductive Inductive Proof Procedure

Autor: Krysia Broda, Alessandra Russo, Oliver Ray

Publikováno v: Logic Journal of IGPL. 12:371-397

This paper introduces a proof procedure that integrates Abductive Logic Programming (ALP) and Inductive Logic Programming (ILP) to automate the learning of first order Horn clause theories from examples and background knowledge. The work builds upon

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0d93c8f492a3bd6102700fb48e641510
https://doi.org/10.1093/jigpal/12.5.371