定义设D是谓词式P的非空个体域,若对P中的个体常量、.pptVIP

“张不肯学习但他是幸运的” ￢Study(zhang)∧ Lucky(zhang) “任何幸运的人都能获奖” （ x）(Lucky(x) → Win(x,prize) 结论“张是快乐的”的否定 ￢Happy（zhang） 将上述谓词公式转化为子句集如下： （1）┐ Pass（x， computer） ∨ ┐ Win（x， prize） ∨ Happy（x） （2） ┐Study（y） ∨ Pass（y， z） （3）┐Lucky（u） ∨ Pass（u，v） （4） ┐Study（zhang） （5） Lucky（zhang） （6）┐ Lucky（w） ∨ Win（w， prize) （7）┐ Happy（zhang）（本子句为结论的否定） 按谓词逻辑的归结原理对此子句集进行归结，其归结反演过程如下页图所示。由于归结出了空子句，这就证明了张是快乐的。 “李明能看书且不贫穷” Read（liming）∧￢Poor（liming） “快乐的人过着激动人心的生活” （ z）（Happy(z)→Exciting(z)） 目标“李明过着激动人心的生活”的否定 ￢Exciting（1iming） 将上述谓词公式转化为子句集如下： （1）Poor（x）∨￢Smart（x）∨ Happy（x） （2）￢ Read（y）∨ Smart（y） （3） Read（liming） （4）￢Poor（liming）  （5）￢Happy（z）∨ Exciting（z） （6）￢Exciting（liming） 按谓词逻辑的归结原理对此子句集进行归结，其归结反演过程如下页图所示。由于归结出了空子句，这就证明了李明过着激动人心的生活。 习题： 已知：张和李是同班同学，如果x和y是同班同学，则x的教室也是y的教室，现在张在6O6教室上课。 问：现在李在哪里上课？ * * 定义：设D是谓词公式P的非空个体域，若对P中的个体常量、函数和谓词按如下规定赋值 （1）为每个个体常量指派D中的一个元素； （2）为每个n元函数指派一个从Dn到D的一个映射，其中 Dn ∈{(x1,x2,……xn)|x1,x2,……,xn ∈ D} （3）为每个n元谓词指派一个从Dn到{T,F}的映射 则称这些指派为P在D上的一个解释。 谓词逻辑（推理） 推理的逻辑基础 谓词公式的范式 范式是公式的标准形式，公式往往需要变换为同它等价的范式，以便对它们作一般性的处理。在谓词逻辑中，根据量词在公式中出现的情况可将谓词公式的范式分为两种。 1．前束范式 定义：设F为一谓词公式，如果其中的所有量词均非否定地出现在公式的最前面，而它们的辖域为整个公式，则称F为前束范式。一般地，前束范式可写成: （Q1x1）…（Qnxn）M(x1,x2,……,xn)其中，Qi（i=1，2，…，n）为前缀，它是一个由全称量词或存在量词组成的量词串； M(x1,x2,……,xn)为母式，它是一个不含任何量词的谓词公式。 例如，（ x）( y）(彐z）(P(x) ∧Q(y,z)∨R(x,z)）是前束范式。 任一谓词公式均可化为与其对应的前束范式，其化简方法将在后面子句集的化简中讨论。 2．Skolem范式 定义：如果前束范式中所有的存在量词都在全称量词之前，则称这种形式的谓词公式为Skolem范式。 例如，（彐x）（彐z）（ y）（P(x)∨ Q(y，z)∧ R(x，z))是Skolem范式。 任一谓词公式均可化为与其对应的Skolem范式，其化简方法也将在后面子句集的化简中讨论。 例 ： “快乐学生”问题。假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。 求证：张是快乐的。 解：先将问题用谓词表示如下： “任何通过计算机考试并获奖的人都是快乐的” （ x）(Pass(x，computer)∧Win(