归结推理方法课件.pptVIP

第三章 归结原理（第二部分）(Chapter 3 Resolution Reasoning)(Part B)徐从富浙江大学人工智能研究所2002年第一稿2004年9月修改1 本章的主要参考文献：[1] 石纯一 等. 《人工智能原理》. 清华大学出版社,1993. pp11-81. （【注意】：本课件以该书中的这部分内容为主而制作，若想更加全面地了解归结原理及其应用，请参见如下文献[2]和[3]）[2] 陆汝钤. 《人工智能》（下册）. 科学出版社,2000. pp681-728.[3] 王永庆. 《人工智能原理与方法》. 西安交通大学出版社, 1998. pp111-155.【注】：若对定理的