Forgetting to learn logic programs

11/15/2019
by   Andrew Cropper, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/18/2019

Playgol: learning programs through play

Children learn though play. We introduce the analogous idea of learning ...
research
12/15/2019

One-Shot Induction of Generalized Logical Concepts via Human Guidance

We consider the problem of learning generalized first-order representati...
research
04/29/2014

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence

In this paper we investigate forgetting in disjunctive logic programs, w...
research
10/10/2019

Learning to Remember from a Multi-Task Teacher

Recent studies on catastrophic forgetting during sequential learning typ...
research
08/24/2022

Constraint-driven multi-task learning

Inductive logic programming is a form of machine learning based on mathe...
research
04/21/2020

Knowledge Refactoring for Program Induction

Humans constantly restructure knowledge to use it more efficiently. Our ...
research
12/08/2022

NP4G : Network Programming for Generalization

Automatic programming has been actively studied for a long time by vario...

Please sign up or login with your details

Forgot password? Click here to reset