介绍了三种知识表示方式（状态空间法、问题归约、谓词逻辑）和4种搜索技术（盲目搜索、启发式搜索、与或树搜索、博弈树搜索），简单介绍prolog语言-Describes three kinds of knowledge representation (state space method, problem reduction, predicate logic) and four kinds of search techniques (blind search, heuristic search, w