Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
Not on the map. Why?
Abstract (arXiv)
Many inductive logic programming (ILP) methods are incapable of learning programs from probabilistic background knowledge, e.g. coming from sensory data or neural networks with probabilities. We propose Propper, which handles flawed and probabilistic background knowledge by extending ILP with a combination of neurosymbolic inference, a continuous criterion for hypothesis selection (BCE) and a relaxation of the hypothesis constrainer (NoisyCombo). For relational patterns in noisy images, Propper can learn programs from as few as 8 examples. It outperforms binary ILP and statistical models such as a Graph Neural Network.
Key facts. Cited by 5 papers in the map (data through 7 Oct 2026). Builds on 16 of its 31 references that are in the map. First posted on arXiv 21 Aug 2024.
Builds on
16 of 31 references.
References · 16
- 2014Microsoft COCO: Common Objects in Contextcited by 17,498
- 2023Grounding DINO: Marrying DINO with Grounded Pre-Training for Open-Set Object Detectioncited by 3,274
- 2019A Comprehensive Survey on Graph Neural Networkscited by 2,906
- 2017DOTA: A Large-scale Dataset for Object Detection in Aerial Imagescited by 622
- 2019Neural Probabilistic Logic Programming in DeepProbLogcited by 389
- 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
- 2019Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoningcited by 149
- 2020Inductive logic programming at 30: a new introductioncited by 83
- 2020Learning programs by learning from failurescited by 73
- 2020From Statistical Relational to Neuro-Symbolic Artificial Intelligencecited by 63
- 2021Inductive logic programming at 30cited by 46
- 2020Turning 30: New Ideas in Inductive Logic Programmingcited by 42
4 more
- 2020Abductive Knowledge Induction From Raw Datacited by 38
- 2023Learning MDL logic programs from noisy datacited by 15
- 2013Structure Learning of Probabilistic Logic Programs by Searching the Clause Spacecited by 10
- 2023V-LoL: A Diagnostic Dataset for Visual Logical Learningcited by 8
Built on by
Citing papers per year: 2025: 4; 2026: 1.
5 papers.
- 2025GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoningcited by 1
- 2025Efficient rule induction by ignoring pointless rulescited by 0
- 2025Honey, I shrunk the hypothesis space (through logical preprocessing)cited by 0
- 2025Symmetry breaking for inductive logic programmingcited by 0
- 2026Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approachcited by 0
- 2026Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach8 Apr 2026
- 2025GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning8 Aug 2025
- 2025Symmetry breaking for inductive logic programming8 Aug 2025
- 2025Honey, I shrunk the hypothesis space (through logical preprocessing)7 Jun 2025
- 2025Efficient rule induction by ignoring pointless rules3 Feb 2025