知识库更新的一种可编程实现的方法.pdfVIP

中国科学 E 辑 信息科学 2005, 35(8): 785~797 785 知识库更新的一种可编程实现的方法* 栾尚敏 戴国忠 ( 中国科学院软件研究所, 北京 100080) 李 未 (北京航空航天大学软件开发环境国家重点实验室, 北京 100083) 摘要 讨论了知识库是有限子句集时的更新过程, 给出了这种情况下知识库 更新的一种可编程实现的方法. 首先讨论了求极大协调子集的基本思想和方法, 然后给出了求极大协调子集的完全过程和非完全过程, 证明了它们的正确性; 讨 论了知识库更新的实现方法; 最后和相关工作进行了比较. 关键词 知识库 知识库更新 子句 规则 知识库更新是当今人工智能研究的热点之一, 人们已经取得了很多研究成 [1~26] 果 . 寻找某些特殊情况下知识库更新可编程实现的方法是非常重要的研究方 [9] 向 , 本文讨论了子句型知识库更新的可编程实现方法. 对知识库更新的研究, [27] 不仅具有理论意义, 也有广泛的应用前景 . [1] 真值维护系统 是第一个与知识库更新相关的系统, 该系统中的每一条规则 都附有说明该规则真假的论据; Kleer[2]分析了该系统效率低的原因, 给出了基于 [3,4] 假设的真值维护系统. 基于公式的更新方法 用极大协调子集定义更新后的知 [5] 识库. 理论修改逻辑 讨论了理论闭包更新的合理公设, 所谓合理公设就是 一个具体的更新算子应该满足的条件; 然后给出了满足这些公设的一些更新方 [5] 法, 如极大选择更新 部分交集更新 全部交集更新 安全更新 可能世界系 [6] [7] [8] 统 和基于认识牢固度的更新 等; 还讨论了构造认识牢固度的方法 . 基于模 型的更新方法不是直接求更新后的知识库, 而是求更新后的知识库的模型, 这种 [9] 更新方法也满足部分 AGM 的公设 . 人们还讨论了理论基的更新方法, 给出了 2005-03-29 收稿, 2005-07-05 收修改稿 * 国家重大基础研究计划“九七三” (2002CB312103)和国家自然科学基金(批准号: 资助项目 SCIENCE IN CHINA Ser. E Information Sciences 786 中国科学 E 辑 信息科学 第35 卷 [10]