人工智能01548.ppt

一种是给谓词中的个体变元代入个体常元, 另一种就是把谓词中的个体变元全部量化。 谓词公式变为命题公式如果一个公式中的所有个体变元都被量化，或者所有变元都是约束变元（或无自由变元），则这个公式就是一个命题。特别地，我们称 xAx为全称命题， xAx为特称命题。对于这两种命题，当个体域为有限集时（设有n个元素），有下面的等价式：这两个式子也可以推广到个体域为可数无限集。 定义4 合取范式设A为如下形式的谓词公式： B1∧B2∧…∧Bn其中Bii1,2,…,n形如L1∨L2∨…∨Lm，Ljj1,2,…,m为原子公式或其否定，则A称为合取范式。例如：Px∨Qy∧乛Px∨Qy∨Rx,y∧乛Qy∨乛Rx,y就是一个合取范式。定义5 析取范式设A为如下形式的命题公式：B1∨B2∨…∨Bn其中Bii1,2,…,n形如L1∧L2∧…∧Lm，Ljj1,2,…,m为原子公式或其否定，则A称为析取范式。例如：Px∧乛Qy∧Rx,y∨乛Px∧Qy∨乛Px∧Rx,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小王是大学生。试问：小王学过计算机吗？解令Sx：x是大学生;Mx：x学过计算机; a：小王。则上面的两个命题可用谓词公式表示为1 xSx→Mx2 Sa 下面我们进行形式推理：1xSx→Mx［前提］2 Sa→Ma［1,US］3 Sa［前提］4 Ma［2,3,I3］ 得结果：Ma，即“小王学过计算机”。 Us 全称指定规则： Ug 全称推广规则： Es 存在指定规则： Eg 存在推广规则： I3 假言推理： 例5.5 证明乛Pa,b是 x yPx,y→Wx,y和乛Wa,b的逻辑结果。证1x yPx,y→Wx,y［前提］2 yPa,y→Wa,y［1,US］3 Pa,b→Wa,b［2,US］4 乛Wa,b［前提］5 乛Pa,b［3,4,I4］I4 ：拒取式 例5.6 证 xPx→Qx∧ xRx乛QxxRx→乛Px。证 1xPx→Qx［前提］ 2 Py→Qy［1,US］ 3 乛Qy→乛Py［2,E24］ 4xRx→Qx［前提］ 5 Ry→乛Qy［3,US］ 6 Ry→乛Py［3,5,I6］ xRx→乛Px［6,UG］ E24：（逆反律） I6：（假言三段论）5.2.1 子句集定义1 原子谓词公式及其否定称为文字，若干个文字的一个析取式称为一个子句，由r个文字组成的子句叫r—文字子句，1—文字子句叫单元子句，不含任何文字的子句称为空子句，记为或NIL。例如下面的析取式都是子句P∨Q∨乛RPx,y∨乛Qx定义2 对一个谓词公式G，通过以下步骤所得的子句集合S，称为G的子句集。1消去蕴含词→和等值词←→。可使用逻辑等价式:①A→B A∨B②A←→B 乛A∨B∧乛B∨A 例5.7 求下面谓词公式的子句集x yPx,y→y［Qx,y→Rx,y］ 解:由步1得 x乛 yPx,y∨乛y［乛Qx,y∨Rx,y］A →B 乛A ∨B由步2得 x y乛Px,y∨ y［Qx,y∧乛Rx,y］由步3得 x y乛Px,y∨ z［Qx,z∧乛Rx,z］使量词间不含同名的指导变元和约束变元由步4得 x乛Px,fx∨［Qx,gx∧乛Rx,gx］变元y,z在全称量词x辖域内，用函数fx和gx分别代替y,z由步5得乛Px,fx∨［Qx,gx∧乛Rx,gx］消去全部全称量词由步6得［乛Px,fx∨Qx,gx］∧［乛Px,fx∨乛Rx,gx］化公式为合取范式由步7得［乛Px,fx∨Qx,gx］∧［乛Py,fy∨乛Ry,gy］消去同名变元由步8得乛Px,fx∨Qx,gx,乛Py,fy∨乛Ry,gy消去合取词或 乛Px,fx∨Qx,gx 乛Py,fy∨Ry,gy为原谓词公式的子句集。 例5.8 设G x y