人工智能 chapter2教学教材.ppt

; 人们所涉及到的知识是十分广泛的。有的属多数人所熟悉的，有的只是有关专家才掌握的专门领域知识。对于“知识”难以给出明确的定义，只能从不同侧面加以理解。 Feigenbaum认为知识是经过削减、塑造、解释和转换的信息。简单地说，知识是经过加工的信息。Bernstein说知识是由特定领域的描述、关系和过程组成的。Hayes-Roth认为知识是事实、信念和启发式规则。 知识表示是研究用机器表示知识的可行性、有效性的一般方法，是一种数据结构与控制结构的统一体，既考虑知识的存储又考虑知识的使用。知识表示可看成是一组描述事物的约定，以把人类知识表示成机器能处理的数据结构。;;;;;;;11 9 4 15;;;;;●;　 · 路径：某个节点序列(ni1,ni2,…,nik)当j=2，3，…，k时，如果对于每一个ni，j-1都有一个后继节点nij存在，那么就把这个节点序列叫做从节点ni1至节点nik的长度为k的路径。　 · 代价：用c(ni,nj)来表示从节点ni指向节点nj的那段弧线的代价。两节点间路径的代价等于连接该路径上各节点的所有弧线代价之和。　 · 显式表示：各节点及其具有代价的弧线由一张表明确给出。此表可能列出该图中的每一节点、它的后继节点以及连接弧线的代价。　 · 隐式表示：节点的无限集合{si}作为起始节点是已知的。后继节点算符Γ也是已知的，它能作用于任一节点以产生该节点的全部后继节点和各连接弧线的代价。 ;●图论中的几个术语 　· 节点(node)：图形上的汇合点，用来表示状态、事件和时间关系的汇合，也可用来指示通路的汇合；　 · 弧线(arc)：节点间的连接线；　 · 有向图(directed graph)：图由节点（不一定是有限的节点）的集合构成。象这样一对节点用弧线连接起来，从一个节点指向另一个节点构成的图称为有向图。　 · 后继节点(descendant node)与父辈节点(parent node)：如果某条弧线从节点ni指向节点nj，那么节点nj就叫做节点ni的后继节点或后裔，而节点ni叫做节点nj的父辈节点或祖先。一对节点可以互为后裔，此时，这对有向弧线就用一条棱线代替。 当用一个图来表示某个状态空间时，图中各节点标上相应的状态描???，而有向弧线旁边标有操作符（或算符）。　;对于一类最简单的问题，需要求得某指定节点s（表示初始状态）与另一个节点t（表示目标状态）之间的一条路径（可能具有最小代价）。对于此类问题有两个典型代表（1）求得节点s与节点集合{ti}中任意一节点之间的距离；（2）求得节点集合{si}与节点集合{ti}中任意一节点之间的距离。 ;●图的显式和隐式表示 　一个图可由显式说明也可由隐式说明。显然，显式说明对于大型的图是不切实际的，而对于具有无限节点集合的图则是不可能的。　　此外，引入后继节点算符的概念是方便的。后继节点算符Γ也是已知的，它能作用于任一节点以产生该节点的全部后继节点和各连接弧线的代价(用我们的状态空间术语来说，后继算符是由适用于已知状态描述的算符集合所确定的)。把后继算符应用于{si}的成员和它们的后继节点以及这些后继节点的后继节点，如此无限制地进行下去，最后使得由Γ和{si}所规定的隐式图变为显示图。把后继算符应用于节点的过程，就是扩展一个节点的过程。因此，搜索某个状态空间以求得算符序列的一个解答的过程，就对应于使隐式图足够大一部分变为显式以便包含目标的过程。这样的搜索图是状态空间问题求解的主要基础。　　问题的表示对求解工作量有很大的影响。人们显然希望有较小的状态空间表示。许多似乎很难的问题，当表示适当时就可能具有小而简单的状态空间。 ;●状态空间表示举例 ;●产生式系统（Production System） · 一个总数据库(global database)：它含有与具体任务有关的信息；随着应用情况的不同，这些数据库可能小得像数字矩阵那样简单，或许大得如检索文件结构那么复杂。 · 一套规则(set of rules)：它对数据库进行操作运算。每条规则由左右两部分组成，左部鉴别规则的适用性或先决条件，右部描述规则应用时所完成的动作。应用规则来改变数据库，就象应用算符来改变状态一样。 · 一个控制策略(control system)：它确定应该采用哪一条适用规则，而且当数据库的终止条件满足时，就停止计算。控制策略由控制系统选择和确定。　　;;产生式系统的例子;;●猴子和香蕉问题(monkey and banana problem) ;这个问题中的操作(算符)如下：(1) goto(U)猴子走到水平位置U，或者用产生式规则表示为 即应用操作goto(U)，能把状态(W，0，Y，z)变换为