一种基于有色Petri网的知识库验证方法

被引:9
作者
姜浩
罗军舟
方宁生
机构
[1] 东南大学计算机科学与工程系!南京
关键词
知识库; 知识验证; 有色Petri网; 人工智能;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 .
引用
收藏
页码:77 / 83
页数:7
相关论文
共 2 条
[1]  
智能决策技术.[M].陈文伟编著;.电子工业出版社.1998,
[2]  
Petri网原理.[M].袁崇义著;.电子工业出版社.1998,