实体对齐 (EA) 旨在通过识别等效实体对来合并两个知识图谱 (KG)。现有的方法可以分为符号模型和神经模型。符号模型虽然精确，但难以处理子结构异质性和稀疏性，而神经模型虽然有效，但通常缺乏可解释性，并且无法处理不确定性。我们提出了 NeuSymEA，一个结合了两种方法优势的概率神经符号框架。NeuSymEA 在马尔可夫随机场中对所有可能对的真值得分进行联合概率建模，并由一组规则进行调节，并使用变分 EM 算法进行优化。在 E 步中，神经模型参数化真值得分分布并推断缺失的对齐。在 M 步中，规则权重根据观察到的和推断的对齐进行更新。为了便于解释，我们在此框架之上进一步设计了一个基于路径排序的解释器，用于生成推断对齐的支持规则。基准测试表明，NeuSymEA 不仅在有效性和鲁棒性方面显著优于基线，而且还提供可解释的结果。