本书主要阐述人工智能问题求解方法的一般性原理和基本思想。主要内容有：一般的搜索问题包括盲目搜索和启发式搜索等；与或图搜索，包括AO算法和博亦树搜索等；谓词逻辑以及基于归结的定理证明方法；知识表示，包括产生式方法、语义网络、框架等；不确定性推理方法，包括贝叶斯方法、证据理论和确定性方法等；机器学习，包括实例学习、解释学习、决策树学习和神经网络等；高级搜索，包括局部搜索方法、模拟退火方法和遗传算法等。 本书可作为计算机专业的本科生或者研究生学习人工智能基础课程的教材或参考书。