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

摘要：

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

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

所属期刊栏目：38

分类号：TP3(计算技术、计算机技术)

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

在线出版日期：2009-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：177-194