人工智能leson3-4.pptVIP

第三章 基于谓词逻辑的机器推理----3.2 归结演绎推理 3.2.1子句集 定义1 原子谓词公式及其否定称为文字；文字的析取式称为子句；r个文字组成的子句称为r-文字子句。1-文字子句也称为单元子句。不含任何文字的子句称为空子句，记为?或NIL。由子句构成的集合称为子句集。 任何一个谓词公式都可以化为子句集，步骤如下： （1）、利用等价式A ? B ? ?A ?B 和 A ? B ? (A ? B) ?(B ? A)消去联结词“ ? ” 和 “ ? ”。 （2）、缩小否定联结词的作用范围，使其仅作用于原子公式。可利用下列等价式： ? ? A ?A； ?(A?B) ? ? A ? ? B； ?(A ? B) ? ?A ??B； ?xA(x) ? ?x? A(x)； ??xA(x) ? ? x? A(x) （3）、重新命名变元名，使不同量词约束的变元有不同的名字。 （4）、消去存在量词。若存在量词不在全称量词的辖域内，则用一个常量符号替换该存在量词辖域中的相应约束变元。这样的常量称为Skolem常量；若该存在量词在一个或多个全称量词的辖域内，则用这些全称量词指导变元的一个函数替换该存在量词约束的变元。这样的函数称为Skolem函数。 例如?x1 ?x2 ? ? ???xn?yP(x1,x2,…, xn,y)中y可用Skole