Inductive Logic Programming At 30: A New Introduction

Andrew Cropper, Sebastijan Dumančić
2022 The Journal of Artificial Intelligence Research  
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.
doi:10.1613/jair.1.13507 fatcat:5fdf7gspgbckzldtp5wyomb6wq