Learning Big Logical Rules by Joining Small Rules

Céline Hocquette; Andreas Niskanen; Rolf Morel; Matti Järvisalo; Andrew Cropper

IJCAI 2024poster1 citations

Learning Big Logical Rules by Joining Small Rules

Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

Abstract

A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We implement our approach in a constraint-driven system and use constraint solvers to efficiently join rules. Our experiments on many domains, including game playing and drug design, show that our approach can (i) learn rules with more than 100 literals, and (ii) drastically outperform existing approaches in terms of predictive accuracies.

Knowledge Representation and Reasoning: KRR: Logic programmingMachine Learning: ML: Symbolic methods

BibTeX

@inproceedings{ijcai2024p380,
  title     = {Learning Big Logical Rules by Joining Small Rules},
  author    = {Hocquette, Céline and Niskanen, Andreas and Morel, Rolf and Järvisalo, Matti and Cropper, Andrew},
  booktitle = {Proceedings of the Thirty-Third International Joint Conference on
               Artificial Intelligence, {IJCAI-24}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Kate Larson},
  pages     = {3430--3438},
  year      = {2024},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2024/380},
  url       = {https://doi.org/10.24963/ijcai.2024/380},
}