Learning MDL Logic Programs from Noisy Data
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Abstract
Many inductive logic programming approaches struggle to learn programs from noisy data. To overcome this limitation, we introduce an approach that learns minimal description length programs from noisy data, including recursive programs. Our experiments on several domains, including drug design, game playing, and program synthesis, show that our approach can outperform existing approaches in terms of predictive accuracies and scale to moderate amounts of noise. Introduction The goal of inductive logic programming (ILP) (Muggleton 1991) is to induce a logic program (a set of logical rules) that generalises training examples and background knowledge.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 6d9d49b1-7eb1-4507-8f3b-06487704ba88Cited by top-tier papers4
- Differentiable Rule Induction from Raw Sequence InputsKun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang et al.ICLR 2025
- GeoILP: A Synthetic Dataset to Guide Large-Scale Rule InductionSi Chen, Richong Zhang, Xu ZhangICLR 2025
- Symmetry Breaking for Inductive Logic ProgrammingAndrew Cropper, David M. Cerna, Matti JärvisaloAAAI 2026
- RLIE: Rule Generation with Logistic Regression, Iterative Refinement, and Evaluation for Large Language ModelsYang Yang, Hua XU, Zhangyi Hu, Yutao YueICML 2026
Builds on2
- Provenance-guided synthesis of Datalog programsMukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik et al.POPL 2020 · 49 citations
- From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection ProblemsAaron Bembenek, Michael Greenberg, Stephen ChongPOPL 2023 · 6 citations
Related papers
- Relational Program Synthesis with Numerical ReasoningCéline Hocquette, Andrew CropperAAAI 2023 · 5 citations
- Learning Logic Programs by Discovering Where Not to SearchAndrew Cropper, Céline HocquetteAAAI 2023 · 3 citations
- Learning Logic Programs Though Divide, Constrain, and ConquerAndrew CropperAAAI 2022 · 11 citations
- Efficient Rule Induction by Ignoring Pointless RulesAndrew Cropper, David M. CernaAAAI 2026 · 1 citation
- Generalisation through Negation and Predicate InventionDavid M. Cerna, Andrew CropperAAAI 2024 · 5 citations
