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

计算机研究与发展 ISSN 1000-1239/CN 11-1777/TP Journal of Computer Research and Development 43(5): 901-907 , 2006 基于活化路径和条件公式的主动规则集可终止性判定方法 然中敏l 都忠字1.2.3 1(哈尔滨理工大学计算机科学与技术学院 哈尔滨 150080) 2( 哈尔滨工业大学计算机科学与技术学院 哈尔滨 150001) 3( 齐齐哈尔大学计算机与控制工程学院 齐齐哈尔 161006) (zhmxiong123@yahω. com.cn) An Approach to Termination Decision for a Rule Set ßased on Activation Path and Conditional Formula 1 1 2 3 Xiong Zhongmin and Hao Zhongxiao . . 1(仇llege of 仇mρuter Science