about
Learning large logic programs by going beyond entailment (arxiv.org)
2 points by trott on Apr 9, 2021 | hide | past | pdf | discuss on HN

In plain words: Instead of deciding only whether a rule fully covers each example, this system scores partial matches to guide its search for large logic programs. It learned programs 20 times bigger than today's best rule-learning systems, while also being more accurate and faster.

Abstract

A major challenge in inductive logic programming (ILP) is learning large programs. We argue that a key limitation of existing systems is that they use entailment to guide the hypothesis search. This approach is limited because entailment is a binary decision: a hypothesis either entails an example or does not, and there is no intermediate position. To address this limitation, we go beyond entailment and use \emph{example-dependent} loss functions to guide the search, where a hypothesis can partially cover an example. We implement our idea in Brute, a new ILP system which uses best-first search, guided by an example-dependent loss function, to incrementally build programs. Our experiments on three diverse program synthesis domains (robot planning, string transformations, and ASCII art), show that Brute can substantially outperform existing ILP systems, both in terms of predictive accuracies and learning times, and can learn programs 20 times larger than state-of-the-art systems.

Andrew Cropper, Sebastijan Dumančić
arXiv:2004.09855 · cs.AI, cs.LG · submitted Apr 21, 2020 · updated Apr 22, 2020
abstract · pdf · html · IJCAI2020 paper

add comment on HN