《人工智能》主要阐述人工智能问题求解方法的一般性原理和基本思想。主要内容有：一般的搜索问题，包括盲目搜索和启发式搜索等；与或图搜索，包括AO·算法和博弈树搜索等；谓词逻辑以及基于归结的定理证明方法；知
马少平
