经典逻辑推理.pptVIP

3.2.1自然演绎推理的基本概念避免产生两类错误：肯定后件(Q)的错误：希望通过肯定后件Q推出前件P为真否定前件(P)的错误：希望通过否定前件P推出后件Q为假第30页，共73页，星期日，2025年，2月5日3.2.2利用演绎推理解决问题例设已知事实（1）只要不怕困难的人，就会获得胜利。（2）运动员都是不怕困难的人。（3）王力是运动员。求证：王力会获得胜利。第31页，共73页，星期日，2025年，2月5日3.2.2利用演绎推理解决问题优点缺点定理证明过程自然，容易理解拥有丰富的推理规则，推理过程灵活，便于在它的推理规则中嵌入领域启发式知识容易产生组合爆炸，推理过程中得到的中间结论一般呈指数形式递增自然演绎推理的优缺点第32页，共73页，星期日，2025年，2月5日3.3归结演绎推理返回第33页，共73页，星期日，2025年，2月5日3.3.1子句文字原子谓词公式及其否定统称为文字子句任何文字的析取式称为子句空子句不包含任何文字的子句称为空子句空子句中不包含任何文字，不能被任何解释满足，所以空子句是永假的，不可满足的第34页，共73页，星期日，2025年，2月5日3.3.1子句消去存在量词1234谓词公式化为子句集步骤重新命名变元利用等价谓词关系消去谓词公式中的“”和“”利用等价关系把“”移到紧靠谓词存在量词不出现在全称量词的辖域内，此时只要用一个新的个体常量替换该存在量词的约束变元可消去存在量词存在量词位于一个或多个全称量词的辖域内第35页，共73页，星期日，2025年，2月5日3.3.1子句把全称量词移到公式左边8765谓词公式化为子句集步骤消去全称量词利用等价关系把公式化为Skolem标准形9对变元更名消去合取词第36页，共73页，星期日，2025年，2月5日3.3.1子句定理：设有谓词公式F，其标准形的子句集为S，则F不可满足的充要条件是S不可满足。Skolem标准形的一般形式第37页，共73页，星期日，2025年，2月5日3.3.2海明伦理论令是S中所有个体常量的集合，若S中不包含个体常量，则令，其中a为任意指定的一个个体常量令12H域设S为子句集，则按下述方法构造的域称为海明伦域，简称为H域第38页，共73页，星期日，2025年，2月5日下列集合称为子句集S的原子集：其中，是出现在S中的任一谓词符号，而是S在H域上的任意元素。3.3.2海明伦理论原子集第39页，共73页，星期日，2025年，2月5日3.3.2海明伦理论H域上的解释子句集S在H域上的解释就是对S中出现的常量、函数及谓词取值，一次取值就是一个解释。子句集S在H域上的一个解释I满足下列条件：在解释下，常量映射到自身S中的任一个n元函数是的映射S中的任一个n元谓词是的映射。谓词的真值可以指派为T，也可以指派为F123第40页，共73页，星期日，2025年，2月5日子句集不可满足的充要条件是在一个有限的不可满足的基子句集3.3.2海明伦理论子句集S不可满足的充要条件是S对H域上的一切解释都为假。定理可证明，对给定域D上的任何一个解释，总能在H域上构造一个解释与它对应，如果D域上的解释能满足子句集S，则在H域上相应解释也能满足S。定理第41页，共73页，星期日，2025年，2月5日3.3.3鲁宾逊归结原理鲁宾逊归结原理基本思想检查子句集S中是否包含空子句，若包含，则S不可满足；若不包含，就在子句集中选择合适的子句进行归结，一旦通过归结能推出空子句集，就说明子句集S是不可满足的。互补文字若P是原子谓词公式，则称与为互补文字第42页，共73页，星期日，2025年，2月5日3.3.3鲁宾逊归结原理1、命题逻辑中的归结原理归结设与是子句集中的任意两个子句，如果中的文字与中的文字互补，那么从和中分别消去和