产生式知识库的不动点计算建模方法

提出了利用产生式规则的过程性特征对产生式知识库进行建模的方法.该方法在给出条件迁移定义的基础上引入不动点计算构建条件迁移系统,将模型构建过程转换为求解状态集合构造函数最小不动点的过程,并给出了求解算法的正确性与可终止性证明;该方法的时间复杂度相对静态建模方法降低了一个量级,构造的条件迁移系统包含了状态迁移过程的完整信息,同时解决了静态建模方式构建的迁移系统信息丢失问题,提高了错误诊断的效率.