人工智能第2章(知识表示方法2_问题归约法).pptVIP

人 工 智 能 Artificial Intelligence (AI);第2章 知识表示方法;2.2 问题归约法 ;问 题;问题归约法： 从已知问题的描述出发，通过一系列变换或分解将问题最终变为一个子问题集合，这些子问题的解可以直接得到，从而解决初始问题 ;问题归约法由三个部分组成： 一个初始问题描述 一套将问题变换或分解为子问题的操作符 一套本原问题（解可以直接得到的简单问题）描述;2.2.1 问题归约描述 ;解决问题的思路： 第一、要将所有盘从第一个柱子搬到第三个柱子，根据游戏规则，首先要搬最大的 C 盘到第三个柱子上;解决问题的思路： 第二、要能够搬 C 盘，条件是：第三个柱子是空的，A、B必须在第二个柱子上（这里没有考虑如何搬A、B盘）;解决问题的思路： 第三、搬C盘到第三个柱子，然后想办法将A、B盘搬到第三个柱子上 ;将问题简化为下列三个子问题： 移动园盘 A 和 B 到柱子 2 的双园盘难题 移动 C 盘到柱子 3 的单园盘难题 移动 A 和 B 到柱子 3 的双园盘难题;图2.8 梵塔问题的归约;2、问题归约的描述 ;问题归约法可以用一个三元组（S, O, P）来表示，其中： S：原始问题，即要解决的问题 P：本原问题集，其中的每一个问题是不用证明的或自然成立的，例如公理、已知事实等 O：操作算子集，用于将问题化为子问题;2.2.2 与