Meta-Interpretive Learning as Metarule Specialisation

1 code implementation • 9 Jun 2021 • Stassa Patsantzis, Stephen H. Muggleton

We modify the MIL metarule specialisation operator to return new metarules rather than first-order clauses and prove the correctness of the new operator.

Inductive Bias

Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning

1 code implementation • 13 Jan 2021 • Stassa Patsantzis, Stephen H. Muggleton

We give an algorithm for Top program construction and show that it constructs a correct Top program in polynomial time and from a finite number of examples.