华中科技大学人工智能 第二章知识表示方法.ppt

第二章 知识表示方法 2.1 知识与知识表示的概念 描述客观世界 人们对客观世界的描述是通过数据和信息来实现的。 数据：指人们为了描述客观世界中的具体事物而引人的一些数字、字符、文字等符号或符号的组合。 “建国”、“50”是两个数据 信息：不同数据组成的一种结构。 建国50岁 信息是数据在特定场合下的含义，即数据的语义。 相同的数据在不同场合会有不同的含义 建国50岁；建国50周年 多数信息仅是对客观事物的一般性描述，它还不是知识 什么是知识 知识是人们在改造客观世界的实践中积累起来的认识和经验 知识是对信息进行智能性加工所形成的对客观世界规律性的认识。 对信息的加工过程，是一种把信息关联在一起的过程。因此，也可把有关信息关联在一起所形成的信息结构称为知识。 例如，“如果他学过人工智能课程，则他应该知道什么叫知识“。 知识还没有一个统一的、严格的形式化定义。 一种定义：知识是经过处理、解释、选择和转换的信息。 知识的属性 真假性与相对性 不确定性 矛盾性和相客性。 可表示性与可利用性。 知识表示 知识表示实际上就是对知识的一种描述，即用一些约定的符号把知识编码成一组计算机可以接受的数据结构。 一般来说，同一知识可以有多种不同的表示形式，而不同表示形式所产生的效果又可能不一样。 知识表示的要求 表示能力 可利用性 可组织性与可维护性 可实现性 自然性与可理解性 几种常用的知识表示方法 状态空间法 问题归约法 谓词逻辑法 语义网络表示法 2.2 状态空间法 状态空间法概述 为了问题求解，在状态空间中从初始状态开始，每次施加一个操作符，使状态变成一个新状态，直到达到目标状态为止。得到的操作符序列就是要求的解。这种基于解答空间的问题表示和求解方法就是状态空间法。 采用状态空间法必须确定三件事： 1. 状态描述方式，特别是初始状态描述； 2. 操作符集合及其对状态描述的作用； 3. 目标状态描述的特性。 状态空间法例—8数码难题 状态描述 状态（state）：是为描述某类不同事物间的差别而引入的一组最少变量q0，q1，... ，qn的有序集合,其矢量形式如下：?? Q=[q0，q1，... ，qn]T式中每个元素qi（i=0，1，... ，n）为集合的分量，称为状态变量。给定每个变量的一组值就得到一个具体的状态，如?? Qk=[q0k，q1k，... ，qnk]T 我们用矢量来描述状态，就如同用矢量来描述欧氏空间的点一样。 操作描述 所谓操作，或称为算子是引起状态中的某分量发生改变，从而使问题由一个具体状态A变化为另一具体状态B的作用。使问题一种状态变化为另一状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。 状态空间的表示 问题的状态空间（state space）：是一个表示该问题全部可能状态及其关系的图，它包括所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。 可把状态空间记为三元状态（S，F，G）。 状态空间的一个解是一个有限的操作算子序列，它使初始状态转化为目标状态：S0-f1-S1-f2-...fk-G 状态空间可用有向图表示。??????? 状态空间表示举例：猴子和香蕉 在一个房间内有一只猴子(可把猴子看成一个机器人)、一个箱子和一串香蕉。香蕉挂在天花板下方，但猴子高度不足以够到它。那么猴子怎样才能摘到香蕉呢？图中示出了猴子、香蕉和箱子在房间内的相对位置。 猴子摘香蕉问题图示 猴子摘香蕉问题------综合数据库 （M, On, Box, H） 其中：M：猴子的位置 On=0：猴子在地板上 On=1：猴子在箱子上 Box：箱子的位置 H=0：猴子没有抓到香蕉 H=1：猴子抓到了香蕉 猴子摘香蕉问题------初始与结束状态 1，初始状态 （c, 0, b, 0） 2，结束状态 （c, 1, c, 1） 猴子摘香蕉问题------操作符集 goto(U): (W, 0, Y, z,) → (U, 0, Y, z) Pushbox(V): (W, 0, W, z) → (V, 0, V, z) climbbox : (W, 0, W, z) → (W, 1, W, z) grasp: (c, 1, c, 0) → (c, 1, c, 1) 其中U, W, V, Y, z为变量 猴子摘香蕉问题------状态空间图 2.2 问题归约法 问题归约法思想 问题归约法是不同于状态空间的人工智能中另一种问题描述和求解方