人工智能-第二章课件

知识与知识表示的概念一阶谓词逻辑表示法产生式表示法语义网络表示法框架表示法其它表示法第二章知识表示知识与知识表示的概念第二章知识表示1 知识知识：是人们在改造客观世界的实践中积累起来的认识和经验。数据：是指人们为了描述客观世界中的具体事物而引入的一些数字、字符、文字等符号或符号的组合。信息：是指用不同数据组成的一种结构。数据是信息的载体和表示。信息是数据在特定场合下的含义，或者说信息是数据的语义。第二章知识表示 知识第二章知识表示2 知识知识是对信息进行智能性加工所形成的对客观世界规律性的认识。三个有代表性的定义知识是经过消减、塑造、解释、选择和转换的信息。知识是由特定领域的描述、关系和过程组成的。知识＝事实＋信念＋启发式。第二章知识表示 知识第二章知识表示3 知识知识的属性真假性与相对性真假性是指可以通过实践或推理来证明知识为真或为假。相对性是指知识的真与假是相对于某些条件、环境及时间而言。不确定性不确定性包括不完备性、不精确性与模糊性。第二章知识表示 知识第二章知识表示4 知识不完备性是指在解决问题时不具备解决该问题所需要的全部知识。不精确性是指知识所具有的既不能完全被确定为真，又不能完全被确定为假的特性。模糊性是指知识的“边界”不明确的特性。第二章知识表示 知识第二章知识表示5 知识矛盾性和相容性矛盾性是指同一个知识集中的不同知识之间相互对立或不一致，即从这些知识出发，会推出不一致的结论。相容性是指同一个知识集中的所有知识之间互相不矛盾。第二章知识表示 知识第二章知识表示6 知识可表示性和可利用性可表示性是指知识可以用适当的形式表示出来。可利用性是指知识可以被用来解决各种各样的问题。知识的类型按知识的性质：概念、命题、公理、定理、规则和方法等。第二章知识表示 知识第二章知识表示7 知识按知识的作用范围：常识性知识和领域性知识。按知识的作用：事实性知识、过程性知识和控制性知识。事实性知识是用来描述问题或事物的概念、属性、状态、环境及条件等情况的知识。过程性知识是用来描述问题求解过程所需要的操作、演算或行为等规律性知识。第二章知识表示 知识第二章知识表示8 知识控制性知识是关于如何运用已有知识进行问题求解的知识。按知识的层次：表层知识和深层知识。表层知识是指客观事物的现象以及这些现象与结论之间关系的知识。深层知识是指事物本质、因果关系内涵、基本原理之类的知识。第二章知识表示 知识第二章知识表示9 知识按知识的确定性：确定性知识和不确定性知识。确定性知识是可以给出其真值为“真”或“假”的知识。不确定性知识是指具有“不确定”特性的知识。按知识的等级：零级知识、一级知识和二级知识等。第二章知识表示 知识第二章知识表示10 知识零级知识是指问题领域内的事实、定理、方法、实验对象和操作等常识性和原理性知识。一级知识是指具有经验性、启发性的知识。二级知识是指如何运用上述两级知识的知识。按知识的结构及表现形式：逻辑性知识和形象性知识。逻辑性知识是反映人类逻辑思维过程的知识。形象性知识是通过事物的形象建立起来的知识第二章知识表示 知识第二章知识表示11 知识表示知识表示：就是对知识的一种描述，即用一些约定的符号把知识编码成一组计算机可以接受的数据结构。知识表示的要求表示能力：是指能否正确、有效地将问题求解所需要地各种知识表示出来。（范围的广泛性；高效性；支持程度）。可利用性：是指使用知识进行推理，以求得问题的解。第二章知识表示 知识表示第二章知识12 知识表示可组织性与可维护性知识的组织是指把有关知识按照某种方式组成一种知识结构。知识维护是指在保证知识的一致性与完整性的前提下对知识所进行的增加、删除、修改等操作。可实现性：是指知识表示要便于在计算机上实现，便于直接由计算机对其进行处理。第二章知识表示 知识表示第二章知识13 知识表示自然性与可理解性自然性是指知识表示形式要符合人们的日常习惯和思维方式。可理解性是指所表示的知识应易读、易懂、易获取、易维护。知识表示方法 目前使用较多的有：一阶谓词逻辑表示法、产生式表示法、语义网络表示法、框架表示法等。第二章知识表示 知识表示第二章知识14一阶谓词逻辑表示法一阶谓词逻辑表示法是一种基于数理逻辑的知识表示方式。它是人工智能中使用较多的知识表示法，主要用于自动定理证明、问题解答、机器人等领域。第二章知识表示（一阶谓词逻辑表示法）一阶谓词逻辑表示法第二章知识表15一阶谓词逻辑表示的逻辑基础命题与真值命题：能够判断真假的陈述句。真值：命题的意义，有真假两种情况。论域和谓词论域：由所讨论对象的全体构成的非空集合。论域中的元素称为个体，论域也称为个体域。在谓词逻辑中，命题是用谓词来表示的。一个谓词可分为谓词名和个体两部分。第二章知识表示（一阶谓词逻辑表示法）一阶谓词逻辑表示的逻辑基础第二章知识表示（16一阶谓词逻辑表示的逻辑基础论域和谓词个体是命题的主语，用来表示某个独立存在的事物或者某个抽象的概念。谓词名是命题的谓语，用来表示个体的性质、状态或个体之间的关系等。如命题“王宏是学生”可表示为： STUDENT(wanghong) 小李比小赵高：HIGH(li,zhao)第二章知识表示（一阶谓词逻辑表示法）一阶谓词逻辑表示的逻辑基础第二章知识表示（17一阶谓词逻辑表示的逻辑基础连接词和量词共有5个连接词： ﹁(非)、∨(析取)、∧(合取)、→(蕴含)、 ↔（等价）。共有2个量词：第二章知识表示（一阶谓词逻辑表示法）全称量词x；存在量词x。一阶谓词逻辑表示的逻辑基础第二章知识表示（18谓词逻辑表示方法谓词逻辑不仅可以用来表示事物的状态、属性、概念等事实性知识，也可以用来表示事物的因果关系。例1用谓词逻辑表示知识“每个人都有一个父亲”。定义谓词：PERSON(x)：表示x是人。 HASFATHER(x,y)：表示x有父亲y。 谓词表示为：第二章知识表示（一阶谓词逻辑表示法）（x)(y)(PERSON(x)→HASFATHER(x,y))谓词逻辑表示方法第二章19谓词逻辑表示方法例4用谓词逻辑表示如下知识： 王宏是计算机系的一名学生。 李明是王宏的同班同学。 凡是计算机系的学生都喜欢编程序。定义谓词：COMPUTER(x)：表示x是计算机系的学生。 CLASSMATE(x,y)：表示x是y的同班同学。 LIKE(x,y)：表示x喜欢y。 谓词表示为：COMPUTER(wanghong) CLASSMATE(liming,wanghong)第二章知识表示（一阶谓词逻辑表示法）( x)(COMPUTER(x)→LIKE(x,programing))谓词逻辑表示方法第二章20谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）cab定义谓词如下：TABLE(x)：x是桌子。EMPTY(y)：y手中是空的。AT(y,z)：y在z的附近。HOLDS(y,w)：y拿着w。ON(w,x)：w在x桌面上。x∈{a,b}；y∈{robot}；z∈{a,b,c}；w∈{box}。谓词逻辑表示的应用第二章21谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）问题的初始状态：AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)问题的目标状态：AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)谓词逻辑表示的应用第二章22谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）机器人需要执行以下三个操作：Goto(x,y)：从x处走到y处。Pickup(x)：在x处拿起盒子。Setdown(x)：在x处放下盒子。每个操作对应的条件与动作如下：Goto(x,y)：条件：AT(robot,x) 动作：删除AT(robot,x) 添加AT(robot,y)谓词逻辑表示的应用第二章23谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）Pickup(x)：条件：ON(box,x),TABLE(x),AT(robot,x), EMPTY(robot)动作：删除EMPTY(robot),ON(box,x) 添加HOLDS(robot,box)谓词逻辑表示的应用第二章24谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）Setdown(x)：条件：AT(robot,x),TABLE(x),HOLDS(robot,box)动作：删除HOLDS(robot,box) 添加EMPTY(robot),ON(box,x)

谓词逻辑表示的应用第二章25谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下：

状态1(初始状态)AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)开始＝＝＝>谓词逻辑表示的应用第二章26谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下：

状态2AT(robot,a)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)Goto(x,y)＝＝＝＝>用c代换x,a代换y谓词逻辑表示的应用第二章27谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下： Pickup(x)＝＝＝＝>用a代换x

状态3AT(robot,a)HOLDS(robot,box)TABLE(a)TABLE(b)谓词逻辑表示的应用第二章28谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下： Goto(x,y)＝＝＝＝>用a代换x,b代换y

状态4AT(robot,b)HOLDS(robot,box)TABLE(a)TABLE(b)谓词逻辑表示的应用第二章29谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下：

状态5AT(robot,b)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)Setdown(x)＝＝＝＝>用b代换x谓词逻辑表示的应用第二章30谓词逻辑表示的应用机器人移盒子问题第二章知识表示（一阶谓词逻辑表示法）求解过程如下：

状态6AT(robot,c)EMPTY(robot)ON(box,b)TABLE(a)TABLE(b)Goto(x,y)＝＝＝＝>用b代换x,c代换y谓词逻辑表示的应用第二章31谓词逻辑表示的应用Hanoi塔问题第二章知识表示（一阶谓词逻辑表示法）柱1 柱2 柱3CBA柱1柱2柱3CBA定义谓词如下： DISK(x)：x是一个圆盘。 PEG(z)：z是柱子。 SMALLER(x,y)：x比y小。谓词逻辑表示的应用第二章32谓词逻辑表示的应用Hanoi塔问题第二章知识表示（一阶谓词逻辑表示法）

ON(x,y,z)：在柱子z上，x在y上。 FREE(x,z)：在柱子z上，x为顶上圆盘。 x、y∈{A,B,C}；z∈{1,2,3}。

初始状态（a） 目标状态（b） ⑴DISK(A) ⑴DISK(A) ⑵DISK(B) ⑵DISK(B) ⑶DISK(C) ⑶DISK(C) ⑷PEG(1) ⑷PEG(1)⑸PEG(2) ⑸PEG(2)谓词逻辑表示的应用第二章33谓词逻辑表示的应用Hanoi塔问题

初始状态（a） 目标状态（b） ⑹PEG(3) ⑹PEG(3) ⑺SMALLER(A,B) ⑺SMALLER(A,B)⑻SMALLER(B,C) ⑻MALLER(B,C)⑼ON(A,B,1) ⑼ON(A,B,3)⑽ON(B,C,1) ⑽ON(B,C,3) ⑾FREE(A,1) ⑾FREE(A,3)第二章知识表示（一阶谓词逻辑表示法）谓词逻辑表示的应用初34谓词逻辑表示的应用Hanoi塔问题第二章知识表示（一阶谓词逻辑表示法）定义圆盘操作函数为：MOVE(x1,y1;x2,y2)条件：FREE(x1,y1) 盘x1在柱y1顶上 FREE(x2,y2) 盘x2在柱y2顶上 DISK(x1) x1为圆盘 DISK(x2) x2为圆盘 PEG(y1) y1为柱子 PEG(y2) y2为柱子 SMALLER(x1,x2) x1比x2小动作：删除 FREE(x1,y1),FREE(x2,y2)添加 ON(x1,x2,y2)在柱子y2上，x1在x2的上方。谓词逻辑表示的应用第二章35谓词逻辑表示的应用Hanoi塔问题第二章知识表示（一阶谓词逻辑表示法）执行如下操作系列，可得到目标状态：

MOVE(A,1;Φ,3); MOVE(B,1;Φ,2); MOVE(A,3;B,2); MOVE(C,1;Φ,3); MOVE(A,2;Φ,1); MOVE(B,2;C,3); MOVE(A,1;B,3); 谓词逻辑表示的应用第二章36 谓词逻辑表示的特性主要优点：自然：接近于自然语言，易于被人们接受。明确：方法本身有明确规定，易于理解。精确：谓词逻辑是一种二值逻辑，可表示精确知识。灵活：知识和处理知识的程序分开，无需考虑处理知识细节。模块化：各条知识相对独立，不直接发生联系。第二章知识表示（一阶谓词逻辑表示法） 谓词逻辑表示的特性第二章知识表示（一阶谓词逻辑37 谓词逻辑表示的特性主要缺点：知识表示能力差：只能表示确定性知识，不能表示非确定性知识。知识库管理困难：缺乏知识的组织原则。存在组合爆炸：难以表示启发性知识，盲目推理，容易发生组合爆炸。系统效率低：根据形式逻辑进行推理，使推理过程冗长，降低了系统效率。第二章知识表示（一阶谓词逻辑表示法） 谓词逻辑表示的特性第二章知识表示（一阶谓词逻辑38 产生式表示法产生式表示法是人工智能中应用最多的一种知识表示方法，尤其是在专家系统方面，许多成功的专家系统都是采用产生式知识表示方式。产生式表示法也称为产生式规则表示法。第二章知识表示（产生式表示法） 产生式表示法第二章知识表示（产生式表示法）39 产生式表示的基本方法及特性事实的表示

事实：用来描述问题或事物的概念、属性、状态等情况的陈述句。

对确定性知识，一个事实可用一个三元组来表示。 （对象，属性，值）或（关系，对象1，对象2） （雪，颜色，白）：“雪的颜色是白的” （热爱，王峰，祖国）：“王峰热爱祖国” 对不确定性知识，一个事实可用一个四元组来表示：（对象，属性，值，可信度因子）第二章知识表示（产生式表示法） 产生式表示的基本方法及特性第二章知识表示40 产生式表示的基本方法及特性规则的表示

规则的产生式表示形式常称为产生式规则。

其基本形式为： P→Q 或者 IFPTHENQ 其中，P是产生式的前提（前件），由事实的逻辑组合来构成；Q是一组结论或操作（后件） 产生式的含义：如果前提P满足，则可推出结论Q或执行Q所规定的操作。

第二章知识表示（产生式表示法） 产生式表示的基本方法及特性第二章知识表示41 产生式表示的基本方法及特性

例子： r6：IF动物有犬齿AND有爪AND眼盯前方 THEN该动物是肉食动物

产生式与蕴含式的区别 蕴含式只能表示确定性知识

IF 本生物的染色斑是革兰氏阴性 本微生物的形状呈杆状 病人是中间宿主THEN 该微生物是绿脓杆菌，可信度为0.6第二章知识表示（产生式表示法） 产生式表示的基本方法及特性第二章知识表示42 产生式表示的基本方法及特性产生式表示的前提条件匹配可以是精确的也可以是不精确的

产生式系统的基本结构

用产生式知识表示方法构造的智能系统称为产生式系统。第二章知识表示（产生式表示法）控制系统规则库综合数据库 产生式表示的基本方法及特性第二章知识表示43 产生式系统的基本结构 综合数据库

用来存放与求解问题有关的各种当前信息的数据结构。规则库

用来存放与求解问题有关的所有规则的集合。控制系统

又称为推理机构，它由一组程序组成，用来控制整个产生式系统的运行，决定问题求解过程的推理路线，实现对问题的求解。第二章知识表示（产生式表示法） 产生式系统的基本结构 第二章知识表示（44 产生式系统的基本结构 控制系统工作原理：选择规则与已知事实进行匹配。按照某种策略选出匹配成功的一条规则。执行规则，若该规则的后件满足问题的结束条件，则停止推理；否则，若后件是结论，则把它加入到综合数据库，若后件是操作，则执行操作。记住选用的规则序列，给出推理路径。第二章知识表示（产生式表示法） 产生式系统的基本结构 第二章知识表示（45 产生式系统的基本结构

例2.5一个用于动物识别的产生式系统。 设该系统可以识别老虎、金钱豹、斑马、长颈鹿、企鹅、信天翁6种动物。 其规则库包含如下15条规则： 返回

第二章知识表示（产生式表示法）r1 IF

该动物有毛发 THEN

该动物是哺乳动物r2

IF

该动物有奶 THEN

该动物是哺乳动物r3

IF

该动物有羽毛 THEN

该动物是鸟r4

IF

该动物会飞AND会下蛋 THEN

该动物是鸟r5

IF

该动物吃肉 THEN

该动物是肉食动物 产生式系统的基本结构 第二章知识表示（46

r6

IF

该动物有犬齿 AND有爪AND眼盯前方 THEN

该动物是肉食动物

r7

IF

该动物是哺乳动物AND有蹄THEN

该动物是 有蹄类动物 r8

IF

该动物是哺乳动物AND是嚼反刍动物THEN

该动物是有蹄类动物

r9

IF

该动物是哺乳动物AND是肉食动物AND是黄 褐色AND身上有暗斑点THEN

该动物是金钱豹 r10

IF

该动物是哺乳动物AND是肉食动物AND是 黄褐色AND身上有黑色条纹THEN

该动物是虎第二章知识表示（产生式表示法） r6 IF该动物有犬齿 AND有爪AND眼盯47

r11

IF

该动物是有蹄类动物AND有长脖子AND有 长腿AND身上有暗斑点THEN

该动物是长颈鹿

r12

IF

该动物是有蹄类动物AND身上有黑色条纹 THEN

该动物是斑马 r13

IF

该动物是鸟AND有长脖子AND有长腿AND不 会飞THEN

该动物是鸵鸟 r14

IF

该动物是鸟AND会游泳AND不会飞AND有 黑白二色THEN

该动物是企鹅 r15

IF

该动物是鸟AND善飞THEN

该动物是信天翁第二章知识表示（产生式表示法） r11 IF该动物是有蹄类动物AND有长脖子AN48动物识别系统的部分推理网络第二章知识表示（产生式表示法）动物识别系统的部分推理网络第二章知识表示（产生式表示49假设在推理开始前综合数据库中存放以下事实： 动物有暗斑，有长脖子，有长腿，有奶，有蹄推理过程如下： 参看规则集规则条数 使用规则 综合数据库内容

动物有暗斑，有长脖子， 有长腿，有奶，有蹄 1 r2 加入是哺乳动物 2 r7 加入是有蹄类动物 3 r11 推出该动物是长颈鹿第二章知识表示（产生式表示法）假设在推理开始前综合数据库中存放以下事实：第二章知识50 产生式系统的基本过程

（1）初始化综合数据库，把欲解决问题的已知事 实送入综合数据库。（2）检查规则库中是否存在尚未使用过的规则， 若有则执行(3)；否则转(7)。

（3）检查规则库的未使用规则中是否存在有其前提可与综合数据库中已知事实相匹配的规则， 若有则从中选择一个；否则转(6)。

（4）执行当前选中规则，并对该规则作上标记， 把执行该规则后所得到的结论作为新的事实 放入综合数据库；如果该规则的结论是一些 操作，则执行这些操作。

第二章知识表示（产生式表示法） 产生式系统的基本过程第二章知识表示（产51 产生式系统的基本过程

（5）检查综合数据库中是否包含了该问题的解， 若已包含，则说明已求出解，问题求解过程 结束；否则，转(2)。（6）当规则库中还有未使用的规则，但均不能与 综合数据库中的已知事实相匹配时，要求用 户进一步提供关于该问题的已知事实，若能 提供，则转(2)；否则，说明该问题无解，终 止问题求解过程。

（7）若规则库中不再有未使用规则，也说明该问 题无解，终止问题求解过程。

第二章知识表示（产生式表示法） 产生式系统的基本过程第二章知识表示（产52 产生式系统的控制策略

当有多条规则可用时，如何从中选择一条作用于当前综合数据库，是一个控制策略问题（也称为冲突消解）。 不可撤回方式是一种“一直往前走”不回头的方式。根据当前已知的局部知识选取一条规则作用于当前综合数据库；再根据新状态继续选取规则，不考虑撤回。 优点：控制过程简单。 缺点：不一定能找到最优解第二章知识表示（产生式表示法） 产生式系统的控制策略第二章知识表示（产53 产生式系统的控制策略试探性方式回溯方式是一种碰壁回头的方式；先试某条规则，如果不合适，允许退回去，再试另一条规则；容易实现且所需内存容量较小。图搜索方式是一种用图或树把全部求解过程记录下来的方式；该方式记住了已试过的所有路径。 第二章知识表示（产生式表示法） 产生式系统的控制策略第二章知识表示（产54 产生式系统的类型按推理方向分类正向推理产生式系统正向推理又称为数据驱动方式，从初始状态出发，朝目标状态前进，正向使用规则。优点是简单明了且能求出所有解。缺点是执行效率较低，具有一定的盲目性。第二章知识表示（产生式表示法） 产生式系统的类型第二章知识表示（产生式55 产生式系统的类型按推理方向分类逆向推理产生式系统逆向推理又称为目标驱动方式，从目标状态出发，朝初始状态前进，逆向使用规则。优点是不寻找无用数据，不使用与问题无关的规则。双向推理产生式系统把正向推理和逆向推理结合起来使用。把问题的初始状态和目标状态合并到一起构成综合数据库。第二章知识表示（产生式表示法） 产生式系统的类型第二章知识表示（产生式56 产生式系统的类型按规则库的性质及结构分类可交换的产生式系统

系统对规则的使用次序是无关的。可分解的产生式系统

是把一个整体问题分解成若干个子问题，然后再通过对这些子问题的求解来得到整体问题解的一种产生式系统。可恢复的产生式系统

指采用回溯控制方式的产生式系统。第二章知识表示（产生式表示法） 产生式系统的类型第二章知识表示（产生式57 产生式系统的特点优点自然性：用“如果…，则…”的形式表示知识，与人类的判断性知识基本一致，直观，自然。模块性：各规则之间不能相互调用，增加了规则的模块性。有效性：既可以表示确定性知识，又可以表示不确定性知识。一致性：规则库中的所有规则都具有相同的格式。第二章知识表示（产生式表示法） 产生式系统的特点第二章知识58 产生式系统的特点缺点效率较低：其求解过程是一种反复进行的“匹配—冲突消解—执行”过程，这样的执行方式将导致执行的低效率。不能表示结构性知识：知识具有一致格式，且规则之间不能相互调用，因此具有结构关系或层次关系的知识很难表示。第二章知识表示（产生式表示法） 产生式系统的特点第二章知识59 语义网络表示法

语义网络是一种基于心理学模型的，在人工智能中应用较多的知识表示方法。 语义网络的基本概念什么是语义网络

语义网络是一种用实体及其语义关系来表达知识的有向图。

语义网络由一些最基本的语义单元（语义基元）构成。一个语义基元可用如下三元组表示： （结点1，弧，结点2）第二章知识表示（语义网络表示法） 语义网络表示法第二章知识表示（语60 语义网络的基本概念第二章知识表示（语义网络表示法）ABR一个基本网元结构例2.8用语义基元描述“鸵鸟是一种鸟”这一事实。鸵鸟鸟是一种一个具体的基本网元当把多个语义基元用相应的语义联系关联在一起时，就形成了一个语义网络。 语义网络的基本概念第二章知识61基本的语义关系类属关系：具有共同属性的不同事物间的分类关系、成员关系或实例关系。第二章知识表示（语义网络表示法）鸟类动物A-Kind-of分类关系张强共青团A-Member-of成员关系李刚人Is-a实例关系基本的语义关系第二章知识表示（语义网络表示法）62基本的语义关系包含关系：具有组织或结构特征的“部分与整体”之间的关系。第二章知识表示（语义网络表示法）大脑人体Part-of包含关系鸟翅膀Have属性关系属性关系：是指事物和其属性之间的关系。基本的语义关系第二章知识表示（语义网络表示法）63基本的语义关系时间关系：不同事件在其发生时间方面的先后次序关系。第二章知识表示（语义网络表示法）书桌子Located-on位置关系位置关系：不同事物在位置方面的关系。澳门回归After时间关系香港回归基本的语义关系第二章知识表示（语义网络表示法）64基本的语义关系相近关系：不同事物在形状、内容等方面相似或接近的关系。第二章知识表示（语义网络表示法）成绩好学习努力推出推论关系推论关系：从一个概念推出另一个概念的语义关系。猫Similar-to相似关系虎基本的语义关系第二章知识表示（语义网络表示法）65 事物和概念的表示用语义网络表示一元关系一元关系是指可以用一元谓词P(x)表示的关系。用一个结点表示实体，另一个结点表示实体的性质或属性，弧表示两个结点之间的语义关系。第二章知识表示（语义网络表示法）李刚人Is-a

事物和概念的表示第二章知识66 事物和概念的表示例2.9用语义网络表示“动物能运动、会吃”。第二章知识表示（语义网络表示法）运动吃动物能会 事物和概念的表示第二章知识67 事物和概念的表示用语义网络表示二元关系 二元关系是指可用二元谓词P(x,y)表示的关系。例2.10用语义网络表示： 第二章知识表示（语义网络表示法）动物能运动、会吃。鸟是一种动物，鸟有翅膀、会飞。鱼是一种动物，鱼生活在水中、会游泳。

返回

运动

动物

能

吃

鸟

鱼

会是一种是一种

翅膀

飞

游泳

水中

有会会生活在 事物和概念的表示第二章知识68 事物和概念的表示用语义网络表示二元关系例2.11用语义网络表示：

王强是理想公司的经理； 理想公司在中关村； 王强28岁。

第二章知识表示（语义网络表示法）中关村理想公司王强经理28岁位于工作在是年龄 事物和概念的表示第二章知识69 事物和概念的表示用语义网络表示二元关系例2.12在例2.11的基础上再增加如下事实：

另一个王强是理想公司经理聘用的职员； 职员王强22岁。第二章知识表示（语义网络表示法）中关村理想公司王强经理28岁是受聘于是王-1王-2职员22岁姓名姓名工作在工作在年龄年龄位于返回 事物和概念的表示第二章知识70 事物和概念的表示用语义网络表示多元关系

多元关系是指可用多元谓词P(x1,x2,…)表示的关系。一般采用增加关系结点的办法来表示多元关系。例2.14用语义网络表示以下事实：

北京位于沈阳和郑州之间第二章知识表示（语义网络表示法）北京郑州位置关系居中边界2沈阳边界1 事物和概念的表示第二章知识71 情况和动作的表示情况的表示 用语义网络表示情况时，需设立一个情况结点。结点有一组向外引出的弧，用于指出各种不同的情况。 例2.15用语义网络表示：

小燕子这只燕子从春天到秋天占有一个巢 需要设立一个占有结点，表示占有物和占有时间。第二章知识表示（语义网络表示法） 情况和动作的表示第二章知识72 情况和动作的表示第二章知识表示（语义网络表示法）

是一只

是一种

是一种

占有者燕子鸟占有资格小燕子巢鸟窝春天时间秋天情况占有权

是一种

是一种

是一种

是一种

占有物

开始于

结束于 情况和动作的表示第二章知识73 情况和动作的表示事件和动作的表示 用语义网络表示事件或动作时，也需设立一个事件结点。该结点也有一组向外引出的弧，用于指出动作的主体与客体。 例2.16用语义网络表示：

常河给江涛一张磁盘 把“给”作为一个动作结点第二章知识表示（语义网络表示法）

客体2

给

江涛

一张磁盘

常河

客体1

主体 情况和动作的表示第二章知识74 情况和动作的表示事件和动作的表示

把“常河给江涛一张磁盘”作为一个事件第二章知识表示（语义网络表示法）

客体2

给予事件

江涛

一张磁盘

常河

客体1

主体

给

动作 情况和动作的表示第二章知识75 情况和动作的表示事件和动作的表示 例2.17用语义网络描述如下事实：

神州大学和东方大学两校篮球队在东方大学进行一场比赛，结局的比分是85：89

第二章知识表示（语义网络表示法）

比赛

是一种

篮球赛

85:89

神州大学

结局

客队

东方大学

主队 情况和动作的表示第二章知识76 逻辑关系的表示合取与析取的表示 例2.18用语义网络表示如下事实：

参赛者有教师、有学生、有高、有低

第二章知识表示（语义网络表示法）A 教师、高B 教师、低C 学生、高D 学生、低 逻辑关系的表示第二章知识表77 语义网络的推理过程 用语义网络表示知识的问题求解系统主要由两大部分所组成，一部分是由语义网络构成的知识库，另一部分是用于问题求解的推理机构。 语义网络的推理过程主要是继承和匹配。 继承 继承是指把对事物的描述从抽象结点传递到具体结点。建立一个结点表，用来存放待求解结点和所有以Is-a、A-Kind-of等继承弧与此结点相连的那些结点。第二章知识表示（语义网络表示法） 语义网络的推理过程第二章知78 语义网络的推理过程检查表中的第一个结点是否有继承弧。如果有，就把该弧所指的所有结点放入结点表的末尾，记录这些结点的所有属性，并从结点表中删除第一个结点。如果没有，仅从结点表中删除第一个结点。重复(2)，直到结点表为空。此时，记录下来的所有属性都是待求解结点继承来的属性。例子匹配 语义网络的问题求解一般是通过匹配来实现的。第二章知识表示（语义网络表示法） 语义网络的推理过程第二章知79 语义网络的推理过程根据待求解问题的要求构造一个网络片断，该网络片断中有些结点或弧的标识是空的，称为询问处，它反应的是待求解的问题。根据该语义片断到知识库中去寻找所需要的信息。当待求解问题的网络片断与知识库中的某语义网络片断相匹配时，则与询问处相匹配的事实就是该问题的解。第二章知识表示（语义网络表示法） 语义网络的推理过程第二章知80 语义网络的推理过程

例2.22假设在知识库中存放着图2-22所示的语义网络，问职员王强在哪个公司工作。第二章知识表示（语义网络表示法）？王强是王-2职员姓名工作在 语义网络的推理过程第二章知81 语义网络表示法的特征优点结构性：下层结点可以继承、新增和变异上层结点的属性，从而实现了信息的共享。联想性：强调事物间的语义联系，体现了人类的联想思维过程。自索引性：通过与某一结点连接的弧可以很容易地找出与该结点有关的信息，而不用查找整个知识库。第二章知识表示（语义网络表示法） 语义网络表示法的特征第二章知识表示（语义82 语义网络表示法的特征自然性：是一个带标识的有向图，表示知识直观，符合人们的习惯。缺点非严格性：没有严格的形式表示体系，其含义完全依赖于处理程序对它所进行的解释，不能保证正确性。复杂性：虽然灵活，但由于表示形式不一致，对它的处理较复杂。第二章知识表示（语义网络表示法） 语义网络表示法的特征第二章知识表示（语义83 框架表示法

框架表示法是在框架理论的基础上发展起来的一种结构化知识表示方法。

框架理论

认为人们对现实世界中各种事物的认识都是以一种类似于框架的结构存储在记忆中的。 在框架理论中，框架是知识的基本单位，把一组有关的框架连接起来便可形成一个框架系统。第二章知识表示（框架表示法） 框架表示法第二章知识表示（框84 框架和实例框架框架的基本结构一个框架由若干个“槽”组成。

每一个槽又拥有若干个侧面。每一个侧面也可以拥有若干个侧面值。对于不同的框架、槽、侧面应该赋予不同的名字。第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表85 框架和实例框架框架的基本结构

<框架名>

槽名1：侧面名11 值111，值112，

侧面名12 值121，值122， :

槽名2：侧面名21 值211，值212，

侧面名22 值221，值222， :

槽名n：侧面名n1 值n11，值n12，

侧面名n2 值n21，值n22， :

侧面名nm 值nm1，值nm2，第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表86 框架和实例框架框架的基本结构

约束：约束条件1 约束条件2 :

约束条件k框架的槽值和侧面值，既可以是数字、字符串、布尔值，也可以是一个在满足某个给定条件时需执行的动作或过程，甚至还可以是另外一个框架的名字。 第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表87 框架和实例框架例2.23给出一个用来描述硕士生有关情况的具体 框架。 该框架描述如下：

框架名：<硕士生>

姓名：单位（姓，名）

性别：范围（男，女） 默认：男

年龄：单位（岁） 条件：岁>16

学习专业：单位（专业名）

研究方向：单位（方向名）

导师姓名：单位（姓，名）第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表88 框架和实例框架

框架名：<硕士生>

参加课题：范围（国家级、省部级，其他） 默认：国家级

学籍：<硕学籍>

住址：单位（楼号，房间号）

电话：单位（（区号），话机号）

入学时间：单位（年，月）

学制：单位（年） 默认：3年实例框架

框架名：<硕士生-1>第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表89 框架和实例框架

姓名：杨叶

性别：女

年龄：23

学习专业：计算机应用技术

研究方向：人工智能

导师姓名：林海

参加课题：

学籍：<硕学籍-1>

住址：16号楼316房间

电话：（010）66668888

入学时间：2000年9月

学制：第二章知识表示（框架表示法） 框架和实例框架第二章知识表示（框架表90 框架系统框架系统的基本结构框架之间的横向联系框架之间的纵向联系

第二章知识表示（框架表示法）

学生框架

计算机系硕士生

硕士生框架

本科生框架

博士生框架

电子系硕士生

硕士生-1

硕士生-n

…………… 框架系统第二章知识表示（框架表示法）91 框架系统的表示

框架系统之间的纵向联系是通过在下层框架中增加“继承”槽来实现的。

框架名：<学生>

姓名：单位（姓，名）

性别：范围（男，女） 默认：男

年龄：单位（岁）

住址：单位（楼号，房间号）

电话：单位（（区号），话机号）

入学时间：单位（年，月）

学制：单位（年）第二章知识表示（框架表示法） 框架系统的表示第二章知识表示（92 框架系统的表示硕士生框架

框架名：<硕士生>

继承：<学生>

学籍：<硕学籍>

研究方向：单位（方向名）

导师姓名：单位（姓，名）

参加课题：范围（国家级、省部级，其他） 默认：国家级

学位论文：单位（论文题目） 默认：题目未定第二章知识表示（框架表示法） 框架系统的表示第二章知识表示（框架表93 框架系统的表示

框架名：<计算机系硕士生>

继承：<硕士生>

专业：范围（计算机应用技术，计算机软件 及理论） 默认：计算机应用技术

使用计算机：单位（计算机型号）第二章知识表示（框架表示法） 框架系统的表示第二章知识表示（94 框架系统的表示

框架名：<硕学籍>

公修课：<硕公修课（C1)>

专业课：<硕专业课（C2)>

学术活动：时间安排：单位（学期号） 活动形式：范围（参加会议，学术考察） 默认：参加会议 获学分C3：单位（整数型） 默认：C3=0

教学实践：时间安排：单位（学期号） 实践形式：范围（讲课，辅导） 默认：辅导第二章知识表示（框架表示法） 框架系统的表示第二章知识表示（95 框架系统的表示

框架名：<硕学籍> 获学分C4：单位（整数型） 默认：C4=0

开题报告：时间安排：单位（学期号） 报告题目：单位（题目名称） 默认：题目未定 获学分C5：单位（整数型） 默认：C5=0

已获学分C：单位（C的值为C1,C2,C3,C4,C5之和） 条件：C=C1＋C2＋C3＋C4＋C5 C<=35 第二章知识表示（框架表示法） 框架系统的表示第二章知识表示（96 框架系统的表示框架名：<硕公修课(CP)>

政治：开设时间：单位（学期号） 考试分数：单位（百分制） 已获学分CP1：单位（整数型） 默认：CP1=0

哲学：开设时间：单位（学期号） 考试分数：单位（百分制） 已获学分CP2：单位（整数型） 默认：CP2=0

一外：开设时间：单位（学