OPS5并行选择全状态处理模型RETE-Plus及其算法  

RETE-plus: A Model of Parallel Selection and Full State Processing for OPS5 and Its Algorithm

作　　者：王文敏[1] 陈光熙[1] 胡铭曾[1] 

机构地区：[1]哈尔滨工业大学,150006

出　　处：《计算机研究与发展》1992年第9期20-26,共7页Journal of Computer Research and Development

摘　　要：本文首先通过建立一种状态分析方法,证明了RETE算法所保存的中间状态集IS(P_1)的不完备性,论述了RETE算法用于并行处理的局限性以及产生式间状态处理时间的差异.然后,提出了一种产生式系统并行选择全状态处理模型RETE^+,证明了RETE^+所处理的全状态集FS(P_j)具有准完备性质.计算表明,RETE^+的状态处理时间比RETE快得多,并且消除了状态处理时间差异.最后给出了RETE^+模型的主要算法.First, the non-completeness of the intermediate state set IS(P_j) stored by memories in RETE algorithm is demonstrated in this paper, on the basis of a state analyzing method that we proposed. The limitation and the time variances in using RETE to parallel processing are analysed. Next, RETE^+, a model of parallel selection and full state processing for OPS 5 production system is presented and the almost-completeness of the full state set FS(P_j) processed by RETE^+ is demonstrrated. The calculated results show that the processing time of RETE^+ is by far faster than RETE and the time variances in state processing is eliminated. Last, the main algorithm for RETE^+ model is described.

关 键 词：RETE算法 产生式系统 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]