人工智能原理ch452013.pptVIP

在基于规则的正向演绎系统中，所要做的第一步是将其变换（或叫化成）非蕴含形式的与或形。要把一个公式化成与或形，可利用以下恒等式或方法： (1) W1=W2 = W1∨W2（利用恒等式，去蕴含符号），在事实表达式中，很少有=符号出现 (2) 用德.摩根公式（定律）把否定符号移进括号内，直到每个否定符号都只含一个谓词为止。 (3) 对所得表达式进行skelem化，消除存在性量词。 X Y mother(Y , X) X mother( f(X) , X ) (4) 删去全称量词，而余下的变量都被认为具有全称量化作用。 Q(V, f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} 2. 事实表达式的与或图表示 根节点 Q(V,f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} 与、合取 Q(V,f(V)) [(R(V)∧P(V))]∨S(f(V),V) 或、析取 R(V)∧P(V) S(f(V),