基于增强高级Petri网的规则系统一致性问题检查

摘要：

针对含有变量和非事件的规则系统,提出了基于增强高级Petri网的RBS建模,并应用着色方法对上述规则系统进行知识一致性检查.提出的含变量的规则表示可以是一种多种知识表示形式之间的转换模型,因此,对其进行Petri网建模和一致性分析具有实际意义.

关键词：基于规则系统、一致性检查、Petri网、着色

所属期刊栏目：10

分类号：TP3(计算技术、计算机技术)

资助基金：新材料领域项目863-2-4-5-1

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：58-63