命题规则知识库更新的一种代数方法  

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

机构地区：[1]北京理工大学计算机科学技术学院智能信息技术北京市重点实验室,北京100081 [2]中国科学院软件研究所,北京100080

出　　处：《中国科学（E辑）》2008年第2期177-194,共18页Science in China(Series E)

基　　金：国家重点基础研究发展规划计划(批准号:2002CB312103);北京市重点学科建设资助项目

摘　　要：知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决.代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法.首先讨论了如何把知识库更新和协调性检查转化为代数问题.知识库中的规则用Petri网来表示,事实用Petri网的标识表示,这样把知识库更新和协调性检查转化为Petri网的可达性问题.在做了这个转化以后,协调性检查就变成了可达性问题,可达性的判断可以用代数的方法解决,同样,矛盾性检查也可以用代数方法实现.在此基础上,给出了基于规则命题知识库的更新方法,以及扩充逻辑程序知识库的更新方法.和相关的工作进行比较,所提出的方法更实用,效率更高.

关 键 词：知识库更新 PETRI网 命题知识库 扩充逻辑程序 

分 类 号：TP182[自动化与计算机技术—控制理论与控制工程]