arXiv:2304.14832v2 公告类型: 替换 摘要: 我们提出了基于可满足性问题（SAT）求解和回答集编程（ASP）的算法，用于解决确定命题知识库不一致程度的问题。我们考虑了六种不同的一致性度量，它们各自的一致性判定问题位于多项式层次的第一层。具体来说，这些度量分别是争执一致性度量、遗忘基于的一致性度量、击集一致性度量、最大距离一致性度量、总距离一致性度量和击距离一致性度量。在广泛的经验分析中，我们将基于SAT的方法和基于ASP的方法相互比较，并与一组原始_baseline_算法进行比较。我们的结果表明，总体而言，基于SAT的方法和基于ASP的方法在运行时间方面明显优于原始baseline方法。进一步的结果表明，提出的基于ASP的方法在考虑的所有六种一致性度量中均优于基于SAT的方法。此外，我们还进行了额外的实验以详细解释上述结果。