基于扩展Petri网的ECA规则集表示及终止性分析

摘要

ECA 规则可以有效地表示主动性知识,是知识表示与推理领域的研究热点之一。复合事件、复合条件和事件消耗模式是ECA 规则的重要结构特性,对ECA 规则的结构和行为特性具有重要影响。现有ECA 规则的表示模型只是部分包含上述结构特性。为了综合分析这些结构特性对ECA 规则集的表示和可终止性的影响,扩展传统有色Petri 网,提出了一种可描述ECA 规则的扩展Petri 网模型 (EPN),设计了ECA 规则集的EPN 网转化算法,并基于所提出的EPN 网模型,提出了一种有效的ECA 规则集静态终止性判定算法,能够综合分析复合事件、复合条件对ECA 规则集的可终止性判定的影响，与现有ECA 规则集终止性判定算法相比, 所提出的算法具有更好的准确性和实用性。