《人工智能》第三章知识演绎研究.ppt

* 谓词演绎的归结方法 命题逻辑的归结推理过程 利用逻辑蕴含式和逻辑等价式将命题公式化成合取范式(子句的合取) 子句集：将若干个子句的合取式中的合取词∧换成逗号，形成的集合称为子句集。 从子句集S出发，仅只对S的子句间使用归结推理规则（即求归结式），并将所得归结式仍放入S中，进而再对新子句集使用归结推理规则，重复这些步骤直到得到空子句□（说明有矛盾）。也就是说S是不可满足的，从而与子句集S对应的定理是成立的。 * 谓词演绎的归结方法 谓词公式的子句形 合取范式和析取范式 合取范式：若谓词公式A有如下形式B1∧B2∧...∧Bn,其中Bi(i=1,2,...n)形如L1∨L2∨...∨Ln，并且L1,L2,...Ln都是文字。析取范式：若谓词公式A有如下形式B1∨B2∨...∨Bn,其中Bi(i=1,2,...n)形如L1∧L2∧...∧Ln，并且L1,L2,...Ln都是文字。前束范式：将所有的量词都放在谓词公式的前面。前束范式可分成前束合取范式和前束析取范式。 * 谓词演绎的归结方法 化成前束合取范式的步骤 Step1：消去∧，∨，?以外的连接词? A?B............. ? A∨B A?B............(? A∨B)∧(? B∨A) step2：将连接词?内移，移到原子公式之前?  ?(? A) ?A  ?(A∧B) ?