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

• 作者: 戴国忠 栾尚敏
• 来源期刊: 中国科学E辑
• 关键词: 知识库更新 Petri网 命题知识库 扩充逻辑程序
• 年，卷（期）: 2008,（2）
• 页码范围: 177-194
• 页数: 18页
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴国忠	中国科学院软件研究所	146	3450	33.0	52.0
2	栾尚敏		1	0	0.0	0.0