ULLER：神经符号AI，学习和推理的统一语言

文章预览

ULLER: A UNIFIED LANGUAGEFOR LEARNING AND REASONING ULLER:学习和推理的统一语言 https://arxiv.org/pdf/2405.00532 后续相关内容： AGI雏形,系统1+系统2，Scallop2：神经符号编程语言: 符号、概率、可解释等强化学习等 摘要 神经符号人工智能（NeSy）领域，结合了学习和推理，最近经历了显著的增长。现在有 各种各样的NeSy框架，每个框架都有自己特定的语言来表达背景知识以及如何将其与神经网络相关联。这种异构性妨碍了新来者的使用，并使得比较不同的NeSy框架变得具有挑战性。我们提出了一个统一的NeSy语言，我们称之为ULLER，即学习和推理的统一语言。ULLER涵盖了多种设置，同时确保在其中描述的知识可以用于现有的NeSy系统。ULLER具有神经符号一阶语法，我们为其提供了包括经典、模糊和概率逻辑在内的示例语义 。我们认为ULLER是使NeSy研究更加易于访问和可比的第 ………………………………