【知识库一致性问题及其检测】韩红.pdf

业:计算机应用王珊教授学习期限:89年月至92年7月论文主题词:知浪库.

摘要知识库的一致性是指它必须是一个一致的逻辑系统,即不能同时推导出p和.p的结论也就是说,在同一个知识库中,不允许容纳知识库的一致性维护是保证知识的正确性、有效性的重要手段.随着知识库规模越来越大,各知识单元间的相互关系和相互影响越采越复杂,越来越需要知识库系统提供自动的一致性检查和维护工具来知识库一致性要求限制了它的建模能力,现实世界中许多普遍存在的不一致情况由于不能满足知识库的一致性要求而无法放入知识库中。为了解决这个问题,引入了分布知识模型,并提出可把知识库进一步划分为知识缺以便于共享和容纳更多的不一致性。

第一章引言知识库的一致性是任何基于知识系统的核心,知识库的一致性是指它满足封闭世界假设(CWA),是一个一致的和完备的逻辑系统,即不能同时导出p和～p的结论,也就是说,在同一个知识库中,不当前高新技术蓬勃发展,各种新的应用需求应运而生、例如,航空服务系统、计算机会议系统、机器人规划、网络办公信息系统、大规模群体决策支持系统等等:随着知识数量、种类和知识源间关系复杂程度的增加,在多知识源、多处理场地的环境下,有效地表达、组织和使用知识是设计现代化智能信息处理系统所面临的主要问题,这首先,考虑不同组织之间的联系,每一组织有各自的知识库作为组织信息系统的核心,由于它们之间存在着