神经符号规则语言：基础模型接口、语义与执行机制综述

逻辑编程越来越多地用作神经符号人工智能系统的符号组件。我们沿着四个轴：语义、表达性、神经集成和评估机制，调查了这种情况下主要的基于规则的语言，即数据记录、答案集和概率逻辑程序。我们分析了 50 多个最新系统和应用程序，比较了四个研究领域的形式主义使用情况：数据库和编程语言、机器学习、视觉和机器人技术。我们提供了一个决策矩阵，将应用场景映射到所需的功能，并通过概述开放问题来结束。