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

目标公式的与/或形变换 例如，有如下目标公式： (?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(f(z))； Q(f(y), y)∧? R(f(y))； Q(f(y), y)∧? S(y) 用归结反演求取问题的答案 求解过程如下图所示。该证明树的根子句就是所求的答案，即“李明在302教室”。 ﹁At(li,v)∨At(li,v) ﹁C(x, y)∨﹁At(x, u)∨At(y, u) At(li,v)∨﹁ C(x, li)∨﹁At(x, v) C(zhang, li) ﹁ At(zhang,v)∨At(li, v) At(zhang, 302) At(li, 302) {li/y,v/u} {Zhang/x} {302/v} 用归结反演求取问题的答案 例2： 已知：A,B,C三人中有人从不说真话，也有人从不说假话。某人向这三人分别提出同一个问题：谁是说谎者？ A答：“B和C都是说谎者”； B答：“A和C都是说谎者”； C答：“A和B中至少有一个是说谎者”。 问：求谁是老实人，谁是说谎者？ 解：首先定义谓词 T(x)：表示x说真话 用归结反演求取问题的答案 把已知前提用谓词公式表示如下： 有人从不说真话：?T(C)∨?T(A)∨?T(B) 有人从不说假话：T(C)∨T(A)∨T(B) 若A说真话：T(A)→?T(B)∧?T(C) 若A说假话： ?T(A)→T(B)∨T(C) 同理： T(B)→?T(A)∧?T(C) ?T(B)→T(A)∨T(C) T(C)→?T(A)∨?T(B) ?T(C)→T(A)∧T(B) 用归结反演求取问题的答案 把上述公式化成子句集，得到前提子句集S： ?T(A)∨?T(B) ?T(A)∨?T(C) T(C)∨T(A)∨T(B) ?T(B)∨?T(C) ?T(C)∨?T(A)∨?T(B) T(A)∨T(C) T(B)∨T(C) 先求谁是老实人，结论的否定为： ? (?x)T(x) 用归结反演求取问题的答案 把目标的否定化成子句式，并用下面的重言式代替： ?T(x)∨T(x) 把此重言式加入前提子句集S，得到一个新子句集， 对这个新的子句集，应用归结原理求出其证明树。 ?T(A)∨?T(B) T(B)∨T(C) ?T(A)∨T(C) T(A)∨T(C) T(C) ?T(x)∨T(x) T(C) {C/x} C是老实人 用归结反演求取问题的答案 下面证明A不是老实人，结论的否定为： ?T(A) 将结论的否定? (?T(A)) 加入并入前提子句集S中， 应用归结原理对新的子句集进行归结： ?T(A)∨?T(B) T(B)∨T(C) ?T(A)∨T(C) ?T(A)∨?T(C) ?T(A) T(A) NIL 得证。A不是是老实人 同理可证B不是老实人 归结演绎推理 归结演绎推理的优点： 简单，便于在计算机上实现。 归结演绎推理的不足： 必须把逻辑公式化成子句集。 不便于阅读与理解：?P(x)∨Q(x)没有P(x)→Q(x)直观。 可能丢失控制信息，如下列逻辑公式： (?A∧?B)→C ?A→(B∨C) (?A∧?C)→B