一个快速命题模式匹配算法

摘要

工业专家系统必须具有良好的实时性能.由于专家系统的模式匹配工作占用了系统大量的运行时间,因此提高模式匹配的速度对改进专家系统的实时性能是至关重要的,本文提出了一个适用于动态环境的快速命题模式匹配算法.此算法是建立在一个称为命题识别网的表达方式的基础上.算法的复杂性分析和计算例子表明这个算法可以有效地减少模式匹配与推导的次数.