《人工智能导论》02表示0...(2).ppt

人工智能导论 方若宇 ryfang@stu.edu.cn 状态空间表示法 问题状态描述 状态： 描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合。 算符： 使问题从一种状态变化为另一种状态的手段,称为操作符或算符。 问题的状态空间： 是一个表示该问题全部可能状态及其关系的图,把状态空间记为三元状态(S，F，G) 所有可能的问题初始状态集合S(初始状态S0∈S)、 操作符集合F 以及目标状态集合G(G?S)。 状态空间问题求解 状态空间法: 从初始状态开始, 每次加一个操作符, 递增地建立起操作符的试验序列, 直到达到目标状态为止. 基本过程: 1. 为问题选择适当的”状态”及”操作符”的形式化描述方法, 定义初始状态集合, 目标状态集合及操作符集合; 2. 将操作符作用在初始状态(新状态)上生成新状态逐步构造状态空间, 判断新状态是否为目标状态, 如果是转3.否则转2. 3. 寻找从初始状态到目标状态的一个(最佳)路径。路径边上所使用的操作符序列就是该问题的一个解. 状态空间图 把初始状态可达到的各状态所组成的空间用有向图表示。用”状态”标识节点, 用”操作”标识有向边, 有向边方向由被施加操作的对象状态指向操作的结果状态。 例1: 二阶梵塔问题. 设有三根柱子,它们的编号分别是1号, 2号, 3号。在初始情况下, 1号柱子上穿有A, B两个园盘,A比B小,A位于B的上面.要求把这两个圆盘全部移到第3号柱子上,而且规定每次只能移动一个圆盘, 任何时刻都不能使大圆盘位于小圆盘的上面。 　　 状态 用Sk={ Sk0, Sk1}表示问题状态 其中 Sk0表示圆盘A所在的柱子号, Sk1表示圆盘B所在的柱子号。 操作符 A(i, j)表示把圆盘A从i号柱子移到j号柱子， A(i, j)操作的条件: Sk=(i, x) (A在i) ?? A(i, j)操作的结果: Sk=(j, x) (A在j, B不变) B(i, j)表示把圆盘B从i号柱子移到j号柱子。 B(i, j)操作的条件: Sk=(x, i) x≠i (B在i, A不在i位,A不在j位) ?? B(i, j)操作的结果: Sk=(x, j) (B在j, A不变) 例1的状态空间图 例2: 修道士和野人问题设在:河的左岸有三个野人,三个修道士和一条船,修道士想用这条船把所有的人运到河对岸,但受以下条件的约束: 1. 修道士和野人都会划船; 2. 船每次至多可载两个人; 3. 在河的任一岸,如果野人数目超过修道士数,修道士就会被野人吃掉。 假设野人会服从任何一次过河安排,请规划一个确保修道士和野人都能过河,且没有修道士被野人吃掉的安全过河计划。 一阶谓词逻辑表示法 一阶谓词逻辑表示法是一种重要的知识表示方法,它以数理逻辑为基础,是到目前为止能够表达人类思维活动规律的一种最精确的形式语言。它与人类的自然语言比较接近，由可方便地存储到计算机中去，并被计算机做精确处理。因此，它是一种最早应用于人工智能中的表示方法。 用一阶谓词逻辑公式可以表示事物的状态、属性、概念等事实性知识，也可以表示事物间具有确定因果关系的规则性知识。 一阶谓词逻辑表示法的特点如下： (1)自然性 (2)适宜于精确性知识的表示，而不适宜于不确定性知识的表示 (3)易实现 (4)与一阶谓词逻辑表示法相对应的表示法。 * 2009年秋季汕头大学计算机系本科课程 1 2 3 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 初始棋局 目标棋局 状态 算符 状态空间的一个解:一个有限的操作算子序列，它使初始状态转化为目标状态 一种得到解的操作序列: A(1, 3), B(1, 2), A(3, 2) 受操作条件约束, 不能执行B(i,j) 避免出现非法结果, 不能执行B(1,2) 1、定义用谓词及个体，确定每个谓词及个体的确切含义； 2、根据所要表达的事物或概念，为每个谓词中的变元赋以特定的值； 3、根据所要表达的知识的语义，用适当的连接符号将各个谓词连接起来，形成谓词公式。 用谓词公式表示知识的步骤 谓词公式表示知识的举例 例1、 机器人搬积木块问题表示　　设在一个房间里，有一个机器人ROBOT ，一个地点C，一个积木块BOX，两个桌子A和B。机器人可把积木块BOX从一种状态变换成另一种状态。 解：　引入谓词　　　TABLE（A）　　　　　　　　表A是桌子　　　EMPTYHANDED（ROBOT）　　　表机器人双手是空的　　　AT（ROBOT，A）　　　　　　表