• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of Intelligent Information Systems >Measuring inconsistency in knowledgebases
【24h】

Measuring inconsistency in knowledgebases

机译：衡量知识库中的不一致

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the inconsistency of various knowledgebases, represented as first-order logic formulas. We use quasi-classical (QC) logic for this purpose. QC logic is a formalism for reasoning and analysing inconsistent information. It has been used as the basis of a framework for measuring inconsistency in propositional theories. Here we extend this framework, by using a first-order logic version of QC logic for measuring inconsistency in first-order theories. We motivate the QC logic approach by considering some formulae as database or knowledgebase integrity constraints. We then define a measure of extrinsic inconsistency that can be used to compare the inconsistency of different knowledgebases. This measure takes into account both the language used and the underlying domain. We show why this definition also captures the intrinsic inconsistency of a knowledgebase. We also provide a formalization of paraconsistent equality, called quasi-equality, and we use this in an extended example of an application for measuring inconsistency between heterogeneous sources of information and integrity constraints prior to merging.
机译：众所周知，知识库可能包含不一致之处。我们提供了一种量化知识库的不一致性的方法，从而可以比较表示为一阶逻辑公式的各种知识库的不一致性。为此，我们使用准古典（QC）逻辑。 QC逻辑是用于推理和分析不一致信息的形式主义。它已被用作衡量命题理论不一致之处的框架的基础。在这里，我们通过使用QC逻辑的一阶逻辑版本来测量一阶理论中的不一致之处来扩展此框架。我们通过将某些公式视为数据库或知识库完整性约束来激发QC逻辑方法。然后，我们定义了外部不一致性的度量，可以用来比较不同知识库的不一致性。此措施同时考虑了所使用的语言和基础领域。我们展示了为什么该定义还捕获了知识库的内在矛盾。我们还提供了准一致性的形式化，称为准相等性，并将其用于应用程序的扩展示例中，该应用程序用于在合并之前测量异构信息源和完整性约束之间的不一致。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号