ParaRete:一种基于RETE算法的并行性匹配算法

摘要

基于规则的产生式系统是人工智能的一个重要研究领域,其系统中规则库和事实库的规模往往很大,90％的运行时间都花费在了模式匹配中.因此,提高匹配的速度和效率尤为关键.RETE模式匹配算法解决了多模式/多对象的匹配中效率低的问题,并且已经成功地应用到ART,OPS5,OPS83,CLIPS,JESS等著名的产生式系统中.多处理机是当前计算机研究的一个重要领域，与单处理机相比，多处理机具有高可靠性与快速处理能力。因此RETE匹配算法在多处理机环境中的实现及其并行性改进成为当前研究的热点。 本文研究这一算法在多处理机中的实现，指出了实现时的瓶颈问题，有针对的提出了一种并行性实现算法ParaRete，并分析了这一算法的并行性表现。