谓词逻辑基础.pptVIP

3.2 谓词逻辑基础 一阶逻辑 基本概念 个体词：表示主语的词 谓词：刻画个体性质或个体之间关系的词 量词：表示数量的词 3.2 谓词逻辑基础 小王是个工程师。 8是个自然数。 我去买花。 小丽和小华是朋友。 其中，“小王”、“工程师”、“我”、“花”、“8”、“小丽”、“小华”都是个体词，而“是个工程师”、“是个自然数”、“去买”、“是朋友”都是谓词。显然前两个谓词表示的是事物的性质，第三个谓词“去买”表示的一个动作也表示了主、宾两个个体词的关系，最后一个谓词“是朋友”表示两个个体词之间的关系。 3.2 谓词逻辑基础 3.2 谓词逻辑基础 一阶逻辑 公式及其解释 个体常量：a,b,c 个体变量：x,y,z 谓词符号：P,Q,R 量词符号： ? ,? 3.2 谓词逻辑基础 量词否定等值式： ～(? x ） P（x） = （ ? y ） ～ P（y） ～(? x ） P（x） = （ ? y ） ～ P（y） 量词分配等值式： (? x ）( P（x） ∧ Q（x）) = (? x ） P（x） ∧ (? x ） Q（x） (? x ）( P（x） ∨ Q（x）) = (? x ） P（x） ∨ (? x ） Q（x） 消去量词等值式：设个体域为有穷集合（a1, a2, …an） (? x ） P（x） = P（ a1 ） ∧ P（ a2 ） ∧ … ∧ P（ an ） (? x ）P（x） = P（ a1 ） ∨ P（ a2 ） ∨ … ∨ P（ an ） 3.2 谓词逻辑基础 量词辖域收缩与扩张等值式： (? x ）( P（x） ∨ Q) = (? x ） P（x） ∨ Q (? x ）( P（x） ∧ Q) = (? x ） P（x） ∧ Q (? x ）( P（x） → Q) = (? x ） P（x） → Q (? x ）(Q → P（x） ) =Q → (? x ） P（x） (? x ）( P（x） ∨ Q) = (? x ） P（x） ∨ Q (? x ）( P（x） ∧ Q) = (? x ） P（x） ∧ Q (? x ）( P（x） → Q) = (? x ） P（x） → Q (? x ）(Q → P（x） ) =Q → (? x ） P（x） 3.2 谓词逻辑基础 3.3 谓词逻辑归结原理 SKOLEM标准形 前束范式 定义：说公式A是一个前束范式，如果A中的一切量词都位于该公式的最左边（不含否定词），且这些量词的辖域都延伸到公式的末端。 3.3 谓词逻辑归结原理 即： 把所有的量词都提到前面去，然后消掉所有量词 (Q1x1)(Q2x2)…(Qnxn)M(x1,x2,…,xn) 约束变项换名规则： (Qx ） M（x） = （Qy ） M（y） (Qx ） M（x,z） = （Qy ） M（y,z） 3.3 谓词逻辑归结原理 ? ? ? ? ? ? ? ? ? ? ? ? ? 量词消去原则： 消去存在量词“?”，略去全程量词“?”。 注意：左边有全程量词的存在量词，消去时该变量改写成为全程量词的函数；如没有，改写成为常量。 3.3 谓词逻辑归结原理 ? ? ? ? ? ? ? ? ? ? ? ? ? Skolem定理： 谓词逻辑的任意公式都可以化为与之等价的前束范式，但其前束范式不唯一。 SKOLEM标准形定义： 消去量词后的谓词公式。 注意：谓词公式G的SKOLEM标准形同G并不等值。 例：将下式化为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)) 由此得到前述范式 第五步，消去“?”（存在量词），略去“?”全称量词 消去(?y)，因为它左边只有(?x)，所以使用x的函数f(x)代替之，这样得到： (?x)(?u)(?v) (P(a, x, f(x)) ∨ Q(v, b)∨R(u)) 消去(?