Inductive logic programming at 30: a new introduction [article]

Andrew Cropper, Sebastijan Dumančić
2022 arXiv   pre-print
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,
more » ... ly, summarise current limitations and directions for future research.
arXiv:2008.07912v5 fatcat:omhppz2oxjgpbghvwul3iqsa2q