Learning logic programs by combining programs

Conference item

The goal of inductive logic programming is to induce a logic program (a set of logical rules) that generalises training examples. Inducing programs with many rules and literals is a major challenge. To tackle this challenge, we introduce an approach where we learn small non-separable programs and combine them. We implement our approach in a constraint-driven ILP system. Our approach can learn optimal and recursive programs and perform predicate invention. Our experiments on multiple domains, including game playing and program synthesis, show that our approach can drastically outperform existing approaches in terms of predictive accuracies and learning times, sometimes reducing learning times from over an hour to a few seconds.

Authors: Cropper, A; Hocquette, C

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: IOS Press
• Host title: 26th European Conference on Artificial Intelligence, September 30–October 4, 2023, Kraków, Poland – Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)
• Volume: 372
• Pages: 501-508
• Series: Frontiers in Artificial Intelligence and Applications
• Publication date: 2023-09-28
• Acceptance date: 2023-07-15
• DOI: 10.3233/faia230309
• EISSN: 1879-8314
• ISSN: 0922-6389
• ISBN: 9781643684369
• Language: English