中科大人工智能硕士研究生讲义 第一章 绪论 [问题求解部分] 第2章 基本搜索策略 第3章 与或图搜索策略 第4章 博弈树的搜索 第5章 局部搜索与最优化 第6章 约束满足问题 约束优化和多目标优化 (补充内容) [自动推理部分] 第7章 知识表示 第8章 谓词逻辑归结原理 1 2 Answer Set Programming（补充内容） 1 2 [不确定性推理部分] 第9章 贝叶斯网络 第10章 主观贝叶斯方法 第11章 证据理论