第三章 归结原理（第二部分） (Chapter 3 Resolution Reasoning)(Part B)徐从富浙江大学人工智能研究所2002年第一稿2004年9月修改1本章的主要参考文献：1 石纯一 等. 人工智能原理. 清华大学出版社, 1993. pp11-81. （【注意】：本课件以该书中的这部分内容为主而制作，若想更加全面地了解归结原理及其应用，请参见如下文献2 和3 ）2 陆汝钤. 人工智能（下册）. 科学出版社, 2000. pp681-728. 3 王永庆. 人工智能原理与方法. 西安交通大学出版社, 1998. pp111-155. 【注】：若对定理的机械化证明的更多内容感兴趣者，可参考陆汝钤. 人工智能（下册）. 科学出版社, 2000. pp729-788. 其最新进展可参考我国数学家吴文俊院士的相关论文，不过，他的研究工作对数学要求很高！2 前言 命题逻辑的归结法 子句型Herbrand 定理 归结原理3归结（归结（resolution)resolution)( 也称消解）推理方法： 这是一种机械化的可在计算机上加以实现的推理方法。AI 程序设计语言Prol
