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

被引：3

作者：

栾尚敏 ^{[1
]}

戴国忠 ^{[2
]}

机构：

[1] 北京理工大学计算机科学技术学院智能信息技术北京市重点实验室

[2] 中国科学院软件研究所

来源：

中国科学(E辑:信息科学) | 2008年 / 02期

关键词：

知识库更新; Petri网; 命题知识库; 扩充逻辑程序;

D O I：

暂无

中图分类号：

TP182 [专家系统、知识工程];

学科分类号：

1111 ;

摘要：

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

引用

页码：177 / 194

页数：18

共 10 条

[1] A programmable approach to revising knowledge bases [J].

Shangmin Luan ;

Guozhong Dai ;

Wei Li .

Science in China Series F: Information Sciences, 2005, 48 :681-692

[2]

Victor Khomenko,Maciej Koutny,Walter Vogler.Canonical prefixes of Petri net unfoldings[J].Acta Inf.,2003

[3]

James P Delgrande,Torsten Schaub.A consistency-based approach for belief change[J].Artificial Intelligence,2003(1)

[4] A development calculus for specifications [J].

Wei Li .

Science in China Series F: Information Sciences, 2003, 46 :390-400

[5]

Luan ShangMin,GuoZhong Dai.Fast algorithms for revision of some special propositional knowledge bases[J].Journal of Computer Science and Technology,2003(3)

[6]

ShangMin Luan,GuoZhong Dai,Wei Li.A Programmable Approach to Maintenance of a Finite Knowledge Base[J].J. Comput. Sci. Technol.,2003

[7]

Adnan Darwiche,Judea Pearl.On the logic of iterated belief revision[J].Artificial Intelligence,1997(1)

[8]

Michael Gelfond,Vladimir Lifschitz.Classical negation in logic programs and disjunctive databases[J].New Generation Computing,1991(3)

[9]

Carlos E. Alchourrón,Peter Gärdenfors,David Makinson.On the logic of theory change: Partial meet contraction and revision functions[J].The Journal of Symbolic Logic,1985

[10]

吴哲辉著.Petri网导论[M].北京:机械工业出版社,2006

← 1 →