arXiv cs.AI· Stefania Dumbrava, Efthymia Tsamoura·· 10 天前AI 评分25
神经符号 AI 的规则语言综述：Datalog、答案集与概率逻辑程序
Rule-Based Languages for Neurosymbolic AI
AI 导读
一篇综述系统梳理了神经符号 AI 中作为符号组件的规则语言，涵盖 Datalog、答案集程序与概率逻辑程序，并沿语义、表达力、神经集成和求值机制四个维度展开分析。作者考察了 50 多个近期系统与应用，比较了数据库与编程语言、机器学习、视觉和机器人四个研究领域的形式化使用情况，并给出将应用场景映射到所需特性的决策矩阵，最后列出开放问题。
正文 · AI 翻译
摘要：逻辑编程正日益被用作神经符号 AI 系统的符号组件。我们围绕语义、表达能力、神经集成和求值机制四个维度，综述了该场景下主要的基于规则的语言，即 Datalog、回答集和概率逻辑程序。我们分析了 50 多个近期系统与应用，比较了四个研究领域中的形式化使用情况：数据库与编程语言、机器学习、视觉和机器人学。我们提供了一张将应用场景映射到所需特性的决策矩阵，并在最后概述了开放问题。
| 评论： | 将发表于《规则与推理会议录——第 10 届国际联合会议，RuleML+RR 2026，立陶宛维尔纽斯》 |
| 主题： | 人工智能（cs.AI）；计算机科学中的逻辑（cs.LO） |
| 引用为： | arXiv:2610.07313 [cs.AI] |
| （或本版本使用 arXiv:2610.07313v1 [cs.AI]） | |
| https://doi.org/10.48550/arXiv.2610.07313 arXiv 颁发的 DOI，经由 DataCite（待注册） |
提交历史
发件人：Stefania Dumbrava [查看电子邮件]
[v1]
2026 年 10 月 5 日星期一 19:49:56 UTC（52 KB）
来源：arXiv cs.AI · arxiv.org