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

一篇综述梳理了神经符号 AI 中用作符号组件的主要规则语言，包括 Datalog、答案集程序与概率逻辑程序，并沿语义、表达力、神经集成和求值机制四个维度展开对比。文章分析了 50 多个近期系统与应用，覆盖数据库与编程语言、机器学习、视觉和机器人四个研究领域，并给出将应用场景映射到所需特性的决策矩阵。