Forgetting to learn logic programs

Andrew Cropper
11/15/2019
cs.LGcs.AIcs.LO

Official code: metagol/metagol (212 stars, BSD-3-Clause, last commit 2021-09-13). 1 more implementation below.

Abstract

Most program induction approaches require predefined, often hand-engineered, background knowledge (BK). To overcome this limitation, we explore methods to automatically acquire BK through multi-task learning. In this approach, a learner adds learned programs to its BK so that they can be reused to help learn other programs. To improve learning performance, we explore the idea of forgetting, where a learner can additionally remove programs from its BK. We consider forgetting in an inductive logic programming (ILP) setting. We show that forgetting can significantly reduce both the size of the hypothesis space and the sample complexity of an ILP learner. We introduce Forgetgol, a multi-task ILP learner which supports forgetting. We experimentally compare Forgetgol against approaches that either remember or forget everything. Our experimental results show that Forgetgol outperforms the alternative approaches when learning from over 10,000 tasks.

View on arXivView PDF

Code Implementations(2)

metagol/metagolOfficial100%
BSD-3-Clause

Metagol - an inductive logic programming system

21228TeX, PrologDec 9, 20155 years agoBSD-3-Clause
inductive-logic-programmingprogram-inductionprogram-synthesis

A. Cropper. Forgetting to learn logic programs. AAAI 2020.

80Perl, PrologNov 15, 20196 years ago

Similar Papers

Cite this paper

@article{cropper2019forgetting,
  title  = {Forgetting to learn logic programs},
  author = {Andrew Cropper},
  year   = {2019},
  eprint = {1911.06643},
  archivePrefix = {arXiv},
  url    = {https://arxiv.org/abs/1911.06643}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/1911.06643.svg)](https://codeofpaper.com/paper/1911.06643)

Discussion