人工智能原理ch4553.pptVIP

5.1.1 规则正向演绎系统 (事实、规则、目标) 在基于规则的系统中，无论是规则演绎系统或规则产生式系统，均有两种推理方式，即正向推理和逆向推理。从IF部分向THEN部分推理的过程，叫做正向推理。也就是说，正向推理是从事实或状况向目标或动作进行操作的。反之，对于从THEN部分向IF部分推理的过程，叫做逆向推理。逆向推理是从目标或动作向事实或状况进行操作的。 1. 事实表达式的与或形变换 通常用谓词演算公式来表示事实（用作事实表达式）。如事实表达式： ( U)( V){Q(V,U)∧[(R(V)∨P(V))∧S(U,V)]} 通常还存在蕴含关系。 第三十一页，共五十四页。 在基于规则的正向演绎系统中，所要做的第一步是将其变换（或叫化成）非蕴含形式的与或形。要把一个公式化成与或形，可利用以下恒等式或方法： (1) W1=W2 = W1∨W2（利用恒等式，去蕴含符号），在事实表达式中，很少有=符号出现 (2) 用德.摩根公式（定律）把否定符号移进括号内，直到每个否定符号都只含一个谓词为止。 第三十二页，共五十四页。 (3) 对所得表达式进行skelem化，消除存在性量词。 X Y mother(Y , X) X mother( f(X) , X ) (4) 删去全称量词，而余下的变量都被认为具有全称