Learning Higher-Order Programs through Predicate Invention
A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce ILP techniques to learn higher-order programs. We implement our idea in Metagolho, an ILP system which can learn higher-order programs with higher-order predicate invention. Our experiments show that, compared to first-order programs, learning higher-order programs can significantly improve predictive accuracies and reduce learning times.
How to Cite
Cropper, A., Morel, R., & Muggleton, S. H. (2020). Learning Higher-Order Programs through Predicate Invention. Proceedings of the AAAI Conference on Artificial Intelligence, 34(09), 13655-13658. https://doi.org/10.1609/aaai.v34i09.7113
Sister Conference Track