Playgol: learning programs through play

04/18/2019
by   Andrew Cropper, et al.
0

Children learn though play. We introduce the analogous idea of learning programs through play. In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge. Before solving the tasks, the learner enters an unsupervised playing stage where it creates its own tasks to solve, tries to solve them, and saves any solutions (programs) to the background knowledge. After the playing stage is finished, the learner enters the supervised building stage where it tries to solve the user-supplied tasks and can reuse solutions learnt whilst playing. The idea is that playing allows the learner to discover reusable general programs on its own which can then help solve the user-supplied tasks. We claim that playing can improve learning performance. We show that playing can reduce the textual complexity of target concepts which in turn reduces the sample complexity of a learner. We implement our idea in Playgol, a new inductive logic programming system. We experimentally test our claim on two domains: robot planning and real-world string transformations. Our experimental results suggest that playing can substantially improve learning performance. We think that the idea of playing (or, more verbosely, unsupervised bootstrapping for supervised program induction) is an important contribution to the problem of developing program induction approaches that self-discover BK.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/15/2019

Forgetting to learn logic programs

Most program induction approaches require predefined, often hand-enginee...
research
04/21/2020

Knowledge Refactoring for Program Induction

Humans constantly restructure knowledge to use it more efficiently. Our ...
research
06/13/2023

DreamDecompiler: Improved Bayesian Program Learning by Decompiling Amortised Knowledge

Solving program induction problems requires searching through an enormou...
research
07/25/2019

Learning higher-order logic programs

A key feature of inductive logic programming (ILP) is its ability to lea...
research
07/12/2018

Automatically Composing Representation Transformations as a Means for Generalization

How can we build a learner that can capture the essence of what makes a ...
research
06/23/2019

Inductive general game playing

General game playing (GGP) is a framework for evaluating an agent's gene...
research
06/22/2020

Information-theoretic User Interaction: Significant Inputs for Program Synthesis

Programming-by-example technologies are being deployed in industrial pro...

Please sign up or login with your details

Forgot password? Click here to reset