一种用于产生式系统的优化匹配网络

本文分析了用于产生式(规则)系统的多模板一多客体匹配网络的特点及存在的不足,并提出了一种改进的匹配网络:动态编译型匹配网络。它保持了多模板一多客体匹配的基本特点,同时又具有充分共享常量测试模板,便于动态增删网络结点以及可提高运行效率等优点。文中详细描述了这种网络的基本结构及其内部表示的数据结构。本文还讨论了基于这一网络的OPS5产生式语言的运行模型及其解释器的基本工作方式。