arXiv:2505.04115v1 宣告类型: 新 摘要: 在人工智能中，处理不确定性是一个基本的挑战。正如大多数这些挑战一样，语言表达能力与推理带来的计算问题的可处理性之间存在着严峻的矛盾。受到人类推理的启发，我们提出了一种满足这两个标准的一阶关系概率推理方法，并能处理混合（离散和连续）变量。具体而言，我们将期望的和式逻辑扩展到关系设置中，证明即使面对事先未知且/或可数无穷的对象集，在有界量词秩的知识库的有界度片段中进行提升推理可以在多项式时间内完成。关键的是，我们关于可处理性的概念是以证明论术语提出的，这超越了语言或查询的语法属性。我们能够通过证明程度和规模证明得出最紧的界限，并为固定程度建立了和式逻辑反驳的完整性。