DeepStochLog: Neural Stochastic Logic Programming
Thomas Winters, Giuseppe Marra, Robin Manhaeve, Luc De Raedt
Abstract
Recent advances in neural symbolic learning, such as DeepProbLog, extend probabilistic logic programs with neural predicates. Like graphical models, these probabilistic logic programs define a probability distribution over possible worlds, for which inference is computationally hard. We propose DeepStochLog, an alternative neural symbolic framework based on stochastic definite clause grammars, a type of stochastic logic program, which defines a probability distribution over possible derivations. More specifically, we introduce neural grammar rules into stochastic definite clause grammars to create a framework that can be trained end-to-end. We show that inference and learning in neural stochastic logic programming scale much better than for neural probabilistic logic programs. Furthermore, the experimental evaluation shows that DeepStochLog achieves state-of-the-art results on challenging neural symbolic learning tasks.
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.
Cited by top-tier papers20
- Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning ShortcutsEmanuele Marconato, Stefano Teso, Antonio Vergari, Andrea PasseriniNeurIPS 2023 · 83 citations
- Interpretable Neural-Symbolic Concept ReasoningPietro Barbiero, Gabriele Ciravegna, Francesco Giannini, Mateo Espinosa Zarlenga et al.ICML 2023 · 68 citations
- A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic InferenceEmile van Krieken, Thiviyan Thanapalasingam, Jakub M. Tomczak, Frank van Harmelen et al.NeurIPS 2023 · 62 citations
- VAEL: Bridging Variational Autoencoders and Probabilistic Logic ProgrammingEleonora Misino, Giuseppe Marra, Emanuele SansoneNeurIPS 2022 · 38 citations
- Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept RehearsalEmanuele Marconato, Gianpaolo Bontempo, Elisa Ficarra, Simone Calderara et al.ICML 2023 · 34 citations
Builds on2
- Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic ReasoningQing Li, Siyuan Huang, Yining Hong, Yixin Chen et al.ICML 2020 · 93 citations
- Neural-Symbolic Integration: A Compositional PerspectiveEfthymia Tsamoura, Timothy M. Hospedales, Loizos MichaelAAAI 2021 · 85 citations
Related papers
- DeepProofLog: Efficient Proving in Deep Stochastic Logic ProgramsYing Jiao, Rodrigo Castellano Ontiveros, Luc De Raedt, Marco Gori et al.AAAI 2026
- Weakly Supervised Neural Symbolic Learning for Cognitive TasksJidong Tian, Yitian Li, Wenqing Chen, Liqiang Xiao et al.AAAI 2022 · 14 citations
- Soft-Unification in Deep Probabilistic LogicJaron Maene, Luc De RaedtNeurIPS 2023 · 23 citations
- Embeddings as Probabilistic Equivalence in Logic ProgramsJaron Maene, Efthymia TsamouraNeurIPS 2025 · 4 citations
- Differentiable Inductive Logic Programming for Structured ExamplesHikaru Shindo, Masaaki Nishino, Akihiro YamamotoAAAI 2021 · 40 citations
