2-1 第二章 知识表示与推理.docVIP

第二部分 知识表示方法 问题求解(Problem solving)涉及许多研究领域，但知识表示是其三大基本功能之一。本章主要讨论几中基本的知识表示方法技术，如状态空间表示法、问题归约法、谓词逻辑法、语义网络法等方法。 2-1状态(state)空间表示法 2-1-1 问题Q的状态描述 (S, F, G) (S, F, G) 目标状态集合操作算子集合初始状态集合 目标状态集合 操作算子集合 初始状态集合 State:为描述某类不同事物间差异而引入的一组变量之有序集合。即,其中，表示状态分量或状态变量。表示Q的每一元素都赋予一个值之后的某种状态。 操作符/算符：是问题从一种状态变迁到另外一种状态的过程或手段。如走步、过程、规则、算子、逻辑运算符号等。 问题状态空间：表示问题全部可能状态及其关系的图。其构成由三部分构成（如图所示） 原始问题描述：每次移动一步，只能移动跟空格相邻的数字单元。是否能从状态1变成状态2？ 原始问题描述：每次移动一步，只能移动跟空格相邻的数字单元。是否能从状态1变成状态2？ 1 14 12 13 2 10 11 3 15 9 8 4 5 6 7 4 12 11 13 2 10 14 3 15 9 8 1 5 6 7 Shift Shift 需要解决的问题如下： ① 问题的状态描述方法PAGE \# 页：# PAGE \# 页：# 矩阵或向量表示 ② 问题的初始状态描述 ③ 问题的目标状态描述 ④ 问题描述状态转换的操作算子及其对状态描述的作用 ⑤ 两种状态的比较 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 11 9 15 1 3 4 12 7 5 8 6 13 2 10 14 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 11 9 4 15 1 3 8 12 7 5 6 13 2 10 14 11 9 4 15 1 3 12 7 5 8 6 13 2 10 14 11 9 15 1 3 4 12 7 5 8 6 13 2 10 14 11 9 15 1 3 4 12 7 5 8 6 13 2 10 14 图 2-1 十五数码难题的部分状态图表示 图 2-1 十五数码难题的部分状态图表示 2-1-2 问题的状态图示法 （1）基本概念 状态图： 状态图：由若干（不一定是有限）节点的集合构成（有向图或无向图）。 路径：节点序列中，除外，所有节点都有一个后继，则该序列称为节点到节点的长度为的一条路径。 可达节点：若节点到之间存在一条路径，则称节点到节点可达，节点称为节点的可达节点。 边上带权重的图：给状态图中的弧线的值，即为边的权重，则该状态图被称为带权重的图。 （2）能够表示的问题 ① 求解问题状态图中指定节点（初始状态）与另一节点（目标状态）之间的一条路径（或所有路径）。 ② 求节点与节点集合中任一个节点之间的距离（最小距离，最大距离等）。 ③ 求节点集合中任一个节点与节点集合中任一个节点之间的路径。 2-1-3 状态空间表示举例（从要解决的五个基本问题分析） 例1 十五数码问题（表示如图2-1，可用矩阵形式表示） 原始问题描述：有一个4×4的方格棋盘，其中的每一方格放入一1-15之间的数字值，一个空格方格，每次（只能）通过交换空格方格和其（水平和垂直方向上）相邻四个方格中的一个数进入下一状态。问是否能从给定棋盘初始状态，进入目标状态？或给定两棋盘格局，能否从一个状态达到另一状态？等等。 (AD)图2-3 推销员旅行问题的状态空间图(ACDE)(ACDEB)10目标节点7(ACDEBA)6597(ACD)(AB)101367(AE)(A) 起始节点(AC) (AD) 图2-3 推销员旅行问题的状态空间图 (ACDE) (ACDEB) 10 目标节点 7 (ACDEBA) 6 5 9 7 (ACD) (AB) 10 13 6 7 (AE) (A) 起始节点 (AC) 例2 推销员旅行问题（如图2-2的形式表示，其状态空间图如2-3）。 原始问题描述：推销员要在n个城市之间旅行推销产品，从一个城市出发，经过每个城市一次，最后回到起点城市。问：如果按照总路程的长短为评判标准，如何设计旅行路径，使得他能够旅行所有城市一次，且仅一次，同时，又能旅行路径最短？ 图2-2 推销员旅行问题69513106107710CDEBA 图2-2 推销员旅行问题 6 9 5 13 10 6 10 7 7 10 C D E B A 例3 猴子和香蕉问题 原始问题描述：在一个房间内有只猴子（或狗），一只箱子和悬挂在天花板上的香蕉，猴子的高度不容