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

被引：9

作者：

姜浩

罗军舟

方宁生

机构：

[1] 东南大学计算机科学与工程系!南京

来源：

关键词：

知识库; 知识验证; 有色Petri网; 人工智能;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

以有色Petri网为基础 ,在经过了必要的功能扩充后 ,针对知识验证的主要内容 ,建立了有色Petri网的知识表示模型 ,提出了一种简洁有效的、基于有色Petri网的知识库验证方法 ,并给出了相应的判定准则 ,最后给出了一个说明知识表示模型和知识验证判定准则的实例 .

引用

页码：77 / 83

页数：7