摘要
针对含有变量和非事件的规则系统 ,提出了基于增强高级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.
出处
《高技术通讯》
EI
CAS
CSCD
2000年第4期58-63,共6页
Chinese High Technology Letters
基金
863计划资助项目!(8632451)