1、12.5 语义网络表示法语义网络表示法 2.5.1 语义网络的基本概念语义网络的基本概念 2.5.2 事务和概念的语义网络表示事务和概念的语义网络表示 2.5.3 情况和动作的语义网络表示情况和动作的语义网络表示 2.5.4 逻辑关系的语义网络表示逻辑关系的语义网络表示 2.5.5 语义网络的求解过程语义网络的求解过程 2.5.6 语义网络表示法的特征语义网络表示法的特征 语义网络是奎廉语义网络是奎廉(J.R.Quillian) 1968年在研究人类联想记忆时提出的一种年在研究人类联想记忆时提出的一种心理学模型,认为记忆是由概念间的联系实现的。随后,奎廉又把它用作心理学模型,认为记忆是由概念间
2、的联系实现的。随后,奎廉又把它用作知识表示。知识表示。1972年,西蒙在他的自然语言理解系统中也采用了语义网络表年,西蒙在他的自然语言理解系统中也采用了语义网络表示法。示法。1975年,亨德里克年,亨德里克(G.G.Hendrix)又对全称量词的表示提出了语义网又对全称量词的表示提出了语义网络分区技术。络分区技术。22.5.1 语义网络的基本概念语义网络的基本概念什么是语义网络什么是语义网络(1/2)什么是语义网络什么是语义网络 语义网络是一种用实体及其语义关系来表达知识的有向图。语义网络是一种用实体及其语义关系来表达知识的有向图。 结点代表实体结点代表实体,表示各种事物、概念、情况、属性、状
3、态、事件、动作等;,表示各种事物、概念、情况、属性、状态、事件、动作等; 弧代表语义关系弧代表语义关系,表示它所连结的两个实体之间的语义联系,它必须带有,表示它所连结的两个实体之间的语义联系,它必须带有标识。标识。语义基元语义基元 语义网络中最基本的语义单元称为语义基元,可用三元组表示为:语义网络中最基本的语义单元称为语义基元,可用三元组表示为: (结点(结点1,弧,结点,弧,结点2)基本网元基本网元 指一个语义基元对应的有向图指一个语义基元对应的有向图 例如:例如:若有语义基元(若有语义基元(A, R, B),其中,),其中,A、B分别表示两个结点,分别表示两个结点,R表示表示A与与B之间的
4、某种语义联系,则它所对应的基本网元如下图所示:之间的某种语义联系,则它所对应的基本网元如下图所示: ABR32.5.1 语义网络的基本概念语义网络的基本概念什么是语义网络什么是语义网络(2/2) 语义网络的简单例子语义网络的简单例子 例例2.7 用于一网络表示用于一网络表示“鸵鸟是一种鸟鸵鸟是一种鸟” 语义网络与产生式对应的表示能力语义网络与产生式对应的表示能力 事实的表示:事实的表示: 例:例:“雪的颜色是白的雪的颜色是白的” 规则的表示:规则的表示: 例:规则例:规则R的含义是的含义是“如果如果 A 则则 B ”鸵鸟鸵鸟鸟鸟是一种是一种雪雪白白颜色颜色ABR42.5.1 语义网络的基本概念
5、语义网络的基本概念基本的语义关系基本的语义关系(1/6)实例关系:实例关系: ISA 体现的是体现的是“具体与抽象具体与抽象”的概念,含义为的概念,含义为“是一个是一个”,表示一个事物,表示一个事物是另一个事物的一个实例。例是另一个事物的一个实例。例分类关系:分类关系: AKO 亦称泛化关系,体现的是亦称泛化关系,体现的是“子类与超类子类与超类”的概念,含义为的概念,含义为“是一种是一种”,表示一个事物是另一个事物的一种类型。例表示一个事物是另一个事物的一种类型。例成员关系:成员关系: A-Member-of 体现的是体现的是“个体与集体个体与集体”的关系,含义为的关系,含义为“是一员是一员”
6、,表示一个事物,表示一个事物是另一个事物的一个成员。例是另一个事物的一个成员。例上述关系的主要特征上述关系的主要特征 最主要特征是最主要特征是属性的继承性属性的继承性,处在具体层的结点可以继承抽象层结点,处在具体层的结点可以继承抽象层结点的所有属性。如以上例子的所有属性。如以上例子鸟鸟动物动物AKO张强张强共青团员共青团员A-Member-of人人李刚李刚ISA52.5.1 语义网络的基本概念语义网络的基本概念基本的语义关系基本的语义关系(2/6)属性关系属性关系 指事物和其属性之间的关系。常用的属性关系有指事物和其属性之间的关系。常用的属性关系有: Have:含义为含义为“有有”,表示一个结
7、点具有另一个结点所描述的属性,表示一个结点具有另一个结点所描述的属性 Can:含义为含义为 “能能”、“会会”,表示一个结点能做另一个结点的事情,表示一个结点能做另一个结点的事情 例如:例如:“鸟有翅膀鸟有翅膀” Age: 含义为含义为 “年龄年龄” ,表示一个结点是另一个结点在年龄方面的属性,表示一个结点是另一个结点在年龄方面的属性 例如:例如:“张强张强18岁岁”鸟鸟翅膀翅膀Have张强张强18Age62.5.1 语义网络的基本概念语义网络的基本概念基本的语义关系基本的语义关系(3/6)聚类关系聚类关系 亦称包含关系。指具有组织或结构特征的亦称包含关系。指具有组织或结构特征的“部分与整体部
8、分与整体”之间的关系。之间的关系。常用的包含关系是:常用的包含关系是: Part-of :含义为含义为“是一部分是一部分”,表示一个事物是另一个事物的一部分。,表示一个事物是另一个事物的一部分。 例如,例如,“大脑是人体的一部分大脑是人体的一部分” 再如,再如,“黑板是墙体的一部分黑板是墙体的一部分”聚类关系与实例、分类、成员关系的主要区别聚类关系与实例、分类、成员关系的主要区别 聚类关系一般不具备属性的继承性。聚类关系一般不具备属性的继承性。 如上两个例子,大脑不一定具有人的各种属性如上两个例子,大脑不一定具有人的各种属性 黑板也不具有墙的各种属性。黑板也不具有墙的各种属性。大脑大脑人体人体
9、Part-of黑板黑板墙体墙体Part-of72.5.1 语义网络的基本概念语义网络的基本概念基本的语义关系基本的语义关系(4/6)时间关系时间关系 指不同事件在其发生时间方面的先后次序关系。指不同事件在其发生时间方面的先后次序关系。 常用的时间关系有:常用的时间关系有: Before:含义为含义为“在前在前”,表示一个事件在另一个事件之,表示一个事件在另一个事件之前发生前发生 After: 含义为含义为“在后在后”,表示一个事件在另一个事件之后,表示一个事件在另一个事件之后发生发生 例如:例如:“北京奥运会在悉尼奥运会之后北京奥运会在悉尼奥运会之后”北京奥运会北京奥运会悉尼奥运会悉尼奥运会A
10、fter82.5.1 语义网络的基本概念语义网络的基本概念基本的语义关系基本的语义关系(5/6)位置关系位置关系 指不同事物在位置方面的关系。常用的位置关系有:指不同事物在位置方面的关系。常用的位置关系有: Located-on:含义为含义为“在上在上”,表示某一物体在另一物体之上,表示某一物体在另一物体之上 Located-at:含义为含义为“在在”,表示某一物体所在的位置,表示某一物体所在的位置 Located-under:含义为含义为“在下在下”,表示某一物体在另一物体之下,表示某一物体在另一物体之下 Located-inside:含义为含义为“在内在内”,表示某一物体在另一物体之内;,
11、表示某一物体在另一物体之内; Located-outside:含义为含义为“在外在外”,表示某一物体在另一物体之外。,表示某一物体在另一物体之外。 例如,例如,“书在桌子上书在桌子上”书书桌子桌子Located-on92.5.1 语义网络的基本概念语义网络的基本概念基本的语义关系基本的语义关系(6/6)相近关系相近关系 指不同事物在形状、内容等方面相似或接近。常用的相近关系有:指不同事物在形状、内容等方面相似或接近。常用的相近关系有: Similar-to:含义为含义为“相似相似”,表示某一事物与另一事物相似,表示某一事物与另一事物相似 Near-to:含义为含义为“接近接近”,表示某一事物与
12、另一事物接近,表示某一事物与另一事物接近 例如,例如,“猫似虎猫似虎” 虎猫Similar-to102.5.2 事物和概念的表示事物和概念的表示表示一元关系表示一元关系一元关系一元关系 指可以用一元谓词指可以用一元谓词P(x)表示的关系。谓词表示的关系。谓词P说明实体的性质、属性等。说明实体的性质、属性等。 描述的是一些最简单、最直观的事物或概念,描述的是一些最简单、最直观的事物或概念, 常用:常用:“是是”、“有有”、“会会”、“能能”等语义关系来说明。如,等语义关系来说明。如,“雪雪是白的是白的” 。一元关系的描述一元关系的描述 应该说,语义网络表示的是二元关系。如何用它来描述一元关系?应
13、该说,语义网络表示的是二元关系。如何用它来描述一元关系? 结点结点1表示实体,结点表示实体,结点2表示实体的性质或属性等,弧表示语义关系。表示实体的性质或属性等,弧表示语义关系。 例如,例如,“李刚是一个人李刚是一个人”为一元关系,其语义网络如前所示。为一元关系,其语义网络如前所示。 例例2.8 用语义网络表示用语义网络表示“动物能运动、会吃动物能运动、会吃” 。运动运动吃吃动物动物CanCan112.5.2 事物和概念的表示事物和概念的表示表示二元关系表示二元关系(1/4)二元关系二元关系 可用二元谓词可用二元谓词P(x,y)表示的关系。其中,表示的关系。其中,x,y为实体,为实体,P为实体
14、之为实体之间的关系。间的关系。 单个二元关系可直接用一个基本网元来表示,如前介绍的一些常单个二元关系可直接用一个基本网元来表示,如前介绍的一些常用的二元关系及其表示。用的二元关系及其表示。 对复杂关系,可通过一些相对独立的二元或一元关系的组合来实对复杂关系,可通过一些相对独立的二元或一元关系的组合来实现。现。 例例2-9 用语义网络表示:用语义网络表示: 动物能运动、会吃。动物能运动、会吃。 鸟是一种动物,鸟有翅膀、会飞。鸟是一种动物,鸟有翅膀、会飞。 鱼是一种动物,鱼生活在水中、会游泳。鱼是一种动物,鱼生活在水中、会游泳。 对于这个问题,各种动物的属性按属性关系描述,动物之间的分对于这个问题
15、,各种动物的属性按属性关系描述,动物之间的分类关系用类属关系描述。类关系用类属关系描述。 122.5.2 事物和概念的表示事物和概念的表示表示二元关系表示二元关系(2/4)动物动物吃吃运动运动翅膀翅膀水中水中鸟鸟鱼鱼飞飞游泳游泳CanCanAKOLiveHaveCanAKOCan132.5.2 事物和概念的表示事物和概念的表示表示二元关系表示二元关系(3/4) 例例2-10 用语义网络表示:用语义网络表示: 王强是理想公司的经理;王强是理想公司的经理; 理想公司在中关村;理想公司在中关村; 王强王强28岁。岁。 中关村中关村理想公司理想公司王强王强经理经理28岁岁Located-at-Work
16、-forHeadshipAge142.5.2 事物和概念的表示事物和概念的表示表示二元关系表示二元关系(4/4) 例例2-11:李新的汽车的款式是:李新的汽车的款式是“捷达捷达”、银灰色。、银灰色。 王红的汽车的款式是王红的汽车的款式是“凯越凯越”、红色。、红色。 李新和王红的汽车均属于具体概念李新和王红的汽车均属于具体概念,可增加可增加“汽车汽车” 这个抽象概念。这个抽象概念。捷达捷达李新李新汽车汽车1银灰色银灰色人人汽车汽车交通工具交通工具王红王红汽车汽车2红色红色凯越凯越BrandOwnerColorISAISAAKOColorOwnerBrandISAISA152.5.2 事物和概念的
17、表示事物和概念的表示表示多元关系表示多元关系多元关系多元关系 可用多元谓词可用多元谓词P(x1,x2,)表示的关系。其中,个体表示的关系。其中,个体x1,x2,为实为实体,谓词体,谓词P说明这些实体之间的关系。说明这些实体之间的关系。 用语义网络表示多元关系时,可把它转化为一个或多个二员关系的组合,用语义网络表示多元关系时,可把它转化为一个或多个二员关系的组合,然后再利用下一节讨论的合取关系的表示方法,把这种多元关系表示出来。然后再利用下一节讨论的合取关系的表示方法,把这种多元关系表示出来。 162.5.3 情况和动作的表示情况和动作的表示情况的表示情况的表示(1/2)表示方法:表示方法:西蒙
18、提出了增加西蒙提出了增加情况情况和和动作动作结点的描述方法结点的描述方法 例例2-12: 用语义网络表示:用语义网络表示: “小燕子这只燕子从春天到秋天占有一个巢小燕子这只燕子从春天到秋天占有一个巢”需要设立一个需要设立一个占有权占有权结点,表示占有物和占有时间等。结点,表示占有物和占有时间等。 小燕子小燕子燕子燕子鸟鸟巢巢鸟窝鸟窝春天春天时间时间秋天秋天情况情况占有权占有权占有资格占有资格ISAAKOOwneeStarAKOAKOEndAKOAKOOwnerAKO172.5.3 情况和动作的表示情况和动作的表示情况的表示情况的表示(2/2) 对上述问题,也可以对上述问题,也可以把占有作为一种
19、关系把占有作为一种关系,并用一条弧来表示,但在,并用一条弧来表示,但在这种表示方法下,占有关系就无法表示了这种表示方法下,占有关系就无法表示了 小燕子小燕子燕子燕子鸟鸟巢巢鸟窝鸟窝ISAAKOOwnsAKO182.5.3 情况和动作的表示情况和动作的表示事件和动作的表示事件和动作的表示用语义网络表示事件或动作时,需要设立一个用语义网络表示事件或动作时,需要设立一个事件事件或或动作动作结点结点动作结点:动作结点:由一些向外引出的弧来指出动作的主体与客体。由一些向外引出的弧来指出动作的主体与客体。 例例2-13 用于语义网络表示:用于语义网络表示: “常河给江涛一张磁盘常河给江涛一张磁盘”事件结点
20、:事件结点:如上例用一个事件结点描述如上例用一个事件结点描述一张磁盘一张磁盘常河常河给给江涛江涛GiftReceiverGiver一张磁盘一张磁盘给予事件给予事件给给常河常河江涛江涛GiftReceiverGiverAction192.5.4 逻辑关系的表示逻辑关系的表示合取和析取的表示合取和析取的表示表示方法:表示方法:可通过增加合取结点和析取结点来实现可通过增加合取结点和析取结点来实现 例例2-14 :用语义网络表示如下事实:用语义网络表示如下事实: “参赛者有教师、有学生、有高、有低参赛者有教师、有学生、有高、有低” 首先需要分析参赛者的不同情况,可得到以下四种情况:首先需要分析参赛者的
21、不同情况,可得到以下四种情况: A 教师、高;教师、高; B 教师、低教师、低 C 学生、高;学生、高; D 学生、低学生、低 然后在按照他们的逻辑关系用语义网络表示出来。然后在按照他们的逻辑关系用语义网络表示出来。人人参赛者参赛者ABCD或或或或教师教师学生学生高高低低与与IsPartPartPartPartStateStateStateState202.5.4 逻辑关系的表示逻辑关系的表示否定的表示否定的表示(1/2) 可分为可分为基本语义关系基本语义关系的否定和的否定和一般语义关系一般语义关系的否定的否定 基本语义关系的否定的表示基本语义关系的否定的表示 可通过在有向弧上直接标注该基本语
22、义关系的否定的方法来解可通过在有向弧上直接标注该基本语义关系的否定的方法来解决。决。 例例2-15: 用语义网络表示:书不在桌子上用语义网络表示:书不在桌子上 采用在有向弧上直接标注该基本语义关系的否定的方法,该语采用在有向弧上直接标注该基本语义关系的否定的方法,该语义网络为义网络为 书书桌子桌子Located-on212.5.4 逻辑关系的表示逻辑关系的表示否定的表示否定的表示(2/2)一般语义关系的否定的表示一般语义关系的否定的表示对一般语义关系的否定,通常需要对一般语义关系的否定,通常需要引进引进“非非”节点节点来表示。来表示。例例2-16: 用语义网络表示:用语义网络表示: 常河没有给
23、江涛一张磁盘常河没有给江涛一张磁盘采用引进采用引进“非非”节点的方法,其语义网络如下图节点的方法,其语义网络如下图一张磁盘一张磁盘 给给 非非常河常河江涛江涛GiftGiverReceiver222.5.4 逻辑关系的表示逻辑关系的表示蕴含的表示蕴含的表示通过增加蕴含关系节点来实现通过增加蕴含关系节点来实现 在蕴含关系中,有两条指向蕴含节点的弧,一条代表前提条件,标记为在蕴含关系中,有两条指向蕴含节点的弧,一条代表前提条件,标记为ANTE;另一条代表结论,标记为;另一条代表结论,标记为CONSE。 例例2-18: 用语义网络表示如下知识:用语义网络表示如下知识: “如果学校组织大学生机器人竞赛
24、活动,那么李强就参加比赛如果学校组织大学生机器人竞赛活动,那么李强就参加比赛”该蕴含关系的语义网络如下图。其中,在前提条件中,机器人竞赛的组织者该蕴含关系的语义网络如下图。其中,在前提条件中,机器人竞赛的组织者是学校,参赛对象是学生操纵的机器人,而机器人只不过是一种智能机器。是学校,参赛对象是学生操纵的机器人,而机器人只不过是一种智能机器。学校学校比赛比赛活动活动机器人机器人机器人竞赛机器人竞赛蕴含蕴含参加比赛参加比赛学生学生智能机器智能机器李强李强人人RacerAKOConstitutionManipulatorANTECONSEISAAKOAKOJoiner232.5.4 逻辑关系的表示逻
25、辑关系的表示存在和全称量词的表示存在和全称量词的表示(1/4)存在量词:存在量词:可直接用可直接用“ISA”、“AKO”等这样的语义关系来表示等这样的语义关系来表示全称量词:全称量词:可采用亨德里克提出的网络分区技术可采用亨德里克提出的网络分区技术 基本思想:基本思想:把一个复杂命题划分为若干个子命题,每个子命题用一个较把一个复杂命题划分为若干个子命题,每个子命题用一个较简单的语义网络表示,称为一个子空间,多个子空间构成一个大空间。每简单的语义网络表示,称为一个子空间,多个子空间构成一个大空间。每个子空间看作是大空间中的一个结点,称作个子空间看作是大空间中的一个结点,称作超结点超结点。空间可逐
26、层嵌套,子。空间可逐层嵌套,子空间之间用弧互相连结。空间之间用弧互相连结。 例例2-19 用语义网络表示如下事实:用语义网络表示如下事实: “每个学生都学习了一门程序设计语言每个学生都学习了一门程序设计语言” 其语义网络如下图。在该图中:其语义网络如下图。在该图中: GS是一个概念结点,是一个概念结点,它表示具有全称量化的一般事件。它表示具有全称量化的一般事件。 g是一个实例结点,是一个实例结点,代表代表GS 中的一个具体例子,如上所提到的事实。中的一个具体例子,如上所提到的事实。 s是一个全称变量,是一个全称变量,表示任意一个学生。表示任意一个学生。 l是一个存在变量,是一个存在变量,表示某
27、一次学习。表示某一次学习。 P是一个存在变量,是一个存在变量,表示某一门程序设计语言。表示某一门程序设计语言。 这样,这样,s、l、p之间的语义联系就构成一个子空间,它表示对每一个学生之间的语义联系就构成一个子空间,它表示对每一个学生s,都存在一个学习事件,都存在一个学习事件l 和一门程序设计语言和一门程序设计语言p。242.5.4 逻辑关系的表示逻辑关系的表示存在和全称量词的表示存在和全称量词的表示(2/4) 在从结点在从结点g引出的三条弧中,弧引出的三条弧中,弧“ISA”说明结点说明结点g是是GS中一个中一个实例;弧实例;弧“F”说明它所代表的子空间及其具体形式;弧说明它所代表的子空间及其
28、具体形式;弧“ ”说说明它所代表的全称量词。明它所代表的全称量词。GSg+slp学生学生学习学习程序语言程序语言ISAISAISAFSubjectObjectISA252.5.4 逻辑关系的表示逻辑关系的表示存在和全称量词的表示存在和全称量词的表示(3/4) 每一个全称量词都需要一条这样的弧,子空间中有多少个全称量词,每一个全称量词都需要一条这样的弧,子空间中有多少个全称量词,就需要有多少条这样的弧。就需要有多少条这样的弧。 例例2-19 用语义网络表示事实:用语义网络表示事实: “每个学生都学习了所有的程序设计课程每个学生都学习了所有的程序设计课程” 其语义网络如下图所示。其中,结点其语义网
29、络如下图所示。其中,结点g有两条指向全称变量的弧。有两条指向全称变量的弧。学生学生学习学习程序设计课程序设计课gGSslpISAISAISASubjectObjectISAF262.5.4 逻辑关系的表示逻辑关系的表示存在和全称量词的表示存在和全称量词的表示(4/4) 另外,在网络分区技术中,要求另外,在网络分区技术中,要求F指向的子空间中的所有非全称变量结指向的子空间中的所有非全称变量结点都应该是存在量词约束的变量,否则应放在子空间的外面。点都应该是存在量词约束的变量,否则应放在子空间的外面。 例例2-21: 用语义网络表示事实:用语义网络表示事实: “每个学生都学习了每个学生都学习了C+语
30、言语言” 其语义网络如下图所示。结点其语义网络如下图所示。结点“C+语言语言”代表一门具体的程序设计语代表一门具体的程序设计语言,是结点言,是结点“程序语言程序语言”的一个实例,故被放到的一个实例,故被放到F所指的子空间的外边所指的子空间的外边 GSgsl学生学生学习学习C+语言语言程序语言程序语言ISAISASubjectObjectFISAISA272.5.5 语义网络的推理过程语义网络的推理过程继承继承 用语义网络表示知识的问题求解系统主要由两大部分所组成,一部分是用语义网络表示知识的问题求解系统主要由两大部分所组成,一部分是由语义网络构成的知识库,另一部分是用于问题求解的推理机构由语义
31、网络构成的知识库,另一部分是用于问题求解的推理机构。 语义网络的推理过程主要有两种,一种是继承,另一种是匹配。语义网络的推理过程主要有两种,一种是继承,另一种是匹配。继承继承 是指把对事物的描述从抽象结点传递到实例结点。通过继承可以得到所是指把对事物的描述从抽象结点传递到实例结点。通过继承可以得到所需结点的一些属性值,它通常是沿着需结点的一些属性值,它通常是沿着ISA、AKO等继承弧进行的。等继承弧进行的。 继承的一般过程:继承的一般过程: (1) 建立一个结点表,用来存放待求解结点和所有以建立一个结点表,用来存放待求解结点和所有以ISA、AKO等继承弧等继承弧与此结点相连的那些结点。初始情况
32、下,表中只有待求解结点。与此结点相连的那些结点。初始情况下,表中只有待求解结点。 (2) 检查表中的第一个结点是否是有继承弧。如果有,就把该弧所指的所检查表中的第一个结点是否是有继承弧。如果有,就把该弧所指的所有结点放入结点表的末尾,记录这些结点的所有属性,并从结点表中删除有结点放入结点表的末尾,记录这些结点的所有属性,并从结点表中删除第一个结点。如果没有继承弧,仅从结点表中删除第一个结点。第一个结点。如果没有继承弧,仅从结点表中删除第一个结点。 (3) 重复重复(2),直到结点表为空。此时,记录下来的所有属性都是待求解结,直到结点表为空。此时,记录下来的所有属性都是待求解结点继承来的属性。点
33、继承来的属性。 例如,在图例如,在图2-20 (P12)所示的语义网络中,通过继承关系可以得到)所示的语义网络中,通过继承关系可以得到“鸟鸟”具有:会吃、能运动的属性具有:会吃、能运动的属性 282.5.5 语义网络的推理过程语义网络的推理过程匹配匹配 是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。 匹配的主要过程:匹配的主要过程: (1) 根据待求解问题的要求构造一个网络片断,该网络片断中有些结点或弧根据待求解问题的要求构造一个网络片断,该网络片断中有些结点或弧的标识是空的,称为询问处,它反映的是待求解的问题。的标识是
34、空的,称为询问处,它反映的是待求解的问题。 (2) 根据该语义片断到知识库中去寻找所需要的信息。根据该语义片断到知识库中去寻找所需要的信息。 (3) 当待求解问题的网络片断与知识库中的某语义网络片断相匹配时,则与当待求解问题的网络片断与知识库中的某语义网络片断相匹配时,则与询问处相匹配的事实就是问题的解。询问处相匹配的事实就是问题的解。 例例 :假设例假设例2-10的语义网络已在知识库中,问王强在哪个公司工作。的语义网络已在知识库中,问王强在哪个公司工作。 根据这个问题的要求,可构造如如下语义网络片断。根据这个问题的要求,可构造如如下语义网络片断。 当用该语义网络片断与图当用该语义网络片断与图
35、p13所示的语义网络进行匹配时,由所示的语义网络进行匹配时,由“工作在工作在”弧所指的结点可知,职员王强工作在弧所指的结点可知,职员王强工作在“理想公司理想公司”,这就得到了问题的答案。,这就得到了问题的答案。 若还想知道职员王强的其它情况,则可在语义网络中增加相应的空结点若还想知道职员王强的其它情况,则可在语义网络中增加相应的空结点。?王强王强Work-for29 例 John打了他的经理Tom后失业了。30 解:解: 构造问题子网络构造问题子网络 匹配:匹配: 问题的解:问题的解: 问题:问题:Tom与与John是什么关系?是什么关系?语意义语意义网络:网络:John打打了他的了他的经理经
36、理Tom后后失业了失业了问题:问题:Tom干干了什么?了什么?31问题:Tom与John是什么关系?322.5.6 语义网络表示法的特征语义网络表示法的特征主要优点:主要优点: 结构性结构性 把事物的属性以及事物间的各种语义联系显式地表示出来,是一种结构把事物的属性以及事物间的各种语义联系显式地表示出来,是一种结构化的知识表示方法。在这种方法中,下层结点可以继承、新增、变异上层结点的属化的知识表示方法。在这种方法中,下层结点可以继承、新增、变异上层结点的属性。性。 联想性联想性 本来是作为人类联想记忆模型提出来的,它着重强调事物间的语义联系,本来是作为人类联想记忆模型提出来的,它着重强调事物间
37、的语义联系,体现了人类的联想思维过程。体现了人类的联想思维过程。 自索引性自索引性 把各接点之间的联系以明确、简洁的方式表示出来,通过与某一结点把各接点之间的联系以明确、简洁的方式表示出来,通过与某一结点连结的弧可以很容易的找出与该结点有关的信息,而不必查找整个知识库。这种自连结的弧可以很容易的找出与该结点有关的信息,而不必查找整个知识库。这种自索引能力有效的避免搜索时所遇到的组合爆炸问题。索引能力有效的避免搜索时所遇到的组合爆炸问题。 自然性自然性 这种带有标识的有向图,可比较直观地把知识表示出来,符合人们表达这种带有标识的有向图,可比较直观地把知识表示出来,符合人们表达事物间关系的习惯,并
38、且与自然语言语义网络之间的转换也比较容易实现。事物间关系的习惯,并且与自然语言语义网络之间的转换也比较容易实现。主要缺点:主要缺点: 非严格性非严格性 没有象谓词那样严格的形式表示体系,一个给定语义网络的含义完全没有象谓词那样严格的形式表示体系,一个给定语义网络的含义完全依赖于处理程序对它所进行的解释,通过语义网络所实现的推理不能保证其正确性。依赖于处理程序对它所进行的解释,通过语义网络所实现的推理不能保证其正确性。 复杂性复杂性 语义网络表示知识的手段是多种多样的,这虽然对其表示带来了灵活性,语义网络表示知识的手段是多种多样的,这虽然对其表示带来了灵活性,但同时也由于表示形式的不一致,使得它
39、的处理增加了复杂性。但同时也由于表示形式的不一致,使得它的处理增加了复杂性。 33S1characterISAGSGMORTALMANMISAFORMS1colorpart-ofISAFORMISAGSGCCLOUDLINESILVERISAS1characterunitobjectsubjectISAISAISAFORMGSGmbranch managerDECparticipate inpinpplanprofit-sharing34第第2章章 知识表示知识表示 2.5 语义网络表示法语义网络表示法 2.6 框架表示法框架表示法 2.7 过程表示法过程表示法352.6 框架表示法 框架表示
40、法是在框架理论的基础上发展框架表示法是在框架理论的基础上发展起来的一种结构化知识表示方法。起来的一种结构化知识表示方法。 2.6.1 框架理论框架理论 2.6.2 框架和实例框架框架和实例框架 2.6.3 框架网络框架网络 2.6.4 框架系统的问题求解过程框架系统的问题求解过程 2.6.5 框架表示法的特征框架表示法的特征362.6.1 框架理论框架理论 框架理论是明斯基于框架理论是明斯基于1975年作为理解视觉、自然语言对话及其它复杂年作为理解视觉、自然语言对话及其它复杂行为的一种基础提出来的。行为的一种基础提出来的。 它认为人们对现实世界中各种事物的认识都是以一种类似于框架的结它认为人们
41、对现实世界中各种事物的认识都是以一种类似于框架的结构存储在记忆中的,当遇到一个新事物时,就从记忆中找出一个合适的框构存储在记忆中的,当遇到一个新事物时,就从记忆中找出一个合适的框架,并根据新的情况对其细节加以修改、补充,从而形成对这个新事物的架,并根据新的情况对其细节加以修改、补充,从而形成对这个新事物的认识。认识。 例如,对饭店、教室等的认识。例如,对饭店、教室等的认识。 框架:框架:是人们认识事物的一种通用的数据结构形式。即当新情况发生是人们认识事物的一种通用的数据结构形式。即当新情况发生时,人们只要把新的数据加入到该通用数据结构中便可形成一个具体的实时,人们只要把新的数据加入到该通用数据
42、结构中便可形成一个具体的实体体(类类),这样的通用数据结构就称为框架。,这样的通用数据结构就称为框架。 实例框架:实例框架:对于一个框架,当人们把观察或认识到的具体细节填入后,对于一个框架,当人们把观察或认识到的具体细节填入后,就得到了该框架的一个具体实例,框架的这种具体实例被称为实例框架。就得到了该框架的一个具体实例,框架的这种具体实例被称为实例框架。 框架系统:框架系统:在框架理论中,框架是知识的基本单位,把一组有关的框在框架理论中,框架是知识的基本单位,把一组有关的框架连结起来便可形成一个框架系统。架连结起来便可形成一个框架系统。 框架系统推理:框架系统推理:由框架之间的协调来完成。由框
43、架之间的协调来完成。 372.6.2框架结构和框架表示框架结构和框架表示框架的基本结构框架的基本结构(1/2)框架的基本结构可表示如下框架的基本结构可表示如下:| (值111,值112,) (值121,值122,) : | (值211,值212,) (值221,值222,) :| (值n11,值n12,) (值n21,值n22,) 其中,槽值、侧面值可以是数值、字符串、布尔值,也可以是一个动作或过程,甚至还可以是另一个框架。38例2-10下面是一个描述“教师”的框架。框架名:类属:工作:范围:(教学,科研) 缺省:教学性别:(男,女)学历:(学士,硕士,博士)类型:(,)39例2-11下面是一
44、个描述“大学教师”的框架。框架名:类属:学历:(学士,硕士,博士)专业:职称:(助教,讲师,副教授,教授)外语:语种:范围:(英,法,日,俄,德,)缺省:英 水平:(优,良,中,差)缺省:良上面给出的仅是一种上面给出的仅是一种框架的基本结构和一框架的基本结构和一个比较简单的例子。个比较简单的例子。一般来说,单个框架一般来说,单个框架只能用来表示那些比只能用来表示那些比较简单的知识。当知较简单的知识。当知识的结构比较复杂时,识的结构比较复杂时,往往需要用多个相互往往需要用多个相互联系的框架来表示。联系的框架来表示。例如分类问题,若采例如分类问题,若采用多层框架结构表示,用多层框架结构表示,既可以
45、使知识结构清既可以使知识结构清晰,又可以减少冗余。晰,又可以减少冗余。40例2-12 下面是描述一个具体教师的框架。框架名:类属:姓名:孙芳性别:女年龄:29职业:教师职称:助教专业:计算机应用412.6.2 框架系统中的预定义槽名 在框架系统中,框架之间的联系实际上是通过在槽中填入相应的框架名来实现的,至于框架之间究竟为何种关系,是由槽名来指定的。为了提供一些常用且可公用的槽名,在框架系统中通常定义了一些标准槽名,称这些槽名为系统预定义槽名。常用的预定义槽名有以下几种:421、ISA槽:用来指出一个具体事物与其抽象概念间的类属关系。一般的说,“ISA”槽所指出的联系都具有继承性,即下层框架可
46、以继承上层框架所描述的属性或值。框架名 姓名:单位(姓,名) 性别:范围(男,女)框架名 Is-a: 入学时间:单位(年,月) 学制:单位(年) 432、AKO槽:用来指出事物间的抽象概念上的类属关系。用作为下层框架的槽名时,其槽值为上层框架的框架名。它表示该下层框架表示的事物比其上层框架更具体。如“大中专学生”框架名 AKO: 特点:有专业443、subclass槽:用来指出子类和类之间的类属关系。当它用作某下层框架的槽时,表示该下层框架是其上层框架的一个子类。如“大学生” 框架名 subclass: 高考成绩:454、instance槽:用来建立的AKO逆关系。当用它作为上层框架的槽时,可
47、用来指出它的下一层框架有哪些。如“大中专学生” 框架名 AKO: instance :, 特点:有专业465、part-of槽:用于指出“部分”与“全体”关系。它和前面提到的4种槽在本质上是有区别的。前4种槽描述的都是上、下层框架之间的类属关系,它们之间具有共同特征,且具有继承性。而part-of槽仅是指出下层框架为上层框架的子结构,它们之间一般不具有共同特征,也不具有继承性。476、Infer槽用于指出两个框架所描述事物间的逻辑物理关系;7、possible-reason槽用来把某个结论与可能的原因联系起来;如框架名: 已知条件1:地面湿 已知条件2:没人洒水 infer: 可信度:0.8框
48、架名: 可能结论:天下雨 possible-reason: 488、similar槽用于指出两个框架所描述事物之间的相似关系。9、其他return492.6.3 框架网络 多个互联的框架连接起来组成的框架系统称为框架网络。它包含两方面的含义:第一种含义是网络中的节点是框架,利用节点之间的关系可由某些框架推论出另一些框架;第二种含义是网络中的节点既可代表框架,也可代表框架中的槽,每条弧的一头联着某个框架的一个槽,另一头联着另一个框架。 502.6.3 框架网络框架网络框架网络的基本结构框架网络的基本结构(1/2) 当知识比较复杂时,往往需要通过诸框架之间的横向或纵向联系形当知识比较复杂时,往往需
49、要通过诸框架之间的横向或纵向联系形成一种框架网络。成一种框架网络。框架之间的纵向联系框架之间的纵向联系 是指那种具有继承关系的上下层框架之间的联系。例如,在下图中,是指那种具有继承关系的上下层框架之间的联系。例如,在下图中,学生可按照接受教育的层次分为本科生、硕士生和博士生。每类学生学生可按照接受教育的层次分为本科生、硕士生和博士生。每类学生又可按照所学专业的不同,分为不同专业的学生等。又可按照所学专业的不同,分为不同专业的学生等。 框架之间的纵向联系是通过预定以槽名框架之间的纵向联系是通过预定以槽名AKO和和ISA等来实现的。例等来实现的。例如前面的例子,如前面的例子,AKO实现了实现了St
50、udent框架与框架与Master框架之间的纵向联框架之间的纵向联系,系,ISA实现了实现了Master框架与框架与Master -1实例框架之间的联系。实例框架之间的联系。框架之间的横向联系框架之间的横向联系 是指那种以另外一个框架名作为一个槽的槽值或侧面值所建立起来是指那种以另外一个框架名作为一个槽的槽值或侧面值所建立起来的框架之间的联系。如下图给出的框架系统中,的框架之间的联系。如下图给出的框架系统中,Student框架与框架与S-Addre框架之间就是一种横向联系。框架之间就是一种横向联系。512.6.3 框架系统框架系统框架系统的基本结构框架系统的基本结构(2/2)StudentCo