人工智能原理c4 and ch5 read.pptVIP

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),V) 叶节点 文字 R(V) P(V) 通常，把事实表达式的与或图表示倒过来画，即把根节点画在最下面，而把其后继节点往上画。 3. 与或图的F规则变换 我们把允许用作规则的公式类型限制为下列形式： L = W 式中，L是单文字；W是与或形表达式 例如：事实表达式：P∨[S∧(T∨U)] 规则：S =(X∧Y)∨Z P∨[S∧(T∨U)] P 析取 S∧(T∨U) S 合取 T∨U  S T U Z X∧Y 应用一条F规则L