[1]姜浩,罗军舟,方宁生.一种基于有色Petri网的知识库验证方法[J].东南大学学报(自然科学版),2000,30(1):77-83.[doi:10.3969/j.issn.1001-0505.2000.01.015]
 Jiang Hao,Luo Junzhou,Fang Ningsheng.A Knowledge Verification Method Based on Color Petri Net[J].Journal of Southeast University (Natural Science Edition),2000,30(1):77-83.[doi:10.3969/j.issn.1001-0505.2000.01.015]
点击复制

一种基于有色Petri网的知识库验证方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
30
期数:
2000年第1期
页码:
77-83
栏目:
自动化
出版日期:
2000-01-20

文章信息/Info

Title:
A Knowledge Verification Method Based on Color Petri Net
作者:
姜浩 罗军舟 方宁生
东南大学计算机科学与工程系, 南京 210096
Author(s):
Jiang Hao Luo Junzhou Fang Ningsheng
Department of Computer Science and Engineering, Southeast University, Nanjing 210096
关键词:
知识库 知识验证 有色Petri网 人工智能
Keywords:
knowledge base knowledge verification color Petri net artificial intelligence
分类号:
TP18
DOI:
10.3969/j.issn.1001-0505.2000.01.015
摘要:
以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证判定准则的实例.
Abstract:
Based on color Petri net, after enhancing its necessary functions, to counter main contents of knowledge verification, this paper builds the color Petri net model of knowledge representation, advances a simple and effective direct knowledge base verification method based on color Petri net and provides judge rules of verification. Finally, an example is given to demonstrate the knowledge represent model and judge rules of verification.

参考文献/References:

[1] Lee S,O’Keefe R.Developing a strategy for expert system verification and validation,IEEE Trans System,Man,Cybern,1994,24(4):643~655
[2] 袁崇义.Petri网原理.北京:电子工业出版社,1998.12~24
[3] 姜浩.基于模糊Petri网的不精确知识表示及其推理方法.计算机科学,1999,(增刊):159~161
[4] Lin Chuang.Logical inference of Horn clauses in Petri net models.IEEE Trans Knowledge and Data Engineering,1993,5(3):416~425
[5] Yao Yulin.A Petri net model for temporal knowledge representation and reasoning,IEEE Trans System,Man,Cybern,1994,24(9):1374~1382
[6] Zhang Du,Nguyen Doan.PREPARE:A tool for knowledge base verification,IEEE Trans Knowledge and Data Engineering,1994,6(5):983~989
[7] Nazareth D.Investigating the applications of Petri nets for rule-based system verification,IEEE Trans,Knowledge and Data Engineering,1993,5(3):402~415
[8] Wu Chih-hung,Lee Shie-jun.Knowledge verification with an enhanced high-level Petri net,IEEE Expert,1997,12(5):73~80
[9] Wu Chih-hung.Enhanced high-level Petri net with multiple colors for knowledge V/V of rule-based expert Systems,IEEE Trans System,Man,Cybern,1997,27:760~773
[10] 陈文伟.智能决策技术.北京:电子工业出版社,1998.64~81
[11] Hoppe T,Meseguer P.VVT terminology:a proposal.IEEE Expert,1993,8(3):48~55
[12] Lin C P.Design,verification and implementation of rule based information systems for integrated manufacturing:[Ph.D.Thesis].USA:The University of Maryland,1992
[13] Jensen Kurt.An introduction to theoretical aspects of colored Petri net.In:Lecture Notes in Computer Science (803).UK:Springer-Verlag,1994.230~272

备注/Memo

备注/Memo:
基金项目:国家863项目(863-511-946-001)、江苏省自然科学基金项目(BK97003)和国家教育部“计算机网络和信息集成”重点实验室基金项目资助.
第一作者:男,1958年生,硕士,副教授.
更新日期/Last Update: 2000-01-20