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

Stassa Patsantzis, Stephen H. Muggleton

Meta-Interpretive Learners, like most ILP systems, learn by searching for a correct hypothesis in the hypothesis space, the powerset of all constructible clauses. We show how this…