首页> 外文会议>Knowledge science, engineering and management >An Anytime Algorithm for Computing Inconsistency Measurement
【24h】

An Anytime Algorithm for Computing Inconsistency Measurement

机译:用于计算不一致性测量的随时算法

获取原文
获取原文并翻译 | 示例

摘要

Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of prepositional knowledge bases under 4-valued semantics. We first analyze its computational complexity. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximation of the inconsistency degree from above and below. We show that our algorithm satisfies some desirable properties and give experimental results of our implementation of the algorithm.
机译:衡量不一致的知识库的不一致程度是一个重要的问题,因为它提供了有助于进行不一致处理的上下文信息。已经提出了许多方法来解决该问题,并且它们的主要类别基于某种超常一致的语义。在本文中,我们考虑了介词知识库在4值​​语义下的不一致程度的计算方面。我们首先分析其计算复杂度。事实证明,计算确切的不一致度是难于解决的,因此我们提出了一种随时可以从上下两方面对不一致度进行易于处理的近似算法。我们证明了我们的算法满足一些期望的性质,并给出了我们实现该算法的实验结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号