人工智能第2章知识表示.pptVIP

第二章 知识表示方法 2.1 状态空间法 2.2 问题归约法 2.3 谓词逻辑法 2.4 语义网络法 2.5 框架表示 2.1 状态空间法 一.基本概念 状态与操作 1.状态:表示问题求解过程中每一步问题状况的数据结构 2.初始状态:由问题已知的前提、初始条件的原始描述所构成的状态 3.目标状态:问题解决时应该到达的状态 4.操作(算符):把一种状态变成另一种状态的运算 二.状态空间法 状态空间:问题求解过程中由初始状态可能到达的所有状态的集合 状态空间法:建立初始状态,在状态空间中进行搜索,以找到一条从初始状态到达目标状态的（最佳）路径.这条路径（即达到目标状态的操作步骤）就是问题的解. 三.例:有三根火柴,火柴头全部向上,同时翻动相邻的两根火柴,可以翻动任意次,问能否使三根火柴头全部向下. 2.2 问题归约法 例: 在边长为2的正方形内,任意放置5个点,求证其中必存在两个点,它们之间的距离不大于?2. 问题可转化为：在四个单位正方形内,任意放置5个点,至少有两个点在同一正方形内. . . . . . 1.本原问题 可直接得到答案的问题称为本原问题 2.归约法 把原问题转化(分解)为一个或几个子问题,对子问题再归约,直至成为可以直接求解的本原问题。 例:梵塔难题的归约法解法: 1.要把所有圆盘移至柱3,必须先把C盘移至柱3,而在移动C盘至柱3前,柱3必须为空. 2.在C移至柱3后,再解决将A、B移至柱3. 3.只有把A、B移至柱2后,才能将C移到柱3. 将上面的分析理一下顺序:就把原问题归约为3个子问题： 1.移动A、B至柱2的双圆盘问题; 2.移动C至柱3的单元盘问题;（本原问题） 3.移动A、B至柱3的双圆盘问题. 将梵塔问题归约为本原问题的问题空间 (1 1 1) ?(3 3 3) (1 1 1) ?(1 2 2) (1 2 2) ?(3 2 2) (3 2 2) ?(3 3 3) (1 2 3) ? (1 2 2) (1 1 1) ? (1 1 3) (1 1 3) ? (1 2 3) (3 3 1) ? (3 3 3) (3 2 2) ? (3 2 1) (3 2 1) ? (3 3 1) 2.3 谓词逻辑法 一.谓词逻辑的简要回顾 1.命题与谓词 命题: 表示客观事实的语句 李明是个工人 LIWORKER或 L 把谓语部分提出 WORKER(LI) WORKER(WANG) 引入变量、函数和量词 (?x) (HUMAN(x) -NEED-STUDY(x)) (?x) TEACHER(brother(x)) 注:我们只讨论一阶谓词演算. 2.合适公式 (well-formed formula) 原子(谓词)公式 原子公式::=谓词名+“(”+项[,项]+“)” 项::=常量|变量|函数 函数::=函数名+“(”+参数[,参数]+“)” 合适公式 原子谓词公式是合适公式; 若A是合适公式, 则~A也是合适公式; 若A和B都是合适公式, 则A?B, AVB, A?B也都是合适公式; 若A是合适公式, x为任何变量, 则(?x)A和(?x)A也是合适公式; 只有按上述规则产生的公式才是合适公式.(有限步) 3.用谓词公式表达知识 例:任何整数或者是正数或者是负数. 用I(x)表示“x是整数”,用P(x)表示“x是正数”,用N(x)表示“x是负数”. (?x)(I(x)?(P(x) V N(x))) 例:用谓词逻辑表达积木世界. 一.基本概念 语义网络是一种用实体及其语义关系来表达知识的有向图. 结点:代表实体,表示各种事物、概念、情况、属性、状态、事件、动作等; 弧:代表语义关系,表示它所连接的两个实体之间的语义联系.　在语义网络中,每一个结点和弧都必须带有标识,这些标识用来说明它所代表的实体或语义. 二.以个体为中心的语义网络 1.实例联系 2.4 语义网络法 2.泛化联系 3.聚集联系 4.属性联系 三.以谓词为中心的语义网络 语义网络表示法和谓词逻辑表示法之间有着对应的表示能力. 1.二元谓词 2.n元谓词 n元谓词可转化为n个二元谓词的合取 例:“李明给王宏围城” 3.连接词的表达 例:“李明给王宏围城而且王宏读了围城”