量盲目搜索算法、带变量盲目搜素算法、启发式搜索算法、博弈树搜索；人工智能程序设计语言：PROLOG。

上海交通大学计算机系《人工智能》ppt完整课件，卢宏涛主讲。共9章内容，主要讲解人工智能概述、基于谓词逻辑的机器推理、产生式系统、知识表示、机器学习、专家系统等。