arXiv:2502.13743v1 通告类型: 新增 摘要: 在人工智能领域，一个重要的公开问题是，是什么简单的且自然的原理能够让机器通过具体化符号进行有意义的逻辑推理。本文探讨了一种结合概率推理和预测性符号推理的新方法。我们回到了贝叶斯网络出现前的全联合分布推理时代。然后我们讨论了在命题逻辑中全联合分布的指数大小，在谓词逻辑中为无穷大小，应该简单地从数据的线性大小的全联合分布中得出。我们表明，同样的过程不仅足够用来泛化谓词逻辑的逻辑后果关系，还能够提供一个新的视角来重新思考已知的限制，如谓词逻辑的不可判定性、符号接地问题和爆炸原理。本文的理论工作在附带的证明中完全展现了其可重复性。