论文部分内容阅读
本文首先通过建立一种状态分析方法,证明了RETE算法所保存的中间状态集IS(P<sub>1</sub>)的不完备性,论述了RETE算法用于并行处理的局限性以及产生式间状态处理时间的差异.然后,提出了一种产生式系统并行选择全状态处理模型RETE<sup>+</sup>,证明了RETE<sup>+</sup>所处理的全状态集FS(P<sub>j</sub>)具有准完备性质.计算表明,RETE<sup>+