快速专家系统设计的新方法

本文提出了一种采用布尔代数公式替代传统的分级规则对专家系统进行快速求解的新方法。这种新方法由两种算法组成，这两种算法应用于将传统分级规则转换成布尔代数表达式之后。第一种算法自动地将这些表达式化简，并消除所有的中间结果。这些表达式只相当于逻辑网络中的两级，它能使各规则所需的输入数据（或事实前提）的数量尽可能地减少。这种算法在基于规划系统的压缩中具有广泛的应用，并且使在特殊求解过程中使用高速的位匹配成