∂ILP-ST [21]在∂ILP 被开发用来处理带有函子的结构化逻辑程序,导致αILP [22],它可以学习复杂视觉场景上的分类规则。...我们首先介绍在一阶逻辑中引入一种新的基于图的逻辑程序表示,然后通过消息传递进行可微推理。图形结构通过连接逻辑原子有效地编码了推理过程。...NEUMANN 不是对每个子句进行精确评分来执行波束搜索,而是计算分类损失的 候 选子 句 的梯 度,并 使 用它们作 为 近似 分 数来 生成 新子 句 。...此外,诺依曼允许在复杂的逻辑程序上使用函子进行可微推理,因此可以用于重要的应用,如规划、元解释器和知识增强基础模型。...一般来说,它桥接了当前数据驱动的机器学习范式,以知识表示和推理来执行超越感知的问题解决。