no code implementations • 26 Feb 2019 • Céline Hocquette, Stephen H. Muggleton
World-class human players have been outperformed in a number of complex two person games (Go, Chess, Checkers) by Deep Reinforcement Learning systems.
1 code implementation • 9 Sep 2020 • Lun Ai, Stephen H. Muggleton, Céline Hocquette, Mark Gromowski, Ute Schmid
USML is demonstrated by a measurable increase in human performance of a task following provision to the human of a symbolic machine learned theory for task performance.
1 code implementation • 20 Feb 2022 • Andrew Cropper, Céline Hocquette
We use the constraints to bootstrap a constraint-driven ILP system.
1 code implementation • 1 Jun 2022 • Andrew Cropper, Céline Hocquette
The goal of inductive logic programming is to induce a logic program (a set of logical rules) that generalises training examples.
2 code implementations • 5 Aug 2022 • Céline Hocquette, Andrew Cropper
A magic value in a program is a constant symbol that is essential for the execution of the program but has no clear explanation for its choice.
1 code implementation • 3 Oct 2022 • Céline Hocquette, Andrew Cropper
Our approach can identify numerical values in linear arithmetic fragments, such as real difference logic, and from infinite domains, such as real numbers or integers.
no code implementations • 16 Aug 2023 • Céline Hocquette, Sebastijan Dumančić, Andrew Cropper
We introduce the higher-order refactoring problem, where the goal is to compress a logic program by discovering higher-order abstractions, such as map, filter, and fold.
1 code implementation • 18 Aug 2023 • Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Many inductive logic programming approaches struggle to learn programs from noisy data.
no code implementations • 29 Jan 2024 • Andrew Cropper, Céline Hocquette
The goal of inductive logic programming (ILP) is to search for a logic program that generalises training examples and background knowledge.
no code implementations • 29 Jan 2024 • Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
A major challenge in inductive logic programming is learning big rules.
no code implementations • 30 Apr 2024 • Céline Hocquette, Johannes Langer, Andrew Cropper, Ute Schmid
Our results show that, on most of the tasks, non-expert participants did not provide sufficient examples for a program synthesis system to learn an accurate program.