HackerPapers

arXiv:2008.07912cs.AI

Inductive logic programming at 30: a new introduction

Andrew Cropper, Sebastijan Dumančić

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.

arXiv comments
Preprint of a paper accepted for JAIR
Journal reference
DOI
Subjects
cs.AIArtificial Intelligence cs.LGMachine Learning

On Hacker News

Linked by 3 identifiable commenters in 3 comments across 3 threads, from Mar 2022 to Aug 2026. Found in 2 HN submissions from May 2021 to Sep 2021. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments3 threads

  1. Vintage Artificial Intelligence: Before It Got Awkward 1 comment

    • More broadly, the field has been focused on inductive logic programming since the 90s. More or less, one can think of it like synthesizing a logic program to describe and generalize background knowledge and examples. An automated approach to building the knowledgebase of an…

      ux266478View on HNParent context

  2. Prolog for data science 1 comment

    • I finished my master's thesis in Inductive Logic Programming recently at Oxford. I'd say that the field has continued improving since Aleph, which was written in the late 90s. Anyone interested could also take a look at Popper (https://github.com/logic-and-learning-lab/Popper)…

      bhntr3View on HNParent context

  3. Neurosymbolic Programming (2021) [pdf] 1 comment

    • I study Inductive Logic Programming (ILP) which is a kind of inductive program synthesis. Inductive program synthesis is learning from partial specifications, where deductive program synthesis is learning from complete specifications (compilation can be seen as a form of…

      YeGoblynQueenneView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.