《人工智能现代方法》第三章3.1-3.3

第三章讨论了智能体如何向前搜索的问题。

假设给定回合式的，单智能体的，完全可观测的，确定性的，静态的，离散的和已知的环境。此时任何问题的解都是一个固定的动作序列，控制理论家称为开环系统。

搜索问题的形式化定义包括状态空间，初始状态，目标状态，行动，转移模型和动作代价函数。一个动作序列形成一条路径，最优解是所有解中路径代价最小的解。

典型问题包括标准化问题和真实世界问题。标准化问题的一个重要实例是网格世界问题，包括真空吸尘器问题，推箱子问题，滑块问题等。

真实世界问题更加复杂多样，如视频流路由，飞机航线规划等。

搜索算法将搜索问题作为输入并返回问题的解或报告failure。搜索树描述了状态之间通向目标的路径。

根据完备性、代价最优性、时间复杂性和空间复杂性来评估搜索算法。