神经符号 AI 的规则语言综述：Datalog、答案集与概率逻辑程序

一篇综述系统梳理了神经符号 AI 中用作符号组件的三类规则语言——Datalog、答案集程序与概率逻辑程序，并沿语义、表达能力、神经集成和求值机制四个维度展开对比。作者分析了 50 余个近期系统与应用，覆盖数据库与编程语言、机器学习、视觉和机器人四个研究领域，并给出将应用场景映射到所需特性的决策矩阵，最后列出开放问题。该文将收录于 RuleML+RR 2026 会议论文集。