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