第3章四-搜索推理策略人工智能.ppt

目标公式的与/或形变换 例如，有如下目标公式： (?y) (?x)(P(x)→(Q(x)∧?(R(x)∧S(y)))) Skolem化后为 ?P(f(y))∨(Q(f(y), y)∧(?R(f(y))∨?S(y))) 变元换名后为 ?P(f(z))∨(Q(f(y), y)∧(?R(f(y))∨?S(y))) 关于为何需用对偶方式消去量词，这里不作形式证明，仅通过与归结反演方法作对比来加以直观说明：在归结反演中，需将目标公式取反，存在量词约束变量就成为全称量词约束变量。 目标公式的与/或树表示 目标公式的与/或形也可用与/或树表示出来，其表示方法与正向演绎推理中事实的与或树表示略有不同： 子表达式之间的析取关系用单一连接符连接，表示为或的关系； 子表达式之间的合取关系则用k线连接符连接，表示为与的关系。 例如：对上述目标公式的与/或形，可用如下的与/或树表示。 目标公式的与/或树表示 ?P(f(z))∨Q(f(y), y)∧(?R(f(y))∨?S(y)) ?P(f(z)) Q(f(y), y)∧(?R(f(y))∨?S(y)) Q(f(y), y) ?R(f(y))∨?S(y) ?R(f(y)) ?S(y) 若把叶节点用它们之间的合取及析取关系连接起来，就可得到原目标公式的三个子目标： ?P