人工智能 一种现代方法 第3章 用搜索树对问题求解

人工智能 一种现代方法 第3章 用搜索树对问题求解

2018.3.20

---

有一些问题无法通过单独的行动得出解，需要行动序列达到目标，则需要使用搜索法。

3.1问题求解智能体

目标形式化：基于当前的情形和智能体的性能度量进行目标形式化
FORMULATE-GOAL(state)

问题形式化：在给定目标下确定需要考虑哪些行动和状态。
FORMULATE-PROBLEM(state， goal)

搜索：寻找能够达到目标的行动序列
SEARCH(problem)

3.1.1良定义的问题及解

初始状态、行动、转移模型、目标状态、路径耗散

3.1.2问题的形式化

抽象：在问题表示中去除不相关的细节的过程

---

3.2问题实例

从玩具问题过渡到现实世界问题

3.2.1玩具问题

玩具问题可以用来检验新的搜索算法的能力
形式化：状态、初始状态、行动、转移模型、目标测试、路径耗散、后继函数
八数码问题：3*3的格子中有一个空位置，通过移动将其按顺序排好
八皇后问题：8*8的棋盘上摆放8个棋子，使其横竖斜三方向均没有其他棋子

3.2.2现实世界问题

履行问题、 旅行商问题（TSP