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

• 作者: 姜浩 方宁生 罗军舟
• 来源期刊: 东南大学学报(自然科学版)
• 学科: 工学
• 关键词: 知识库 知识验证 有色Petri网 人工智能
• 年，卷（期）: 2000,（1）
• 页码范围: 77-83
• 页数: 7页
• 分类号: TP18
• 字数: 382字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2000.01.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜浩	东南大学计算机科学与工程系	48	786	15.0	26.0
2	罗军舟	东南大学计算机科学与工程系	165	4086	26.0	60.0
3	方宁生	东南大学计算机科学与工程系	21	223	7.0	14.0