知识库更新的一种可编程实现的方法_中文_期刊

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

更新时间：2019-05-21 访问次数：

关键词：知识库　　知识库更新　　子句　　规则

发明人：栾尚敏，戴国忠，李未

作者单位：中国科学院软件研究所　　北京；北京航空航天大学软件开发环境国家重点实验室

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

期刊名：中国科学E辑

期号：第8期

年份：2005

页数：3-15