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

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