论文部分内容阅读
知识库更新的一个重要主题就是寻找高效的实现方法,为此人们做了很多工作,但还没有很好地解决.代数方法具有良好的性质和实现方法,文中给出了基于规则知识库更新的代数方法.首先讨论了如何把知识库更新和协调性检查转化为代数问题.知识库中的规则用Petri网来表示,事实用Petri网的标识表示,这样把知识库更新和协调性检查转化为Petri网的可达性问题.在做了这个转化以后,协调性检查就变成了可达性问题,可达性的判断可以用代数的方法解决,同样,矛盾性检查也可以用代数方法实现.在此基础上,给出了基于规则命题知识库的更新方法,以及扩充逻辑程序知识库的更新方法.和相关的工作进行比较,所提出的方法更实用,效率更高.
An important theme of knowledge base update is to find efficient implementation methods, for which a lot of people do a lot of work, but it has not been well solved.Algebra methods have good properties and implementation methods, the article gives a rule-based knowledge base update Algebraic method.Firstly, we discuss how to convert the knowledge base update and coordination check into algebraic problems.The rules in the knowledge base are represented by Petri net, and the facts are represented by the Petri net identifications, so that the knowledge base update and coordination check are transformed into Petri nets reachability problem.After this conversion, the coordination check becomes a reachability problem, the reachability can be judged by algebraic method, and the same can also be used to check the contradiction of the algebraic method On this basis, the update method based on the rule proposition knowledge base and the update method of the augmented logic program knowledge base are given.Compared with the related work, the proposed method is more practical and more efficient.