一种主动规则集终止性判定方法

摘要

本发明提出了主动规则集终止性判定方法，根据复合条件分解图判定主动规则集终止性，判定方法包括：判断复合条件分解图是否存在惰化边，当判断结果为否，主动规则集为无限循环；当判断结果为是，则确定惰化边的数值，当惰化边数大于1或者等于1，主动规则集终止，当惰化边数小于1，主动规则集无限循环。本发明还提供主动规则集终止性判定系统，包括：复合条件活化单元、复合条件惰化单元、判定单元、信号单元，判定单元对主动规则集终止性进行判断，将判断信号输入信号单元。本发明充分考虑一个规则的执行对其他规则的子条件的影响，用现有方法判定为可终止的主动规则集，使用本发明进行判定后可确定为无限循环，提高了主动规则集判定的准确性。

主权项

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