·动态检测：在输入过程中以及对知识库进行增 删改时由系统所进行的检查 一基于经典逻辑的检测方法 一基于Petri网的检测方法 (1)逻辑表达式等价性检测 ·检测之前统一地变换为合取式 ·进行合取式的比较 (2)冗余的检测 。等价规则的检则：检验两条规贝则的条件部分， 结论部分是否等价 • 动态检测：在输入过程中以及对知识库进行增 删改时由系统所进行的检查 –基于经典逻辑的检测方法 –基于Petri网的检测方法 (1)逻辑表达式等价性检测 • 检测之前统一地变换为合取式 • 进行合取式的比较 (2)冗余的检测 • 等价规则的检测：检验两条规则的条件部分， 结论部分是否等价