华工人工智能老师上课课件第三章.pptVIP

《人工智能原理》第三章 归结推理方法 Herbrand定理 问题： 一阶逻辑公式的永真性（永假性）的判定是否能在有限步内完成？ 《人工智能原理》第三章 归结推理方法 Herbrand定理 1936年图灵(Turing)和邱吉(Church)互相独立地证明了： “没有一般的方法使得在有限步内判定一阶逻辑的公式是否是永真（或永假）。但是如果公式本身是永真（或永假）的，那么就能在有限步内判定它是永真（或永假）。对于非永真（或永假）的公式就不一定能在有限步内得到结论。判定的过程将可能是不停止的。” 《人工智能原理》第三章 归结推理方法 Herbrand定理 Herbrand的思想 定义： 公式G永真：对于G的所有解释，G都为真。 思想： 寻找一个已给的公式是真的解释。然而，如果所给定的公式的确是永假的，就没有这样的解释存在，并且算法在有限步内停止。 《人工智能原理》第三章 归结推理方法 Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 《人工智能原理》第三章 归结推理方法 谓词归结子句形( Skolem 标准形) 例:将下式化为Skolem标准形： ～(?x)(?y)P(a, x, y) →(?x)(～(?y)Q(y, b)→R(x)) 解：第一步，消去→号，得： ～(～(?x)(?y)P(a, x, y)) ∨(?x) (～～(?y)Q(y, b)∨R(x)) 第二步，～深入到量词内部，得： (?x)(?y)P(a, x, y) ∨(?x) ((?y)Q(y, b)∨R(x)) 第三步，变元易名，得 (?x)((?y)P(a, x, y) ∨(?u) (? v)(Q(v, b) ∨R(u)) 第四步，存在量词左移，直至所有的量词移到前面，得： (?x) (?y) (?u) (? v)P(a, x, y) ∨(Q(v, b) ∨R(u)) 由此得到前述范式 《人工智能原理》第三章 归结推理方法 谓词归结子句形( Skolem 标准形) 第五步，消去“?”（存在量词），略去“?”全称量词 消去(?y)，因为它左边只有(?x)，所以使用x的函数f(x)代替之，这样得到： (?x)(?z)( P(a, x, f(x)) ∧～Q(z, b)∧～R(x)) 消去(?z)，同理使用g(x)代替之，这样得到： (?x) ( P(a, x, f(x)) ∧～Q(g(x), b)∧～R(x)) 则，略去全称变量，原式的Skolem标准形为： P(a, x, f(x)) ∧～Q(g(x), b)∧～R(x) 《人工智能原理》第三章 归结推理方法 谓词归结子句形 子句与子句集 文字：不含任何连接词的谓词公式。 子句：一些文字的析取（谓词的和）。 子句集S的求取： G → SKOLEM标准形 → 消去存在变量 → 以“，”取代“Λ”，并表示为集合形式 。 《人工智能原理》第三章 归结推理方法 谓词归结子句形 G是不可满足的= S是不可满足的 G与S不等价，但在不可满足得意义下是一致的。 定理： 若G是给定的公式，而S是相应的子句集，则G是不可满足的= S是不可满足的。 注意：G真不一定S真，而S真必有G真。 即： S = G 《人工智能原理》第三章 归结推理方法 谓词归结子句形 G = G1Λ G2Λ G3Λ …Λ Gn 的子句形 G的字句集可以分解成几个单独处理。 有 SG = S1 U S2 U S3 U …U Sn 则SG 与 S1 U S2 U S3 U …U Sn在不可满足得意义上是一致的。 即SG 不可满足 = S1 U S2 U S3 U …U Sn不可满足 《人工智能原理》第三章 归结推理方法 求取子句集例(1) 例：对所有的x,y,z来说，如果y是x的父亲，z又是y的父亲，则z是x的祖父。又知每个人都有父亲，试问对某个人来说谁是它的祖父？ 求：用一阶逻辑表示这个问题，并建立子句集。 解：这里我们首先引入谓词： P(x, y) 表示x是y的父亲 Q(x, y) 表示x是y的祖父 ANS(x) 表示问题的解答 《人工智能原理》第三章 归结推理方法 求取子句集例(2) 对于第一个条件，“如果x是y 的父亲， y又是z 的父亲，则x是z 的祖父”，一阶逻辑表达式如下： A1：(?x)(?y)(?z)(P(x, y)∧P(y, z)→Q(x, z)) S A1：～P(x ,y)∨～P(y, z)∨Q(x, z) 对于第二个条件：“每个人都有父亲”，一阶逻辑表达式： A2：(?y)(?x)P(x, y) S A2：P(f(y), y) 对于结论：某个人是它