论文部分内容阅读
针对一个专家系统规则中典型的结构性错误，即冗余、不一致、不完备、循环，文中提出一种使用Petri网来对规则进行验证的方法。首先，把规则正常化为Horn子句。接着，对这些正常化了的规则重新排序。然后，把这些排序好的规则转化成petri网以及相应的关联矩阵。最后，实现基于关联矩阵的规则验证。它由四个阶段组成：规则正常化，规则排序，规则向Petri网的转化和规则验证。