人工智能 第二章 知识表示方法.docVIP

第二章 知识表示方法 教学内容：本章讨论知识表示的各种方法，是人工智能课程三大内容（知识表示、知识推理、知识使用）之一，也是学习人工智能其他内容的基础。 教学重点：状态空间法、问题归约法、谓词逻辑法、语义网络法。 教学难点：状态描述和状态空间图示、问题归约机制、置换和合一。 教学方法：课堂教学为主，同时结合《离散数学》等已学的内容实时提问、收集学生学习情况，充分利用网络课程中的多媒体素材来表示抽象概念。 教学要求：重点掌握用状态空间法、问题归约法、谓词演算法、语义网络法来描述问题；解决问题；掌握几种主要方法之间的差别；并对其它几种表示方法有一般了解。 2.1 状态空间法 教学内容：本节是通过状态空间法来求解问题，它是以状态和算符(operator)为基础来表示和求解问题的。 教学重点：问题的状态描述，操作符。 教学难点：选择一个好的状态描述和状态空间表示方案。 教学方法：以课堂教学为主；充分利用网络课程中的多媒体素材来阐述抽象概念。 教学要求：重点掌握对某个问题的状态空间描述，学会组织状态空间图，用搜索图来求解问题。 2.1.1 问题状态描述 1、状态（State）的基本概念 　　状态(state)是为描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合，其矢量形式如下： 　　　　　　　　Q=［q0,q1,…,qn］T 　　　　　　　　　　　　　(2.1) 式中每个元素qi(i=0,1，…，n)为集合的分量，称为状态变量。给定每个分量的一组值就得到一个具体的状态，如 　　　　　　　　Qk=［q０k,q1k,…，qnk］T 　　　　　　　　　　 (2.2) 　　算符：使问题从一种状态变化为另一种状态的手段称为操作符或算符。操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。 　　问题的状态空间(state space)是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即所有可能的问题初始状态集合S、操作符集合F以及目标状态集合G。因此，可把状态空间记为三元状态(S，F，G)。 提问： 1. 列举已经学习过的“状态”概念，并比较之。2. 列举算符。 举例： 列举几个日常生活中状态和算符的例子，如：棋局。 讨论： 每走一步后，棋局都变化了，以此来理解问题的状态空间。 2、状态空间的表示法 　　对一个问题的状态描述，必须确定3件事： 　　(1) 该状态描述方式，特别是初始状态描述； 　　(2) 操作符集合及其对状态描述的作用； 　　(3) 目标状态描述的特性。 举例：讲解初始状态、算符、中间状态和目标状态之间的关系；讲解三数码难题的状态变化过程。 2.1.2 状态图示法 　　图的基本概念 　　图由节点(不一定是有限的节点)的集合构成。一对节点用弧线连接起来，从一个节点指向另一个节点。这种图叫做有向图(directed graph)。 　　某个节点序列(ni1,ni2,…,nik)当j=2，3，…，k时，如果对于每一个ni，j-1都有一个后继节点nij存在，那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。 　　代价(cost) 是给各弧线指定数值以表示加在相应算符上的代价。 　　图的显式说明 是指各节点及其具有代价的弧线由一张表明确给出。 　　图的隐式说明 是指各节点及其具有代价的弧线不能由一张表明确给出。 提问：举已经学习过的“有向图”、“路径”及“代价”等的概念。 举例：针对三数码难题的状态变化过程讲解图的几个基本概念。 2.1.3 状态空间表示举例 1、产生式系统 　　一个产生式系统由下列3部分组成： 　　一个总数据库(global database)，它含有和具体任务有关的信息。 　　一套规则，它对数据库进行操作运算。每条规则由左右两部分组成，左部鉴别规则的适用性或先决条件，右部描述规则使用时所完成的动作。使用规则来改变数据库。 　　一个控制策略，它确定应该采用哪一条适用规则，而且当数据库的终止条件满足时，就停止计算。 2、状态空间表示举例 　　猴子和香蕉的问题 　　状态空间表示 用四元组（W，x，y，z）其中：W-猴子的水平位置；x－当猴子在箱子顶上时取x=1；否则取x=0；Y－箱子的水平位置；z-当猴子摘到香蕉时取z=1；否则取z=0。 　　算符 (1) goto(U)猴子走到水平位置U； 　　 (2) pushbox(V)猴子把箱子推到水平位置V； 　　 (3) climbbox猴子爬上箱顶； 　　 (4) grasp猴子摘到香蕉。 　　求解过程 令初始状态为(a,0,b,0)。这时，goto(U)是唯一适用的操作，并导致下一状态(U，0，b,0)。现在有3个适用的操作，即goto(U)，pushbox(V)和climbbox(若U=b)。把所有适用的操作 继