arXiv:2502.02963v1 通知类型: 新 摘要: 我们提出了基于机器学习的方法来确定命题逻辑知识库的一致性程度——这是一个数值值。具体来说，我们提出了回归模型和神经网络模型，使其能够预测一致性度量 $\incmi$ 和 $\incat$ 会给命题逻辑知识库分配的值。我们的主要动机是，传统上计算这些值在计算复杂性上可能是困难的。作为重要的补充，我们使用了底层一致性度量的特定公理，即属性，推断出符号规则，并将这些规则与基于学习的模型以约束的形式结合起来。我们进行了各种实验，并展示了以下两点：a) 在许多情况下预测程度值是可行的；b) 包括从理性公理推断出的符号约束可以提高预测质量。