Playgol: learning programs through play
Not on the map. Why?
Abstract (arXiv)
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.
Key facts. Cited by 8 papers in the map (data through 7 Oct 2026). First posted on arXiv 18 Apr 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 4; 2022: 2; 2023: 0; 2024: 0; 2025: 2.
8 papers.
- 2022Top-Down Synthesis for Library Learningcited by 57
- 2021Inductive logic programming at 30cited by 46
- 2021Predicate Invention by Learning From Failurescited by 9
- 2021Learning Logic Programs From Noisy Failurescited by 5
- 2022Explanatory machine learning for sequential human teachingcited by 5
- 2025Program Synthesis via Test-Time Transductioncited by 4
- 2021Learning logic programs by explaining their failurescited by 0
- 2025Honey, I shrunk the hypothesis space (through logical preprocessing)cited by 0
- 2025Program Synthesis via Test-Time Transduction22 Sep 2025
- 2025Honey, I shrunk the hypothesis space (through logical preprocessing)7 Jun 2025
- 2022Top-Down Synthesis for Library Learning29 Nov 2022
- 2022Explanatory machine learning for sequential human teaching20 May 2022
- 2021Learning Logic Programs From Noisy Failures28 Dec 2021
- 2021Predicate Invention by Learning From Failures29 Apr 2021
- 2021Inductive logic programming at 3021 Feb 2021
- 2021Learning logic programs by explaining their failures18 Feb 2021