Research
Rule-Based Languages for Neurosymbolic AI
arXiv:2610.07313v1 Announce Type: new Abstract: Logic programming is increasingly used as the symbolic component of neurosymbolic AI systems. We survey the main rule-based languages in this setting, n
arXiv:2610.07313v1 Announce Type: new Abstract: Logic programming is increasingly used as the symbolic component of neurosymbolic AI systems. We survey the main rule-based languages in this setting, namely Datalog, answer set, and probabilistic logic programs, along four axes: semantics, expressiveness, neural integration, and evaluation mechanism. We analyse over 50 recent systems and applications, comparing formalism usage across four research areas: databases and programming languages, machine learning, vision, and robotics. We provide a decision matrix mapping application scenarios to required features and close by outlining open problems.
Related
- An XAI View on Explainable ASP: Methods, Systems, and Perspectives
- Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems
- Recovering Explanations from Transformed Rule-Based Ontologies
- Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
- Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits
Source: arXiv cs.AI | 2026-10-07