论文部分内容阅读
基于规则系统是目前应用较为广泛的一类专家系统，但它的知识库不易维护。本文针对基于规则系统的一致性问题，应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法，提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较，并在含约束Ｐｅｔｒｉ网模型基础上，提出了一致性检验的命题方法，最后以实例说明该方法的实现步骤。当规则库较大时，相应的Ｐｅｔｒｉ网模型可能也会很庞