(课件)-状态空间搜索.ppt

状态空间搜索 状态空间搜索策略 数据驱动和目标驱动的搜索 图搜索的实现 深度和广度优先搜索 有界深度优先搜索 谓词演算推理的状态空间表示法 逻辑的状态空间描述 与/或图 讨论 基于递归的搜索 递归 递归搜索 模式驱动搜索 产生式系统 定义与历史 产生式系统示例 产生式系统搜索的控制 产生式系统的优点 状态空间搜索策略 数据驱动和目标驱动的搜索 状态空间可以从两个方向进行搜索：从实际问题的给定数据向目标搜索或者从目标到数据进行搜索。 数据驱动搜索，也称为正向推理。搜索的过程是应用规则从给定的条件产生新的条件，再用规则从新的条件产生更多的新条件。这个过程持续到有一条满足目标要求的路径产生为止。 另一种求解方法是：先从欲想达到的目标开始，看哪些规则或合法移动能产生该目标以及应用这些规则产生目标时需要哪些条件。这些条件就成为我们要达到的新目标，即子目标。搜索就通过反向的、连续的子目标不断地进行，一直到找到问题给定的条件为止。这样就找到了一条从数据到目标的移动或规则组成的链，尽管搜索方向和它正好相反。这种方