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

作　　者：栾尚敏[1] 戴国忠[1] 李未[2] 

机构地区：[1]中国科学院软件研究所 [2]北京航空航天大学软件开发环境国家重点实验室

出　　处：《中国科学（E辑）》2005年第8期785-797,共13页Science in China(Series E)

基　　金：国家重大基础研究计划"九七三"(2002CB312103);国家自然科学基金(批准号:60033020;70371052)资助项目

摘　　要：讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.

关 键 词：知识库 知识库更新 子句 规则 更新过程 可编程 全过程 子句集 子集 极大 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]