2 基于经典逻辑的检测方法
静态检测：知识输入之前由领域专家及知识工程师所作的检查工作
动态检测：在输入过程中以及对知识库进行增删改时由系统所进行的检查
基于经典逻辑的检测方法
基于Petri网的检测方法
(1)逻辑表达式等价性检测
检测之前统一地变换为合取式
进行合取式的比较
(2)冗余的检测
等价规则的检测：检验两条规则的条件部分，结论部分是否等价
冗余规则的检测
建立两张二维表
IF-IF表：存放不同规则条件部分的比较结果
THEN-THEN:存放不同结论部分的比较结果
根据IF--IF表取出两条其条件部分等价的规则，分别为他们各建立一个推理表
图中的每一个节点表示一条规则，图中的弧表示一条规则的结论将作为另一条规则的条件

点击看详解及大图