第2章 知识表示方法87193优秀课件.pptVIP

第2章 知识表示方法 教学内容：本章讨论知识表示的各种方法，是人工智能课程三大内容（知识表示、知识推理、知识应用）之一，也是学习人工智能其他内容的基础。 教学重点：状态空间法、问题归约法、谓词逻辑法、语义网络法。 第2章 知识表示方法 教学难点：状态描述与状态空间图示、问题归约机制、置换与合一。 教学要求：重点掌握用状态空间法、问题归约法、谓词演算法、语义网络法来描述问题；解决问题；掌握几种主要方法之间的差别；并对其它几种表示方法有一般了解。 第2章 知识表示方法 传统的人工智能主要运用知识进行问题求解，从实用的观点看，人工智能是一门知识工程学：以知识为对象，研究知识的表示方法，知识的运用和知识获取。 知识作为机器智能的一部分，就必须能够让机器知道什么是知识，那就涉及到了知识的表示问题，这个问题就象人记录某一事实有不同的方法一样，知识表示的方法很多，有图示法和公式法，结构化方法，陈述式表示和过程式表示等。 图示法：状态空间法、问题归约法等。 公式法：谓词逻辑法等。 陈述式表示：语义网络表示法、框架表示法、剧本表示法等。 过程式表示：过程表示。 2.1 状态空间法 许多问题求解方法是采用试探搜索方法的。也就是说，这些方法是通过在某个可能的解空间内寻找一个解来求解问题的。这种基于解答空间的问题表示和求解方法就是状态空间法，它是以状态和算符(operator)为基础来表示和求解问题的。 2.1 状态空间法 1.问题求解技术两个主要的方面 (1) 问题的表示：如果描述方法不对，对问题求解会带来很大的困难； (2) 求解的方法：采用试探搜索方法。 2.状态空间法三要点 (1) 状态（state）：表示问题解法中每一步问题状况的数据结构； (2) 算符（operator）：把问题从一种状态变换为另一种状态的手段； (3) 状态空间方法：基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的。 2.1.1 问题状态描述 1、定义 （1）状态（state） 　状态(state)是为描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合，其矢量形式如下： Q=［q0,q1,…,qn］T 式中每个元素qi(i=0,1，…，n)为集合的分量，称为状态变量。给定每个分量的一组值就得到一个具体的状态，如： Qk=［q０k,q1k,…，qnk］T （2）操作符（算符） 把问题从一种状态变化为另一种状态的手段。 　 操作符可为走步、过程、规则、数学算子、运算符号或逻辑符号等。 　　例如，在下棋程序中，一个算符就是一个走步。 　　在产生式系统中，每一条产生式规则就是一个算符。 （3）问题的状态空间(state space) 问题的状态空间是一个表示该问题全部可能状态及一切可用算符构成的集合。可由一个三元组表示：(S,F,G)。其中S表示所有可能的问题初始状态集合；F表示操作符集合；G表示目标状态集合。 从问题的初始状态集S出发，经过一系列的算符运算，到达目标状态。由初始状态到目标状态所用的算符的序列就构成了问题的一个解。 由上可知，对一个问题的状态描述，必须确定3件事： (1) 该状态描述方式，特别是初始状态描述； (2) 操作符集合及其对状态描述的作用； (3) 目标状态描述的特性。 2、状态空间表示详释 三数码难题 ：由3个编有1至3并放在2×2方格棋盘上的可走动的棋子组成。棋盘上总有一格是空的，以便可能让空格周围的棋子走进空格，这也可以理解为移动空格。图中绘出了两种棋局，即初始棋局和目标棋局，它们对应于该下棋问题的初始状态和目标状态。如何把初始棋局变换为目标棋局呢？ 问题的解答就是某个合适的棋子走步序列。 三数码的任何一种摆法即为一个状态。所有的摆法构成状态集，共有4！个状态，即24个状态。状态之间的变化可通过算符来实现。 算符： （1)定义为棋子走动：3个数码×4种方向＝12种 （2)定义为空格移动：4种，即F＝[f1, f2, f3, f4]T, 其中：f1表示空格上移； f2表示空格左移； f3表示空格下移； f4表示空格右移。 2.1.2 状态图示法 1、图论中的几个术语 节点(node)：图形上的汇合点，用来表示状态、事件和时间关系的汇合，也可用来指示通路的汇合； 弧线(arc)：节点间的连接线 后继节点(descendant node)与父辈节点(parent node)：如果某条弧线从节点ni指向节点nj，那么节点nj就叫做节点ni的后继节点或后裔，而节点ni叫做节点nj的父辈节点或祖先。　 　 2.1.3 状态空间表示举例 1