智能,第三章2.pptVIP

. 原子集例题 上例题的原子集为： 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解释。 问题： 对于所有的解释，全是假才可判定。因为所有解释代表了所有的情况，如可穷举，问题便可解决 。 * . Herbrand定理（H解释） 如下三个定理保证了归结法的正确性： 定理1： 设I是S的论域D上的解释，存在对应于I的H解释I*，使得若有S|I = T，必有 S|I* = T。 定理2： 子句集S是不可满足的，当且仅当所有的S的H解释下为假。 定理3： 子句集S是不可满足的，当且仅当对每一个解释I下，至少有S的某个子句的某个基例为假。 * . Herbrand定理（H解释） 基例 S中某子句中所有变元符号均以S的H域中的元素代入时，所得的基子句C’称为C的一个基例。 若一个子句为假，则此解释为假。 一般来说，D是无穷不可列的，因此，子句集S也是无穷不可列的。但S确定后H是无穷可列的。不过在H上证明S的不可满足性仍然是不可能的。 解决问题的方法：语义树 * . Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 * . Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 * . Herbrand定理（语义树） 构成方法 原子集中所有元素逐层添加的一棵二叉树。将元素的是与非分别标记在两侧的分枝上（可不完全画完） 。 特点 一般情况H是无限可数集，S的语义树是无限树。 * . N0 P(a) N12 Q(a) P(f(a)) N24 N31 N38 无限语义树 N11 ~P(a) ~Q(a) Q(a) ~Q(a) ~P(f(a)) N21 S＝{～P(x)∨Q(x)，P(f(y))，～Q(f(y))} * . Herbrand定理（语义树） 意义 S ? H ? A ?语义树 可以理解语义树为H域的图形解释。 目的：把每个解释都摊开。语义树中包含原子集的全部元素。因此，语义树是完全的。每一个直到叶子节点的分支对应S的一个解释。可以通过对语义树每一个分支来计算S的真值。如果每个基例都为假，则可认为是不可满足的。 * . Herbrand定理（语义树） 几个概念 失败结点： 当（由上）延伸到点N时，I(N)已表明了S的某子句的某基例为假。但N以前尚不能判断这个事实。就称N为失败结点。 封闭语义树： 如果S的完全语义树的每个分枝上都有一个失败结点，就称它是一棵封闭语义树。 * . N0 P(a) N1,2 Q(a) P(f(a)) N2,4 N3,1 N3,8 N1,1 N4,2 N4,1 N2,1 N3,2 N2,2 N3,6 N4,9 N4,10 N4,13 N4,14 封闭语义树 Q(f(a)) S＝{～P(x)∨Q(x)，P(f(y))，～Q(f(y))} * . Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 * . Herbrand定理 H域 H解释 语义树 结论：Herbrand定理 * . Herbrand定理（结论） Herbrand定理： 子句集S是不可满足的，当且仅当对应于S的完全语义数是棵有限封闭树。 子句集S是不可满足的，当且仅当存在不可满足的S的有限基例集。 * . Herbrand定理（结论） 定理的意义 Herbrand定理已将证明问题转化成了命题逻辑问题。 由此定理保证，可以放心的用机器来实现自动推理了。（归结原理） 注意 Herbrand定理给出了一阶逻辑的半可判定算法，即仅当被证明定理是成立时，使用该算法可以在有限步得证。而当被证定理并不成立时，使用该算法得不出任何结论。 但是 ? ? ? ? ? ? ? ? ? ? ? ? ? * . Herbrand定理（结论） 仍存在的问题： 基例集序列元素的数目随子句集的元素数目