An Approach to Termination Decision for a Rule Set Based on Activation Path and Conditional Formula

• 基于活化路径和条件公式的主动规则集可终止性判定方法