面向神经符号 AI 的基于规则语言综述

一篇 arXiv 综述梳理神经符号 AI 的规则型逻辑编程语言，覆盖 Datalog、answer set 与概率逻辑程序，并按语义、表达力、神经集成、评估机制比较。它分析 50 多个近期系统与应用，对比这些形式化方法在数据库与编程语言、机器学习、视觉、机器人四个领域的使用。论文还给出应用场景到所需特征的决策矩阵，并列出开放问题。