第5章基于谓词逻辑的机器推理(免费阅读).ppt

把上面关于量化的概念也可以推广到谓词公式。于是，我们便可以说，如果一个公式中的所有个体变元都被量化，或者所有变元都是约束变元（或无自由变元），则这个公式就是一个命题。特别地，我们称 xA(x)为全称命题， xA(x)为特称命题。对于这两种命题，当个体域为有限集时（设有n个元素），有下面的等价式： xA(x)A(a1)∧A(a2)∧…∧A(an) ? xA(x)A(a1)∨A(a2)∨…∨A(an) 这两个式子也可以推广到个体域为可数无限集。 定义4 设A为如下形式的谓词公式： B1∧B2∧…∧Bn 其中Bi(i=1,2,…,n)形如L1∨L2∨…∨Lm，Lj(j=1,2,…,m)为原子公式或其否定，则A称为合取范式。 例如： (P(x)∨Q(y))∧(乛P(x)∨Q(y)∨R(x,y))∧(乛Q(y)∨乛R(x,y)) 就是一个合取范式。 定义5 设A为如下形式的命题公式： B1∨B2∨…∨Bn 其中Bi(i=1,2,…,n)形如L1∧L2∧…∧Lm，Lj(j=1,2,…,m)为原子公式或其否定，则A称为析取范式。 例如： (P(x)∧乛Q(y)∧R(x,y))∨(乛P(x)∧ Q(y))∨(乛P(x)∧R(x,y)) ? 就是一个析取范式。 定义6 设P为谓词公式，D为其个体域，对于D中的任一解释I： (1)若P恒为真，则称P在D上永真（或有效）或是D上的永真式。 (2)若P恒为假，则称P在D上永假（或不可满足）或是D上的永假式。 (3)若至少有一个解释,可使P为真，则称P在D上可满足或是D上的可满足式。 定义7 设P为谓词公式，对于任何个体域： (1)若P都永真，则称P为永真式。 (2)若P都永假，则称P为永假式。 (3)若P都可满足，则称P为可满足式。 5.1.3 谓词逻辑中的形式演绎推理 由上节所述，我们看到，利用谓词公式可以将自然语言中的陈述语句表示为一种形式化的符号表达式。那么，利用谓词公式，我们同样可以将形式逻辑中抽象出来的推理规则形式化为一些符号变换公式。表3.1和表3.2就是形式逻辑中常用的一些逻辑等价式和逻辑蕴含式，即推理规则的符号表示形式。 例5.4 设有前提： (1)凡是大学生都学过计算机； (2)小王是大学生。 试问：小王学过计算机吗？ 解 令S(x)：x是大学生;M(x)：x学过计算机; a：小王。则上面的两个命题可用谓词公式表示为 (1) x(S(x)→M(x)) (2) S(a) 下面我们进行形式推理： (2) x(S(x)→M(x)) ［前提］ (2)S(a)→M(a) ［(1),US］ (3)S(a) ［前提］ (4)M(a) ［(2),(3),I3］ 得结果：M(a)，即“小王学过计算机”。 例5.5 证明乛P(a,b)是 x y(P(x,y)→W(x,y))和乛W(a,b)的逻辑结果。证 (1) x y(P(x,y)→W(x,y)) ［前提］ (2) y(P(a,y)→W(a,y)) ［(1),US］ (3) P(a,b)→W(a,b) ［(2),US］ (4)乛W(a,b) ［前提］ (5)乛P(a,b)