● 环路：一组规则形成一条循环连时，它们构成 一个环路 r1:IF P THEN Q ·环路可使推理陷入死循环 r2:IF Q THEN R ·应征求专家意见修改或其 r3:IF R THEN S 中一条规则，破坏环路形成 的条件 r4:IF S THEN P ·不完整：指知识库中的知识不完全，不能满足 预先定义的约束条件：推不出结论，推出结论 不对 2基于经典逻辑的检测方法 ·静态检则：知识输入之前由领域专家及知识工 程师所作的检查工作• 环路：一组规则形成一条循环连时，它们构成 一个环路 r1:IF P THEN Q r2:IF Q THEN R r3:IF R THEN S r4:IF S THEN P • 不完整：指知识库中的知识不完全，不能满足 预先定义的约束条件：推不出结论，推出结论 不对 2 基于经典逻辑的检测方法 • 静态检测：知识输入之前由领域专家及知识工 程师所作的检查工作 •环路可使推理陷入死循环 •应征求专家意见修改或其 中一条规则，破坏环路形成 的条件