Inductive Logic Programming at 30
A New Introduction
Andrew Cropper (University of Oxford)
Sebastijan Dumančić (TU Delft - Electrical Engineering, Mathematics and Computer Science)
More Info
expand_more
Abstract
Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce a hypothesis (a set of logical rules) that generalises training examples. As ILP turns 30, we provide a new introduction to the field. We introduce the necessary logical notation and the main learning settings; describe the building blocks of an ILP system; compare several systems on several dimensions; describe four systems (Aleph, TILDE, ASPAL, and Metagol); highlight key application areas; and, finally, summarise current limitations and directions for future research.