人工智能之搜索.pdfVIP

搜索 从穷举搜索到启发式搜索 高 阳 /gaoy, 2016.9.7 状态空间搜索 搜索 — 一种问题求解方法 动机：理解AI 中的静(不变, Statics)和动(变, Dynamics) 静：知识表示(Knowledge Representation) 动：推断或推理(Inference or Reasoning) 状态空间搜索— GOFAI(Good Old-Fashioned Artificial Intelligence, Pre-statistical AI)的主要推断范型 由Newell和Simon在上世纪60年代，在通用问题求解器中发展起来的主要范型。 状态空间表示 状态空间图：节点N 和连接(弧) A 初始状态：S 是N 的非空子集 目标状态：G 是N 的非空子集 状态空间搜索：寻找从初始状态到目标状态的解路径(Solution Path) 图和树的区别？ 井字棋(Tic-Tac-Toe) 状态转移图：有向非循环图DAG 拼图游戏(8-Puzzle) 状态转移图：存在回路 拼图游戏(8-Puzzle) 状态转移树 状态空间表示 状态空间图：节点N 和连接(弧) A 初始状态：S 是N 的非空子集 目标状态：G 是N 的非空子集 状态空间搜索：寻找从初始状态到目标状态的解路径(Solution Path) 图搜索：需要检测和消除解路径上的循环 树搜索：免除检测的开销 搜索树 根节点：初始状态 连 接：父节点上的合法动作 后 继：在父节点上采用合法动作所达到的子节点 搜索树：删除后继节点中已经出现的等价状态，所形成的树 搜索方向，搜索次序，数据结构/算法 状态空间的搜索方向 数据驱动 – 前向搜索 状态空间的搜索方向 目标驱动 – 后向搜索 数据驱动 VS 目标驱动 问题1：谁是罪犯？ 问题2 ：冯巩是冯国璋的后人吗？ 某村农民王某被害，有四个嫌疑犯A ， B ，C ，D ，公安局派出五个侦察员，他 们带回的信息各不一样。 甲说：A ，B 中至少有一人作案； 乙说：B ，C中至少有一人作案； 丙说：C ，D 中至少有一人作案； 丁说：A ，C中至少有一人与此案无关； 戊说：B ，D 中至少有一人与此案无关。 目标形 潜在目 问题初 匹配规 式表示 标数目 始事实 则数目 数据驱动 难 多 多 目标驱动 易 少 多 回朔技术 CS: Current State SL[]: State List NSL[]:New State List DE[]: Dead End 初值：SL=[A]；NSL=[A] ；DE=[ ] ；CS=A ； CS SL NSL DE 0 A [A] [A] []