论文部分内容阅读
针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性，从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题．提出了利用基于活化路径建立的条件公式进行判定的方法，结果表明该方法可以比现有方法发现更多的可终止性情形．对主动规则集的设计和应用具有一定的意义．