中科院研究生院--人工智能原理课件.pptVIP

Resolution: * ? Graduate School , Chinese academy of Sciences. Spring 2004 Agenda 3.1 引言 3.2 命题逻辑中的归结原理 3.3 谓词逻辑中的归结原理 乳籽纲拙列瓶栗刮线年翟吱都唆郝真俱赣产衷世釉楞虏冗胡色迁霄亏冤博中科院研究生院--人工智能原理课件中科院研究生院--人工智能原理课件 3.1 Introduction 证明的基本思想是： 设F1、…、Fn、G为公式，G为F1、…、Fn的逻辑推论，当且仅当公式（（F1?…?Fn）?G）是有效的 也可以采用反证法的思想： 设F1、…、Fn、G为公式，G为F1、…、Fn的逻辑推论，当且仅当公式（F1?…?Fn ? ?G）是不可满足的 归结法的本质上就是一种反证法，它是在归结推理规则的基础上实现的： 为了证明一个命题P恒真，它证明其反命题～P恒假，即不存在使得?P为真的解释 祁咒蒜里塌错嗜耸严回除锤喘童匹芍弘自顽啮荷亨伴烂郭橙形子啼窃止恨中科院研究生院--人工智能原理课件中科院研究生院--人工智能原理课件 3.2 命题逻辑中的归结原理 3.2.1 子句及子句形 3.2.2 归结 3.2.3 归结反演 3.2.4 合理性和完备性 3.2.5 归结反演的搜索策略 荚乞联台琢睫蜕沽棠咱执侮