神经符号 AI 的基于规则的语言

论文以逻辑编程作为神经符号 AI 系统的符号组件，综述 Datalog、answer set 与概率逻辑程序等基于规则的语言，沿语义、表达能力、神经集成与评估机制四个轴展开。分析覆盖 50 余个近期系统与应用，对比数据库与编程语言、机器学习、视觉与机器人四个研究领域中的形式化用法，并给出将应用场景映射到所需特性的决策矩阵与开放问题。