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

该研究对神经符号 AI 系统中使用的 Datalog、答案集与概率逻辑等主要规则语言进行了系统综述，从语义、表达能力、神经集成和评估机制四个维度展开评估。研究深入分析了数据库与编程语言、机器学习、视觉及机器人四大领域的 50 多个最新系统和应用，并提供了将应用场景映射至所需特性的决策矩阵。