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

Enhanced High-level Petri Net Based Knowledge Verification for the Rule-based System

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

An enhanced high level Petri net model for RBS is presented and the colored EHLPn is applied to knowledge verification for the RBS with variable and negation. The rule set with variable could be considered as a transforming model between multi knowledge expressions. So that there is a practical role to modeling such a rule set and discussing its knowledge verification in Petri net.