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

《人工智能原理》第三章 归结推理方法 Herbrand定理 问题： 一阶逻辑公式的永真性（永假性）的判定是否能在有限步内完成？ 《人工智能原理》第三章 归结推理方法 Herbrand定理 1936年图灵(Turing)和邱吉(Church)互相独立地证明了： “没有一般的方法使得在有限步内判定一阶逻辑的公式是否是永真（或永假）。但是如果公式本身是永真（或永假）的，那么就能在有限步内判定它是永真（或永假）。对于非永真（或永假）的公式就不一定能在有限步内得到结论。判定的过程将可能是不停止的。” 《人工智能原理》第三章 归结推理方法 Herbrand定理 Herbrand的思想 定义： 公式G永真：对于G的所有解释，G都为真。 思想： 寻找一个已给的公式是真的解释。然而，如果所给定的公式的确是永假的，就没有这样的解释存在，并且算法在有限步内停止。 《人工智能原理》第三章 归结推理方法 Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 《人工智能原理》第三章 归结推理方法 Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 《人工智能原理》第三章 归结推理方法 Herbrand定理（H域） 基本方法： 因为量词是任意的，所讨论的个体变量域D是任意的，所以解释的个数是无限、不可数的 。 简化讨论域。建立一个比较简单、特殊的域，使得只要在这个论域上，该公式是不可满足的。 此域称为H域。 《人工智能原理》第三章 归结推理方法 D域 H域 H域与D域关系示意图 《人工智能原理》第三章 归结推理方法 H域例题 设子句集S = { P(x), Q(y,f(z,b)),R(a)}，求H域 解： H0 ＝ {a, b}为子句集中出现的常量 H1 ＝ {a, b, f(a,b), f(a,a), f(b,a), f(b,b)} H2 ＝ { a, b, f(a,b), f(a,a), f(b,a), f(b,b)， f(a,f(a,b)), f(a,f(a,a)), f(a, f(b,a)), f(a, f(b,b)), f(b,f(a,b)), f(b,f(a,a)), f(b, f(b,a)), f(b,f(b,b)), f(f(a,b),f(a,b)), f(f(a,b),f(a,a)), f(f(a,b), f(b,a)), f(f(a,b), f(b,b)), f(f(a,a),f(a,b)), f(f(a,a),f(a,a)), f(f(a,a), f(b,a)), f(f(a,a), f(b,b)), f(f(b,a),f(a,b)), f(f(b,a),f(a,a)), f(f(b,a), f(b,a)), f(f(b,a), f(b,b)), f(f(b,b),f(a,b)), f(f(b,b),f(a,a)), f(f(b,b), f(b,a)), f(f(b,b), f(b,b))} ……… H∞ = H1∪H2∪H3……… 《人工智能原理》第三章 归结推理方法 Herbrand定理（H域） 几个基本概念 f（tn）：f为子句集S中的所有函数变量。t1, t2, …tn为S的H域的元素。通过它们来讨论永真性。 原子集A：谓词套上H域的元素组成的集合。如 A = {所有形如 P(t1, t2, …tn)的元素} 即把H中的东西填到S的谓词里去。S中的谓词是有限的，H是可数的，因此，A也是可数的。 《人工智能原理》第三章 归结推理方法 原子集例题 上例题的原子集为： A = { P(a), Q(a, a), R(a), P(b), Q(b, a), Q(b, b), Q(a, b), R(b), P( f(a,b)), Q(f(a, b), f(a, b)), R(f(a, b), P(f(a,a)), P(f(b,a)), P(f(b,b)),……) 一旦原子集内真值确定好（规定好），则S在H上的真值可确定。成为可数问题。 《人工智能原理》第三章 归结推理方法 Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 《人工智能原理》第三章 归结推理方法 Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 《人工智能原理》第三章 归结推理方法 Herbrand定理（H解释） 解释I：谓词公式G在论域D上任何一组真值的指定称为一个解释。 H解释：子句集S在的H域上的解释称为H解释。 问题： 对于所有的解释，全是假才可判定。因为所有解释代表了所有的情况，如可穷举，问题便可解决 。 《人工智能原理》第三章 归结推理