20XX年第三章归结原理（第二部分）（Chapter3Resolution.pptVIP

第三章 归结原理（第二部分） (Chapter 3 Resolution Reasoning)(Part B);本章的主要参考文献： [1] 石纯一 等. 《人工智能原理》. 清华大学出版社, 1993. pp11-81. （【注意】：本课件以该书中的这部分内容为主而制作，若想更加全面地了解归结原理及其应用，请参见如下文献[2]和[3]） [2] 陆汝钤. 《人工智能》（下册）. 科学出版社, 2000. pp681-728. [3] 王永庆. 《人工智能原理与方法》. 西安交通大学出版社, 1998. pp111-155. 【注】：若对定理的机械化证明的更多内容感兴趣者，可参考陆汝钤. 《人工智能》（下册）. 科学出版社, 2000. pp729-788. 其最新进展可参考我国数学家吴文俊院士的相关论文，不过，他的研究工作对数学要求很高！;前言 命题逻辑的归结法 子句型 Herbrand定理 归结原理;归结（resolution)(也称消解）推理方法：; 归结法（也称消解法）的本质是一种反 证法。 为了证明一个命题A恒真，要证明其反命题~A恒假。所谓恒假就是不存在模型，即在所有的可能解释中，~A均取假值。但一命题的解释通常有无穷多种，不可能一一测试。为此，Herbrand建议使用一种方法：从众多的解释中，选