摘要

衡量知识库中的不一致性已被公认为几个研究领域的一个重要问题。为了解决这个问题,人们提出了许多方法,其中一类主要是基于某种次协调语义的。然而,现有的方法有两个局限性:(i)它们大多局限于命题知识库;(ii)其中很少讨论计算不一致性度量的计算方面。在本文中,我们试图通过探索计算一阶知识库不一致性度量的算法来解决这两个局限性。在引入一阶逻辑的四值语义之后,我们定义了一阶知识库的不一致性度量,即不一致度序列。然后我们提出了一个精确的算法来计算我们的不一致性度量。我们表明,该算法将不一致性度量的计算简化为经典的可满足性检查。这是通过引入一个新的语义来实现的,命名为S公司[n个]-4语义,可以通过调用经典的SAT求解器来计算。此外,我们还证明了这种辅助语义也提供了一种直接的计算方法上下限不一致程度。也就是说,可以很容易地对其进行修改,以计算近似的不一致性度量。如果有足够的资源可用,近似的不一致性度量将收敛到精确值。最后,通过S公司[n个]-4语义上,我们证明了一些上下界可以在P-time中计算,这意味着计算这些近似不一致度量的问题是可处理的。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。