人 工 智 能Artificial Intelligence (AI)第3章 确定性推理 3.1 图的搜索策略3.2 盲目搜索3.3 启发式搜索3.4 与或树搜索(补充)3.5 博弈树搜索(补充)3.6 消解原理解决实际问题的两个关键之处:问题的表达 状态空间法 问题归约法 谓词逻辑法问题的求解 搜索技术 推理技术盲目与启发式搜索:状态空间法、图的搜索技术与或树搜索:问题归约法、与或图的特例的搜索技术博弈树搜索:状态空间法问题归约法、双人博弈的特殊搜索技术消解原理:谓词逻辑法、推理技术3.1 图搜索策略 状态空间中: 状态初始状态目标状态操作符图中有:节点初始节点目标节点有向弧状态空间法与图的对应关系q 在状态空间中,解是从初始状态到目标状态的操作符序列q 在图中,解是从初始节点到目标节点的一条路径解的含义:状态:(城市名)算子:常德益阳益阳常德益阳汨罗益阳宁乡益阳娄底?必须记住哪些点走过了必须记住下一步还可以走哪些点必须记住从目标返回的路径必须记住哪些点走过了必须记住下一步还可以走哪些点必须记住从目标返回的路径OPENOPEN表表(记录还没有扩展的点记录还没有扩展的点)CLOSEDC