人工智能原理课程复习——（2）搜索形式化与搜索求解

搜索形式化与搜索求解

搜索问题的形式化

搜索问题的形式化

我们考虑下述搜索问题的形式化

我们的目标是：从Arad出发前往Bucuresti

则我们可以将该问题理解为：从Arad出发该怎么走，才能走到目的地，即转换为路径搜索问题

将上述问题进行形式化，可得：

我们可以将搜索形式化为以下几个要素：

• 初始状态Initial state
• 行动Actions(s)
• 转移模型Result(s,a)
• 目标测试Goal-Test(s)
• 动作代价Action-Cost(s,a)

该搜索问题的解，即为从初始状态到目标状态的动作序列

示例

搜索求解

树搜索