[发明专利]一种主动规则集终止性判定方法

权利要求书

1.一种主动规则集终止性判定方法，其特征在于，根据复合条件分解图判定主动规则集终止性，所述判定方法包括：判断所述复合条件分解图是否存在惰化边，当判断结果为否，则主动规则集为无限循环；当判断结果为是，则确定所述惰化边的数值，当所述惰化边数大于1或者等于1，则所述主动规则集终止，当所述惰化边数小于1，则所述主动规则集无限循环。

2.根据权利要求1所述的主动规则集终止性判定方法，其特征在于，所述复合条件分解图包括所述复合条件活化图和所述复合条件惰化图。

3.根据权利要求1或2所述的主动规则集终止性判定方法，其特征在于，所述复合条件分解图中的复合条件满足所述主动规则集的条件是多个条件的逻辑与运算表达式。

4.根据权利要求2所述的主动规则集终止性判定方法，其特征在于，在所述主动规则集上的所述复合条件活化图是由<R，CCAE>构成的有向图，

其中，R为任意主动规则集，r∈R表示规则结点，r的条件是由k个子条件组成的复合条件，其中，1≤k≤n，n是有限正整数；

ri表示第一规则，rj表示第二规则，有向边(ri，rj)∈CCAE表示ri的执行使rj的第m个子条件为真，其中，1≤m≤k，子条件活化边用点划线表示，并在边上标明活化的子条件序号，如果活化全部子条件省略条件序号。

5.根据权利要求2所述的主动规则集终止性判定方法，其特征在于，在所述主动规则集上的所述复合条件惰化图是由<R′，CCDE>构成的有向图，

其中，R′为任意主动规则集，r′∈R′表示规则结点，r′的条件是由k′个子条件组成的复合条件，其中，1≤k′≤n，n是有限正整数；

ri′表示第三规则，ri′表示第四规则，有向边(ri′，rj′)∈CCDE表示ri′的执行使ri′的第m′个子条件为假，其中，1≤m′≤k′，子条件惰化边用双虚线表示，并在边上标明惰化的子条件序号，如果惰化全部子条件省略条件序号。

6.根据权利要求2所述的主动规则集终止性判定方法，其特征在于，所述主动规则集终止性判定方法对应的计算机语言为判定主动规则集终止性的算法，所述算法的步骤包括：

a.建立所述主动规则集的触发图、复合条件活化图和复合条件惰化图，删除不在任何触发环中或者不能被任何触发环触发可达的结点；

b.如果没有触发环，所述主动规则集判断为终止；

c.如果有触发环，记录子条件惰化边终点规则被惰化的子条件序号；

d.如果有子条件活化边指向所述规则，记录所述规则被活化的子条件序号；

e.如果活化发生在惰化后并且所述被惰化的子条件序号与所述被活化的子条件序号相等，删除所述被惰化的子条件序号的子条件惰化边；

f.如果图中惰化边数大于1或者等于1，所述主动规则集终止，否则，所述主动规则集无限循环。

7.一种主动规则集终止性判定系统，其特征在于，包括：复合条件活化单元、复合条件惰化单元、判定单元、信号单元，所述复合条件活化单元与所述复合条件惰化单元进行交互生成信号输入所述判定单元，所述判定单元对主动规则集终止性进行判断，将判断信号输入信号单元，由所述信号单元显示主动规则集终止性判断结果。

8.根据权利要求7所述的主动规则集终止性判定系统，其特征在于，所述复合条件活化单元生成复合条件活化图，所述复合条件惰化单元生成复合条件惰化图，所述复合条件活化图与所述复合条件惰化图包括在复合条件分解图中。

9.根据权利要求7或8所述的主动规则集终止性判定系统，其特征在于，所述判定单元的判定方法包括：判断所述复合条件分解图是否存在惰化边，当判断结果为否，则主动规则集为无限循环；当判断结果为是，则确定所述惰化边的数值，当所述惰化边数大于1或者等于1，则所述主动规则集终止，当所述惰化边数小于1，则所述主动规则集无限循环。