《xiao知识表示课件》由会员分享,可在线阅读,更多相关《xiao知识表示课件(75页珍藏版)》请在金锄头文库上搜索。
1、l l2.1 2.1 知识与知识表示的概念知识与知识表示的概念知识与知识表示的概念知识与知识表示的概念l l2.2 2.2 状态空间法状态空间法状态空间法状态空间法l l2.3 2.3 问题规约法问题规约法问题规约法问题规约法l l2.4 2.4 谓词逻辑法谓词逻辑法谓词逻辑法谓词逻辑法l l2.5 2.5 语义网络法语义网络法语义网络法语义网络法l l2.6 2.6 框架表示法框架表示法框架表示法框架表示法l l2.7 2.7 剧本表示法剧本表示法剧本表示法剧本表示法l l2.8 2.8 过程表示法过程表示法过程表示法过程表示法l l2.9 2.9 面向对象表示法面向对象表示法面向对象表示法
2、面向对象表示法l l2.10 2.10 小结小结小结小结2知识表示方法1xiao知识表示2.5语义网络法语义网络法l2.5.1 语义网络的基本概念语义网络的基本概念l2.5.2 语义网络的知识表示方法语义网络的知识表示方法l2.5.3 语义网络的推理过程语义网络的推理过程l2.5.4 语义网络的特点语义网络的特点2xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念l l语义网络是语义网络是语义网络是语义网络是J.R.Quillian 1968J.R.Quillian 1968年在研究人类联想记年在研究人类联想记年在研究人类联想记年在研究人类联想记忆时提出的一种心理学模型,他认为记忆
3、是由概念忆时提出的一种心理学模型,他认为记忆是由概念忆时提出的一种心理学模型,他认为记忆是由概念忆时提出的一种心理学模型,他认为记忆是由概念间的联系实现的。随后,间的联系实现的。随后,间的联系实现的。随后,间的联系实现的。随后,J.R.QuillianJ.R.Quillian又把它用作又把它用作又把它用作又把它用作知识表示。知识表示。知识表示。知识表示。l l19721972年,西蒙在他的自然语言理解系统中也采用了年,西蒙在他的自然语言理解系统中也采用了年,西蒙在他的自然语言理解系统中也采用了年,西蒙在他的自然语言理解系统中也采用了语义网络表示法。语义网络表示法。语义网络表示法。语义网络表示法
4、。l l19751975年,年,年,年,G .G .Hendrix G .G .Hendrix 又对全称量词的表示提出又对全称量词的表示提出又对全称量词的表示提出又对全称量词的表示提出了语义网络分区技术。了语义网络分区技术。了语义网络分区技术。了语义网络分区技术。l l目前,语义网络已经成为人工智能中应用较多的一目前,语义网络已经成为人工智能中应用较多的一目前,语义网络已经成为人工智能中应用较多的一目前,语义网络已经成为人工智能中应用较多的一种知识表示方法,尤其是在自然语言处理方面的应种知识表示方法,尤其是在自然语言处理方面的应种知识表示方法,尤其是在自然语言处理方面的应种知识表示方法,尤其是
5、在自然语言处理方面的应用。用。用。用。3xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念(续续)l l语义网络语义网络语义网络语义网络:是一种用结点和弧来表达实体之间语义关系的有:是一种用结点和弧来表达实体之间语义关系的有:是一种用结点和弧来表达实体之间语义关系的有:是一种用结点和弧来表达实体之间语义关系的有向图,是知识的一种结构化图解表示。向图,是知识的一种结构化图解表示。向图,是知识的一种结构化图解表示。向图,是知识的一种结构化图解表示。其中结点其中结点其中结点其中结点: : 实体、事物、概念、属性、事件,情况等实体、事物、概念、属性、事件,情况等实体、事物、概念、属性、事件
6、,情况等实体、事物、概念、属性、事件,情况等弧线用于表示结点间的语义关系弧线用于表示结点间的语义关系弧线用于表示结点间的语义关系弧线用于表示结点间的语义关系 l l语义网络的组成语义网络的组成语义网络的组成语义网络的组成词法部分:决定表示词汇表中允许哪些符号,这涉及各个节词法部分:决定表示词汇表中允许哪些符号,这涉及各个节词法部分:决定表示词汇表中允许哪些符号,这涉及各个节词法部分:决定表示词汇表中允许哪些符号,这涉及各个节点和弧线。点和弧线。点和弧线。点和弧线。结构部分:叙述符号排列的约束条件,指定各弧线连接的节结构部分:叙述符号排列的约束条件,指定各弧线连接的节结构部分:叙述符号排列的约束
7、条件,指定各弧线连接的节结构部分:叙述符号排列的约束条件,指定各弧线连接的节点对。点对。点对。点对。过程部分:说明访问过程,这些过程能用来建立和修正描述过程部分:说明访问过程,这些过程能用来建立和修正描述过程部分:说明访问过程,这些过程能用来建立和修正描述过程部分:说明访问过程,这些过程能用来建立和修正描述以及回答相关问题。以及回答相关问题。以及回答相关问题。以及回答相关问题。语义部分:确定与描述相关的(联想)意义的方法即确定有语义部分:确定与描述相关的(联想)意义的方法即确定有语义部分:确定与描述相关的(联想)意义的方法即确定有语义部分:确定与描述相关的(联想)意义的方法即确定有关节点的排列
8、及其占有物和对应弧线关节点的排列及其占有物和对应弧线关节点的排列及其占有物和对应弧线关节点的排列及其占有物和对应弧线4xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念(续续)5xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念(续续)例:所有的燕子都是鸟。例:所有的燕子都是鸟。 小燕是一只燕子。小燕是一只燕子。 鸟有翅膀。鸟有翅膀。6xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念(续续)l l语义网络与谓词逻辑有相似的表示能力。语义网络与谓词逻辑有相似的表示能力。语义网络与谓词逻辑有相似的表示能力。语义网络与谓词逻辑有相似的表示能力。(结点(结点(结点
9、(结点1 1,弧,结点,弧,结点,弧,结点,弧,结点2 2)(个体(个体(个体(个体1, 1, 个体个体个体个体2 2)一个语义基元相当于一个二元谓词。谓词逻辑中的一个语义基元相当于一个二元谓词。谓词逻辑中的一个语义基元相当于一个二元谓词。谓词逻辑中的一个语义基元相当于一个二元谓词。谓词逻辑中的个体也就是语义网络中关心的实体。个体也就是语义网络中关心的实体。个体也就是语义网络中关心的实体。个体也就是语义网络中关心的实体。弧及其上的关系相关于谓词的意义。弧及其上的关系相关于谓词的意义。弧及其上的关系相关于谓词的意义。弧及其上的关系相关于谓词的意义。例:以上例子的谓词表示例:以上例子的谓词表示例:
10、以上例子的谓词表示例:以上例子的谓词表示Color (snow, white) Color (snow, white) Age (Li Lee, 22)Age (Li Lee, 22)ISKINDOF (ISKINDOF (燕子,鸟燕子,鸟燕子,鸟燕子,鸟) Bird() Bird(燕子燕子燕子燕子) )7xiao知识表示2.5.1语义网络的基本概念语义网络的基本概念(续续)l l从功能上说,语义网络可以描述任何事物间的任意从功能上说,语义网络可以描述任何事物间的任意从功能上说,语义网络可以描述任何事物间的任意从功能上说,语义网络可以描述任何事物间的任意复杂关系。从一些基本的语义关系组合成任意
11、复杂复杂关系。从一些基本的语义关系组合成任意复杂复杂关系。从一些基本的语义关系组合成任意复杂复杂关系。从一些基本的语义关系组合成任意复杂的语义关系是可行的。的语义关系是可行的。的语义关系是可行的。的语义关系是可行的。 l l基本的语义关系基本的语义关系基本的语义关系基本的语义关系 类属关系类属关系类属关系类属关系 包含关系包含关系包含关系包含关系 属性关系属性关系属性关系属性关系 位置关系位置关系位置关系位置关系 相近关系相近关系相近关系相近关系 推论关系推论关系推论关系推论关系8xiao知识表示基本的语义关系基本的语义关系l l类属关系类属关系类属关系类属关系指具有共同属性的不同事物间的分类
12、关系、成员关指具有共同属性的不同事物间的分类关系、成员关指具有共同属性的不同事物间的分类关系、成员关指具有共同属性的不同事物间的分类关系、成员关系或实例关系。系或实例关系。系或实例关系。系或实例关系。它体现的是它体现的是它体现的是它体现的是“ “具体与抽象具体与抽象具体与抽象具体与抽象” ”、“ “个体与集体个体与集体个体与集体个体与集体” ”的概的概的概的概念。类属关系的一个最主要特征是属性的继承性,念。类属关系的一个最主要特征是属性的继承性,念。类属关系的一个最主要特征是属性的继承性,念。类属关系的一个最主要特征是属性的继承性,处在具体层的结点可以继承抽象层结点的所有属性。处在具体层的结点
13、可以继承抽象层结点的所有属性。处在具体层的结点可以继承抽象层结点的所有属性。处在具体层的结点可以继承抽象层结点的所有属性。 A-Kind-of(A-Kind-of(子集子集子集子集) A-Member-of Is-a) A-Member-of Is-a9xiao知识表示基本的语义关系(续)基本的语义关系(续)l l包含关系(聚类关系)包含关系(聚类关系)指具有组织中结构特征的指具有组织中结构特征的“部分与整体部分与整体”之之间的关系。间的关系。Part-of10xiao知识表示基本的语义关系(续)基本的语义关系(续)l l属性关系属性关系指事物和其属性之间的关系,如具有某种属性,有某种能力等。
14、Have Can11xiao知识表示基本的语义关系(续)基本的语义关系(续)l l时间关系时间关系指不同事件在其发生时间方面的先后次序关指不同事件在其发生时间方面的先后次序关系。系。Before After12xiao知识表示基本的语义关系(续)基本的语义关系(续)l l位置关系位置关系指不同事物在物理位置方面的关系。Located-at Located-on Located-underLocated-inside Located-outside13xiao知识表示基本的语义关系(续)基本的语义关系(续)l l相近关系相近关系相近关系是指不同事物在形状、内容等方面相近关系是指不同事物在形状、内
15、容等方面相似和接近相似和接近。 Similar-to Near-to14xiao知识表示基本的语义关系(续)基本的语义关系(续)l l推论关系推论关系推论关系推论关系指从一个概念推出另一个概念的语义关系。指从一个概念推出另一个概念的语义关系。指从一个概念推出另一个概念的语义关系。指从一个概念推出另一个概念的语义关系。l l在实际的应用中可选择以上通用的基本语义在实际的应用中可选择以上通用的基本语义在实际的应用中可选择以上通用的基本语义在实际的应用中可选择以上通用的基本语义关系,也可根据具体实体关系来自己定义新关系,也可根据具体实体关系来自己定义新关系,也可根据具体实体关系来自己定义新关系,也可
16、根据具体实体关系来自己定义新的关系。的关系。的关系。的关系。15xiao知识表示2.5.2语义网络的知识表示方法语义网络的知识表示方法一元关系的语义网络表示一元关系的语义网络表示是指用一元谓词是指用一元谓词P (x)表示的关系表示的关系二元关系的语义网络表示二元关系的语义网络表示是指用二元谓词是指用二元谓词P (x, y)表示的关系表示的关系多元关系的语义网络表示多元关系的语义网络表示是指用多元谓词是指用多元谓词P (x1, x2, )表示的关系表示的关系16xiao知识表示一元关系的语义网络表示一元关系的语义网络表示l l一元关系:实体的性质、属性等一元关系:实体的性质、属性等STUDENT
17、(Li Ming) FLY(Bird) SHINE(sun)l l表示方法:用结点表示方法:用结点1表示实体,用结点表示实体,用结点2表示表示实体的性质或属性等,用弧表示结点实体的性质或属性等,用弧表示结点1和结和结点点2之间的语义关系。之间的语义关系。17xiao知识表示二元关系的语义网络表示二元关系的语义网络表示18xiao知识表示二元关系的语义网络表示(续)二元关系的语义网络表示(续)l l例:我椅子的颜色是咖啡色的;椅子包套是例:我椅子的颜色是咖啡色的;椅子包套是皮革;椅子是一种家具;椅子的所有者是;皮革;椅子是一种家具;椅子的所有者是;X是个人。是个人。19xiao知识表示多元关系的
18、语义网络表示多元关系的语义网络表示l l多元关系多元关系1. 常河给了江涛一张磁盘常河给了江涛一张磁盘GIVE (常河常河, 江涛江涛, 一张磁盘一张磁盘)2. 北京大学和清华大学两校篮球队在北大进北京大学和清华大学两校篮球队在北大进行的一场比赛的比分是行的一场比赛的比分是85比比89。GAME (北京大学北京大学,清华大学清华大学,北京大学北京大学, 85:89)3. 小燕子这只燕子从春天到秋天占有一个巢小燕子这只燕子从春天到秋天占有一个巢OCCUPATION (小燕子小燕子,春天春天,秋天秋天,巢巢)20xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l表示方法
19、:通过增加关系结点、动作结点、事件结表示方法:通过增加关系结点、动作结点、事件结表示方法:通过增加关系结点、动作结点、事件结表示方法:通过增加关系结点、动作结点、事件结点或情况结点等的方法把多元关系转化为多个二元点或情况结点等的方法把多元关系转化为多个二元点或情况结点等的方法把多元关系转化为多个二元点或情况结点等的方法把多元关系转化为多个二元关系。关系。关系。关系。例:常河给了江涛一张磁盘例:常河给了江涛一张磁盘例:常河给了江涛一张磁盘例:常河给了江涛一张磁盘GIVE (GIVE (常河常河常河常河, , 江涛江涛江涛江涛, , 一张磁盘一张磁盘一张磁盘一张磁盘) )常河、江涛、一张磁盘之间找
20、不到一个可以把三者常河、江涛、一张磁盘之间找不到一个可以把三者常河、江涛、一张磁盘之间找不到一个可以把三者常河、江涛、一张磁盘之间找不到一个可以把三者都联系起来的关系或实体。都联系起来的关系或实体。都联系起来的关系或实体。都联系起来的关系或实体。考虑增加结点使得各实体与此结点都能建立联系,考虑增加结点使得各实体与此结点都能建立联系,考虑增加结点使得各实体与此结点都能建立联系,考虑增加结点使得各实体与此结点都能建立联系,形成网络:动作结点(给)或事件结点(给予事件)形成网络:动作结点(给)或事件结点(给予事件)形成网络:动作结点(给)或事件结点(给予事件)形成网络:动作结点(给)或事件结点(给予
21、事件)21xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l带动作结点的语义网络表示方法带动作结点的语义网络表示方法22xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l带事件结点的语义网络表示方法带事件结点的语义网络表示方法23xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l北京大学和清华大学两校篮球队在北大进行北京大学和清华大学两校篮球队在北大进行的一场比赛的比分是的一场比赛的比分是85比比89。添加事件结点添加事件结点BGTB表示这场特定的比赛,表示这场特定的比赛,将有关比赛的信息联系起来将有关比赛的信
22、息联系起来24xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l小燕子这只燕子从春天到秋天占有一个巢小燕子这只燕子从春天到秋天占有一个巢OCCUPATION (小燕子小燕子,燕子燕子,春天春天,秋天秋天,巢巢)25xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l例:海浪把战舰轻轻的摇。例:海浪把战舰轻轻的摇。26xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)27xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l同一命题可以按知识的详细程度及范围选择同一命题可以按知识的详细程度及范围选
23、择不同的结点类型和个数,构成不同的语义网不同的结点类型和个数,构成不同的语义网络结构。络结构。l l在选择结点时,要弄清结点是用于表示基本在选择结点时,要弄清结点是用于表示基本的物体或概念的,或是用于其它目的的动作、的物体或概念的,或是用于其它目的的动作、情况、事件等用于联系或扩大知识范围的结情况、事件等用于联系或扩大知识范围的结点。点。l l适当的选用能够合并多个子网,扩大知识范适当的选用能够合并多个子网,扩大知识范围的结点,使问题简化。围的结点,使问题简化。28xiao知识表示多元关系的语义网络表示(续)多元关系的语义网络表示(续)l l例:例:我的汽车是红色的。我的汽车是红色的。李华的汽
24、车是绿色的。李华的汽车是绿色的。29xiao知识表示2.5.3语义网络的推理过程语义网络的推理过程l l符号规定符号规定符号规定符号规定: :值结点值结点值结点值结点: : 链尾部的节点称为值结点。链尾部的节点称为值结点。链尾部的节点称为值结点。链尾部的节点称为值结点。槽槽槽槽: : 将结点的链称为槽将结点的链称为槽将结点的链称为槽将结点的链称为槽. .l l语义网络的推理过程是通过继承和匹配实现的,问语义网络的推理过程是通过继承和匹配实现的,问语义网络的推理过程是通过继承和匹配实现的,问语义网络的推理过程是通过继承和匹配实现的,问题求解时,先构造由语义网络组成的知识库和语义题求解时,先构造由
25、语义网络组成的知识库和语义题求解时,先构造由语义网络组成的知识库和语义题求解时,先构造由语义网络组成的知识库和语义网络推理机,再根据待求问题的要求构造一个网络网络推理机,再根据待求问题的要求构造一个网络网络推理机,再根据待求问题的要求构造一个网络网络推理机,再根据待求问题的要求构造一个网络片断,然后依此网络片断到知识库找可匹配的网络,片断,然后依此网络片断到知识库找可匹配的网络,片断,然后依此网络片断到知识库找可匹配的网络,片断,然后依此网络片断到知识库找可匹配的网络,如果匹配,所匹配的事实就是问题的解。如果匹配,所匹配的事实就是问题的解。如果匹配,所匹配的事实就是问题的解。如果匹配,所匹配的
26、事实就是问题的解。继承:是指把对事物的描述从概念结点或类结点传继承:是指把对事物的描述从概念结点或类结点传继承:是指把对事物的描述从概念结点或类结点传继承:是指把对事物的描述从概念结点或类结点传递到实例结点。递到实例结点。递到实例结点。递到实例结点。匹配:就是在知识库的语义网络中寻找与待求解问匹配:就是在知识库的语义网络中寻找与待求解问匹配:就是在知识库的语义网络中寻找与待求解问匹配:就是在知识库的语义网络中寻找与待求解问题相符的语义网络模式。题相符的语义网络模式。题相符的语义网络模式。题相符的语义网络模式。30xiao知识表示继承继承l l例:已知事实:李华的汽车是红色的。例:已知事实:李华
27、的汽车是红色的。通过结点关系可知,李华的汽车继承了所有通过结点关系可知,李华的汽车继承了所有汽车具有的属性。汽车具有的属性。31xiao知识表示继承(续)继承(续)l l三种继承过程三种继承过程:(1) 值继承值继承: ISA链链, A-Kind-Of链链(2) “如果需要如果需要”继承继承: 在不知道槽值时在不知道槽值时, 可可以利用已知信息计算以利用已知信息计算例例: 根据体积和物质的密度计算积木的重量。根据体积和物质的密度计算积木的重量。(3) “缺省缺省”继承继承: 当对事物所作的假设不是当对事物所作的假设不是十分有把握时十分有把握时, 最好对所作的假设加上最好对所作的假设加上“可可能
28、能”这样的字眼。宝石可能是很昂贵的,但这样的字眼。宝石可能是很昂贵的,但不一定是。把这种具有相当程度的真实性,不一定是。把这种具有相当程度的真实性,但又不能十分肯定的值称为但又不能十分肯定的值称为“缺省缺省”值。值。32xiao知识表示匹配匹配l l对于针对语义网中的某个或某些概念提出的问题,对于针对语义网中的某个或某些概念提出的问题,对于针对语义网中的某个或某些概念提出的问题,对于针对语义网中的某个或某些概念提出的问题,通过语义网络的匹配来回答。通过语义网络的匹配来回答。通过语义网络的匹配来回答。通过语义网络的匹配来回答。l l何时,何地,做什么,谁做,何时,何地,做什么,谁做,何时,何地,
29、做什么,谁做,何时,何地,做什么,谁做,x x是什么,什么是是什么,什么是是什么,什么是是什么,什么是x x,x x的原因,的原因,的原因,的原因,x x的目的,的目的,的目的,的目的, 求证等。求证等。求证等。求证等。l l匹配主要过程为:匹配主要过程为:匹配主要过程为:匹配主要过程为:根据问题的要求构造网络片断,该网络片断中有些根据问题的要求构造网络片断,该网络片断中有些根据问题的要求构造网络片断,该网络片断中有些根据问题的要求构造网络片断,该网络片断中有些结点或弧为空,标记待求解的问题;结点或弧为空,标记待求解的问题;结点或弧为空,标记待求解的问题;结点或弧为空,标记待求解的问题;根据该
30、语义片断在知识库中寻找相应的信息;根据该语义片断在知识库中寻找相应的信息;根据该语义片断在知识库中寻找相应的信息;根据该语义片断在知识库中寻找相应的信息;当待求解的语义网络片断和知识库中的语义网络片当待求解的语义网络片断和知识库中的语义网络片当待求解的语义网络片断和知识库中的语义网络片当待求解的语义网络片断和知识库中的语义网络片断相匹配时,则与询问处(也就是待求解的地方)断相匹配时,则与询问处(也就是待求解的地方)断相匹配时,则与询问处(也就是待求解的地方)断相匹配时,则与询问处(也就是待求解的地方)相匹配的事实就是问题的解。相匹配的事实就是问题的解。相匹配的事实就是问题的解。相匹配的事实就是
31、问题的解。33xiao知识表示匹配(续)匹配(续)l l例:海浪把战舰轻轻地摇例:海浪把战舰轻轻地摇例:海浪把战舰轻轻地摇例:海浪把战舰轻轻地摇海浪在轻轻摇什么?海浪在轻轻摇什么?海浪在轻轻摇什么?海浪在轻轻摇什么?怎么摇动?怎么摇动?怎么摇动?怎么摇动?摇动是什么意思?摇动是什么意思?摇动是什么意思?摇动是什么意思?34xiao知识表示匹配(续)匹配(续)例:海浪在轻轻摇什么?例:海浪在轻轻摇什么? 问题语义网络表示问题语义网络表示:35xiao知识表示匹配(续)匹配(续)匹配的语义网络片段匹配的语义网络片段36xiao知识表示2.5.4语义网络的特点语义网络的特点(1) (1) 能把实体的
32、结构、属性与实体间的因果关系显式地和简能把实体的结构、属性与实体间的因果关系显式地和简能把实体的结构、属性与实体间的因果关系显式地和简能把实体的结构、属性与实体间的因果关系显式地和简明地表达出来,与实体相关的事实、特征和关系可以通过相明地表达出来,与实体相关的事实、特征和关系可以通过相明地表达出来,与实体相关的事实、特征和关系可以通过相明地表达出来,与实体相关的事实、特征和关系可以通过相应的节点弧线推导出来。这样便以联想方式实现对系统的解应的节点弧线推导出来。这样便以联想方式实现对系统的解应的节点弧线推导出来。这样便以联想方式实现对系统的解应的节点弧线推导出来。这样便以联想方式实现对系统的解释
33、。释。释。释。(2) (2) 由于与概念相关的属性和联系被组织在一个相应的节点由于与概念相关的属性和联系被组织在一个相应的节点由于与概念相关的属性和联系被组织在一个相应的节点由于与概念相关的属性和联系被组织在一个相应的节点中,因而使概念易于受访和学习。中,因而使概念易于受访和学习。中,因而使概念易于受访和学习。中,因而使概念易于受访和学习。(3) (3) 表现问题更加直观,更易于理解,适于知识工程师与领表现问题更加直观,更易于理解,适于知识工程师与领表现问题更加直观,更易于理解,适于知识工程师与领表现问题更加直观,更易于理解,适于知识工程师与领域专家沟通。域专家沟通。域专家沟通。域专家沟通。(
34、4) (4) 语义网络结构的语义解释依赖于该结构的推理过程而没语义网络结构的语义解释依赖于该结构的推理过程而没语义网络结构的语义解释依赖于该结构的推理过程而没语义网络结构的语义解释依赖于该结构的推理过程而没有结构的约定,因而得到的推理不能保证像谓词逻辑法那样有结构的约定,因而得到的推理不能保证像谓词逻辑法那样有结构的约定,因而得到的推理不能保证像谓词逻辑法那样有结构的约定,因而得到的推理不能保证像谓词逻辑法那样有效。有效。有效。有效。(5) (5) 节点间的联系可能是线状、树状或网状的,甚至是递归节点间的联系可能是线状、树状或网状的,甚至是递归节点间的联系可能是线状、树状或网状的,甚至是递归节
35、点间的联系可能是线状、树状或网状的,甚至是递归状的结构,使相应的知识存储和检索可能需要比较复杂的过状的结构,使相应的知识存储和检索可能需要比较复杂的过状的结构,使相应的知识存储和检索可能需要比较复杂的过状的结构,使相应的知识存储和检索可能需要比较复杂的过程。程。程。程。37xiao知识表示2.6框架表示法框架表示法l l2.6.1 框架理论框架理论l l2.6.2 框架和实例框架框架和实例框架l l2.6.3 框架系统框架系统l l2.6.4 框架系统的问题求解过程框架系统的问题求解过程38xiao知识表示2.6.1框架理论框架理论l l19751975年,年,年,年,MinskyMinsky
36、根据人们在理解情景、故事时提出的心理根据人们在理解情景、故事时提出的心理根据人们在理解情景、故事时提出的心理根据人们在理解情景、故事时提出的心理学模型,在论文学模型,在论文学模型,在论文学模型,在论文“A Framework for representing “A Framework for representing knowledge”knowledge”中提出了框架理论,尽管只是思想方法而非具中提出了框架理论,尽管只是思想方法而非具中提出了框架理论,尽管只是思想方法而非具中提出了框架理论,尽管只是思想方法而非具体实现,但还是引起了学术界的重视。体实现,但还是引起了学术界的重视。体实现,但还
37、是引起了学术界的重视。体实现,但还是引起了学术界的重视。l l框架理论:框架理论:框架理论:框架理论:人们对现实世界各种事物的认识都是以一种类似于框架的结人们对现实世界各种事物的认识都是以一种类似于框架的结人们对现实世界各种事物的认识都是以一种类似于框架的结人们对现实世界各种事物的认识都是以一种类似于框架的结构存储在记忆中的。构存储在记忆中的。构存储在记忆中的。构存储在记忆中的。当遇到新事物时,就从记忆中找出一个合适的框架,并根据当遇到新事物时,就从记忆中找出一个合适的框架,并根据当遇到新事物时,就从记忆中找出一个合适的框架,并根据当遇到新事物时,就从记忆中找出一个合适的框架,并根据新的情况对
38、其加以修改、补充,从而形成对这个新事物的认新的情况对其加以修改、补充,从而形成对这个新事物的认新的情况对其加以修改、补充,从而形成对这个新事物的认新的情况对其加以修改、补充,从而形成对这个新事物的认识,称为实例框架识,称为实例框架识,称为实例框架识,称为实例框架框架是知识的基本单位,一组相关框架连接起来便可形成一框架是知识的基本单位,一组相关框架连接起来便可形成一框架是知识的基本单位,一组相关框架连接起来便可形成一框架是知识的基本单位,一组相关框架连接起来便可形成一个框架系统。个框架系统。个框架系统。个框架系统。39xiao知识表示2.6.2框架和实例框架框架和实例框架框架是由若干结点和关系(
39、统称为槽)构成的网络,是语义网络一般化框架是由若干结点和关系(统称为槽)构成的网络,是语义网络一般化框架是由若干结点和关系(统称为槽)构成的网络,是语义网络一般化框架是由若干结点和关系(统称为槽)构成的网络,是语义网络一般化的形式,与后者没有本质的差别。它是表示某一类情景的结构化的一种的形式,与后者没有本质的差别。它是表示某一类情景的结构化的一种的形式,与后者没有本质的差别。它是表示某一类情景的结构化的一种的形式,与后者没有本质的差别。它是表示某一类情景的结构化的一种数据结构,框架的最顶层是固定的一类事物,基于概念的抽象程度表现数据结构,框架的最顶层是固定的一类事物,基于概念的抽象程度表现数据
40、结构,框架的最顶层是固定的一类事物,基于概念的抽象程度表现数据结构,框架的最顶层是固定的一类事物,基于概念的抽象程度表现出自上而下的分层结构。框架由框架名和一些槽组成,每个槽可以拥有出自上而下的分层结构。框架由框架名和一些槽组成,每个槽可以拥有出自上而下的分层结构。框架由框架名和一些槽组成,每个槽可以拥有出自上而下的分层结构。框架由框架名和一些槽组成,每个槽可以拥有若干个侧面,而每个侧面又可以拥有若干个值若干个侧面,而每个侧面又可以拥有若干个值若干个侧面,而每个侧面又可以拥有若干个值若干个侧面,而每个侧面又可以拥有若干个值 。l l框架的基本结构框架的基本结构框架的基本结构框架的基本结构 1
41、2 n 约束:约束条件约束:约束条件约束:约束条件约束:约束条件1 1 约束条件约束条件约束条件约束条件2 2 约束条件约束条件约束条件约束条件n n40xiao知识表示2.6.2框架和实例框架(续)框架和实例框架(续)l l框架名:框架名:框架名:框架名: 公修课:公修课:公修课:公修课: (C1)专业课:专业课:专业课:专业课: (C2)学术活动:学术活动:学术活动:学术活动:时间安排:单位(学期号)时间安排:单位(学期号)时间安排:单位(学期号)时间安排:单位(学期号) 活动形式:范围(参加会议,学术考察)活动形式:范围(参加会议,学术考察)活动形式:范围(参加会议,学术考察)活动形式:
42、范围(参加会议,学术考察) 默认:参加会议默认:参加会议默认:参加会议默认:参加会议 获学分获学分获学分获学分C3C3:单位(整型数):单位(整型数):单位(整型数):单位(整型数) 默认:默认:默认:默认:C3=0C3=0教学实践:教学实践:教学实践:教学实践:时间安排:单位(学期号)时间安排:单位(学期号)时间安排:单位(学期号)时间安排:单位(学期号) 实践形式:范围实践形式:范围实践形式:范围实践形式:范围( (讲课,辅导讲课,辅导讲课,辅导讲课,辅导) ) 默认:辅导默认:辅导默认:辅导默认:辅导条件:条件:条件:条件:C=C1+C2+C3+=35C=C1+C2+C3+=3541xi
43、ao知识表示2.6.2框架和实例框架(续)框架和实例框架(续)l l实例框架:把具体信息填入其槽或侧面。实例框架:把具体信息填入其槽或侧面。实例框架:把具体信息填入其槽或侧面。实例框架:把具体信息填入其槽或侧面。框架名:框架名:框架名:框架名: -1公修课:公修课:公修课:公修课: (C1)专业课:专业课:专业课:专业课: (C2)学术活动:学术活动:学术活动:学术活动:时间安排:时间安排:时间安排:时间安排:7 7活动形式:参加会议活动形式:参加会议活动形式:参加会议活动形式:参加会议获学分获学分获学分获学分C3C3:2 2教学实践:教学实践:教学实践:教学实践:时间安排:时间安排:时间安排
44、:时间安排:8 8实践形式:辅导实践形式:辅导实践形式:辅导实践形式:辅导42xiao知识表示2.6.3框架系统框架系统l l框架系统:多个相互联系的框架组织起来就框架系统:多个相互联系的框架组织起来就形成了框架系统。形成了框架系统。l l基本结构:横向或纵向联系基本结构:横向或纵向联系横向联系:一个框架的槽值或侧面值是另外横向联系:一个框架的槽值或侧面值是另外一个框架的名字,即对另一个框架的调用。一个框架的名字,即对另一个框架的调用。纵向联系:具有继承关系的框架之间构成纵纵向联系:具有继承关系的框架之间构成纵向联系。向联系。43xiao知识表示2.6.3框架系统(续)框架系统(续)框架名:框
45、架名:框架名:框架名: 姓名:单位(姓,名)姓名:单位(姓,名)姓名:单位(姓,名)姓名:单位(姓,名)性别:范围(男,女)性别:范围(男,女)性别:范围(男,女)性别:范围(男,女)默认:男默认:男默认:男默认:男年龄:单位(岁)年龄:单位(岁)年龄:单位(岁)年龄:单位(岁)住址:单位(楼号,房间号)住址:单位(楼号,房间号)住址:单位(楼号,房间号)住址:单位(楼号,房间号)电话:单位(区号),话机号)电话:单位(区号),话机号)电话:单位(区号),话机号)电话:单位(区号),话机号)入学时间:单位(年,月)入学时间:单位(年,月)入学时间:单位(年,月)入学时间:单位(年,月)学制:单
46、位(年)学制:单位(年)学制:单位(年)学制:单位(年)44xiao知识表示2.6.3框架系统(续)框架系统(续)框架名:框架名:框架名:框架名: 继承:继承:继承:继承: 学籍:学籍:学籍:学籍: 研究方向:单位(方向名)研究方向:单位(方向名)研究方向:单位(方向名)研究方向:单位(方向名)导师姓名:单位(姓,名)导师姓名:单位(姓,名)导师姓名:单位(姓,名)导师姓名:单位(姓,名)参加课题:范围(国家级参加课题:范围(国家级参加课题:范围(国家级参加课题:范围(国家级, ,省部级省部级省部级省部级, ,其它)其它)其它)其它)默认:国家级默认:国家级默认:国家级默认:国家级学位论文:单
47、位(论文题目)学位论文:单位(论文题目)学位论文:单位(论文题目)学位论文:单位(论文题目)默认:题目未定默认:题目未定默认:题目未定默认:题目未定45xiao知识表示2.6.4框架系统的问题求解过程框架系统的问题求解过程l l继承继承通过继承关系求得新事物的其它属性。通过继承关系求得新事物的其它属性。l l匹配匹配将待求解问题表示成框架,待求解答案的槽将待求解问题表示成框架,待求解答案的槽值或侧面值为空。值或侧面值为空。在框架系统中寻找与求解问题框架匹配的框在框架系统中寻找与求解问题框架匹配的框架。架。通过匹配框架的槽值或侧面值推出问题答案。通过匹配框架的槽值或侧面值推出问题答案。46xia
48、o知识表示2.6.4框架系统的问题求解过程(续)框架系统的问题求解过程(续)例:从学生的框架系统中找出一个满足条件的硕士生例:从学生的框架系统中找出一个满足条件的硕士生例:从学生的框架系统中找出一个满足条件的硕士生例:从学生的框架系统中找出一个满足条件的硕士生条件:女性,年龄条件:女性,年龄条件:女性,年龄条件:女性,年龄2525岁以下,专业为计算机应用技术,岁以下,专业为计算机应用技术,岁以下,专业为计算机应用技术,岁以下,专业为计算机应用技术,研究方向为人工智能。研究方向为人工智能。研究方向为人工智能。研究方向为人工智能。框架名:框架名:框架名:框架名: -x姓名:姓名:姓名:姓名:年龄:
49、年龄:年龄:年龄:2525性别:女性别:女性别:女性别:女专业:计算机应用技术专业:计算机应用技术专业:计算机应用技术专业:计算机应用技术研究方向:人工智能研究方向:人工智能研究方向:人工智能研究方向:人工智能47xiao知识表示2.6.4框架系统的问题求解过程(续)框架系统的问题求解过程(续)框架系统中的框架:框架系统中的框架:框架系统中的框架:框架系统中的框架:框架名:框架名:框架名:框架名: -1继承:继承:继承:继承: 姓名:柳青姓名:柳青姓名:柳青姓名:柳青性别:女性别:女性别:女性别:女年龄:年龄:年龄:年龄:2323研究方向:人工智能研究方向:人工智能研究方向:人工智能研究方向:
50、人工智能问题框架:问题框架:问题框架:问题框架:框架名:框架名:框架名:框架名: -x姓名:姓名:姓名:姓名:年龄:年龄:年龄:年龄:2525性别:女性别:女性别:女性别:女专业:计算机应用技术专业:计算机应用技术专业:计算机应用技术专业:计算机应用技术研究方向:人工智能研究方向:人工智能研究方向:人工智能研究方向:人工智能48xiao知识表示学生框架系统学生框架系统49xiao知识表示2.6.4框架系统的问题求解过程(续)框架系统的问题求解过程(续)框架名:框架名:继承:继承:专业:范围(计算机应用技术,专业:范围(计算机应用技术,计算机软件及理论)计算机软件及理论)默认:计算机应用技术默认
51、:计算机应用技术使用计算机:单位(计算机型号)使用计算机:单位(计算机型号)50xiao知识表示2.6.4框架系统的问题求解过程(续)框架系统的问题求解过程(续)继承性是框架最重要的特性。为了很好的表继承性是框架最重要的特性。为了很好的表达这个特性,一个框架系统常常被表达为树达这个特性,一个框架系统常常被表达为树形结构。树的每个结点也是一个框架结构,形结构。树的每个结点也是一个框架结构,子结点和父结点之间通过子结点和父结点之间通过Isa关系或关系或AKindOf关系连接。当子结点的某些槽值或关系连接。当子结点的某些槽值或侧面没有被直接记录时,可以从父结点继承侧面没有被直接记录时,可以从父结点继
52、承这些值。这样表达的另一个好处就是,相同这些值。这样表达的另一个好处就是,相同的信息不必重复存储,节省了空间。的信息不必重复存储,节省了空间。 51xiao知识表示2.7剧本表示法剧本表示法l l2.7.1 剧本基本概念剧本基本概念l l2.7.2 剧本的结构剧本的结构l l2.7.3 剧本的推理剧本的推理l l2.7.4 剧本表示法的特点剧本表示法的特点52xiao知识表示2.7.1剧本的概念剧本的概念l l剧本表示法是剧本表示法是Schank基于概念依赖理论在基于概念依赖理论在1975年提出来的,年提出来的,是框架的一种特殊形式,是框架的一种特殊形式,它由一组槽组成,用来描述特定范围内的一
53、它由一组槽组成,用来描述特定范围内的一些事件的发生序列,就像剧本中的事件序列些事件的发生序列,就像剧本中的事件序列一样,故成为一样,故成为“剧本剧本”或或“脚本脚本”。53xiao知识表示2.7.2剧本的结构剧本的结构l l进入条件:给出在剧本中所描述事件的前提进入条件:给出在剧本中所描述事件的前提条件;条件;l l角色:是一些用来表示在剧本所描述事件中角色:是一些用来表示在剧本所描述事件中可能出现的有关人物的槽;可能出现的有关人物的槽;l l道具:是一些用来表示在剧本所描述事件中道具:是一些用来表示在剧本所描述事件中可能出现的有关物体的槽;可能出现的有关物体的槽;l l场景:用来描述事件发生
54、的真实顺序;场景:用来描述事件发生的真实顺序;l l结果:给出在剧本所描述事件发生以后所产结果:给出在剧本所描述事件发生以后所产生的结果。生的结果。54xiao知识表示2.7.2剧本的结构(续)剧本的结构(续)例例例例1 1:餐厅剧本:餐厅剧本:餐厅剧本:餐厅剧本:(1 1)进入条件)进入条件)进入条件)进入条件 顾客饿了,需要进餐顾客饿了,需要进餐顾客饿了,需要进餐顾客饿了,需要进餐 顾客有足够的钱顾客有足够的钱顾客有足够的钱顾客有足够的钱(2 2)角色)角色)角色)角色顾客,服务员,厨师,老板。顾客,服务员,厨师,老板。顾客,服务员,厨师,老板。顾客,服务员,厨师,老板。(3 3)道具)道
55、具)道具)道具食品,桌子,菜单,钱。食品,桌子,菜单,钱。食品,桌子,菜单,钱。食品,桌子,菜单,钱。(4 4)场景)场景)场景)场景场景场景场景场景1 1:进入:进入:进入:进入 顾客进入餐厅;顾客进入餐厅;顾客进入餐厅;顾客进入餐厅; 寻找桌子;寻找桌子;寻找桌子;寻找桌子; 在桌子旁坐下。在桌子旁坐下。在桌子旁坐下。在桌子旁坐下。场景场景场景场景2 2:点菜:点菜:点菜:点菜 服务员给顾客菜单;服务员给顾客菜单;服务员给顾客菜单;服务员给顾客菜单; 顾客点菜;顾客点菜;顾客点菜;顾客点菜; 顾客把菜单还给服务员顾客把菜单还给服务员顾客把菜单还给服务员顾客把菜单还给服务员 顾客等待服务员送
56、菜顾客等待服务员送菜顾客等待服务员送菜顾客等待服务员送菜55xiao知识表示2.7.2剧本的结构(续)剧本的结构(续)场景场景场景场景3 3:等待:等待:等待:等待服务员告诉厨师顾客所点服务员告诉厨师顾客所点服务员告诉厨师顾客所点服务员告诉厨师顾客所点的菜;的菜;的菜;的菜;厨师做菜,顾客等待。厨师做菜,顾客等待。厨师做菜,顾客等待。厨师做菜,顾客等待。场景场景场景场景4 4:吃:吃:吃:吃厨师把做好的菜给服务员厨师把做好的菜给服务员厨师把做好的菜给服务员厨师把做好的菜给服务员服务员把菜送给顾客;服务员把菜送给顾客;服务员把菜送给顾客;服务员把菜送给顾客;顾客吃菜。顾客吃菜。顾客吃菜。顾客吃菜
57、。场景场景场景场景5 5:离开:离开:离开:离开 服务员拿来账单;服务员拿来账单;服务员拿来账单;服务员拿来账单; 顾客付钱给服务员;顾客付钱给服务员;顾客付钱给服务员;顾客付钱给服务员; 顾客离开餐厅。顾客离开餐厅。顾客离开餐厅。顾客离开餐厅。(5 5)结果)结果)结果)结果 顾客吃了饭,不饿了;顾客吃了饭,不饿了;顾客吃了饭,不饿了;顾客吃了饭,不饿了; 顾客花了钱;顾客花了钱;顾客花了钱;顾客花了钱; 老板赚了钱;老板赚了钱;老板赚了钱;老板赚了钱; 餐厅食品少了。餐厅食品少了。餐厅食品少了。餐厅食品少了。56xiao知识表示2.7.3剧本的推理剧本的推理预测推理预测推理:建立剧本后,对
58、于给定的事件,通:建立剧本后,对于给定的事件,通过剧本可以对事件没有明显给出的信息进行过剧本可以对事件没有明显给出的信息进行预测,对于在事件中提到的各个子事件,通预测,对于在事件中提到的各个子事件,通过剧本可以给出它们之间的联系。过剧本可以给出它们之间的联系。例例2:有情节:有情节:“昨晚,何雨到了餐厅,他订昨晚,何雨到了餐厅,他订了鱼香肉丝、大米。当他要付款时发现没钱了鱼香肉丝、大米。当他要付款时发现没钱了。因为开始下雨了,所以他赶快回家了。了。因为开始下雨了,所以他赶快回家了。”问:问:“昨晚,何雨吃饭了吗?昨晚,何雨吃饭了吗?”答:吃了!答:吃了!57xiao知识表示2.7.3剧本的推理
59、(续)剧本的推理(续)推理的依据推理的依据:剧本所描述的事件是一个因果链。:剧本所描述的事件是一个因果链。当初始条件满足时,剧本中的事件才能开始,当初始条件满足时,剧本中的事件才能开始,剧本中的事件序列是依次发生的,因而,如剧本中的事件序列是依次发生的,因而,如果可以通过不相邻的两个事件的发生预测它果可以通过不相邻的两个事件的发生预测它们之间可能发生的事件。们之间可能发生的事件。例例3:进了餐厅进了餐厅订了鱼香肉丝、大米订了鱼香肉丝、大米付款付款58xiao知识表示2.7.3剧本的推理(续)剧本的推理(续)一旦一个典型的事件被中断,也就是给定情节中的一旦一个典型的事件被中断,也就是给定情节中的
60、一旦一个典型的事件被中断,也就是给定情节中的一旦一个典型的事件被中断,也就是给定情节中的某个事件与剧本中的事件不能对应时,则剧本便不某个事件与剧本中的事件不能对应时,则剧本便不某个事件与剧本中的事件不能对应时,则剧本便不某个事件与剧本中的事件不能对应时,则剧本便不能预测被中断以后的事件了。能预测被中断以后的事件了。能预测被中断以后的事件了。能预测被中断以后的事件了。 例例例例4 4:“ “何雨进了餐厅,他被带到餐桌旁,订了一何雨进了餐厅,他被带到餐桌旁,订了一何雨进了餐厅,他被带到餐桌旁,订了一何雨进了餐厅,他被带到餐桌旁,订了一大盘鱼香肉丝和大米之后,他坐在那里等了许久。大盘鱼香肉丝和大米之
61、后,他坐在那里等了许久。大盘鱼香肉丝和大米之后,他坐在那里等了许久。大盘鱼香肉丝和大米之后,他坐在那里等了许久。于是生气地走了。于是生气地走了。于是生气地走了。于是生气地走了。” ”问:问:问:问:“ “何雨吃没吃饭?何雨吃没吃饭?何雨吃没吃饭?何雨吃没吃饭?” ”问:问:问:问:“ “何雨看了菜单没?何雨看了菜单没?何雨看了菜单没?何雨看了菜单没?” ”进了餐厅进了餐厅进了餐厅进了餐厅订了鱼香肉丝、大米订了鱼香肉丝、大米订了鱼香肉丝、大米订了鱼香肉丝、大米59xiao知识表示2.7.4剧本表示法的特点剧本表示法的特点呆板,不利于表达多样性知识呆板,不利于表达多样性知识知识表示的范围比较窄知识
62、表示的范围比较窄利于表达预先构思好的特定知识利于表达预先构思好的特定知识主要应用在自然语言理解方面主要应用在自然语言理解方面60xiao知识表示2.8过程表示法过程表示法l l2.8.1 表示知识的方法表示知识的方法l l2.8.2 过程表示的问题求解过程过程表示的问题求解过程l l2.8.3 过程表示的特性过程表示的特性61xiao知识表示2.8.1 表示知识的方法表示知识的方法l l陈述性知识表示陈述性知识表示陈述性知识表示陈述性知识表示: :谓词逻辑、产生式、语义网络、框架、剧本谓词逻辑、产生式、语义网络、框架、剧本谓词逻辑、产生式、语义网络、框架、剧本谓词逻辑、产生式、语义网络、框架、
63、剧本知识是静态的,显式描述知识是静态的,显式描述知识是静态的,显式描述知识是静态的,显式描述知识和知识的运用是分离的知识和知识的运用是分离的知识和知识的运用是分离的知识和知识的运用是分离的知识库和控制策略及推理机制知识库和控制策略及推理机制知识库和控制策略及推理机制知识库和控制策略及推理机制l l过程性知识表示:过程性知识表示:过程性知识表示:过程性知识表示:知识和使用知识的方法均隐含在问题的求解过程中。知识和使用知识的方法均隐含在问题的求解过程中。知识和使用知识的方法均隐含在问题的求解过程中。知识和使用知识的方法均隐含在问题的求解过程中。以程序来表示知识,把知识寓于程序之中;知识库即是一组以
64、程序来表示知识,把知识寓于程序之中;知识库即是一组以程序来表示知识,把知识寓于程序之中;知识库即是一组以程序来表示知识,把知识寓于程序之中;知识库即是一组程序的集合。程序的集合。程序的集合。程序的集合。表现为问题求解的具体过程。表现为问题求解的具体过程。表现为问题求解的具体过程。表现为问题求解的具体过程。知识表示和知识的运用结合起来。知识表示和知识的运用结合起来。知识表示和知识的运用结合起来。知识表示和知识的运用结合起来。知识的描述形式取决于具体问题,没有固定的形式。知识的描述形式取决于具体问题,没有固定的形式。知识的描述形式取决于具体问题,没有固定的形式。知识的描述形式取决于具体问题,没有固
65、定的形式。62xiao知识表示2.8.2 过程表示的问题求解过程过程表示的问题求解过程l l例:八数码问题,给出一种求解该问题的例:八数码问题,给出一种求解该问题的过程式描述。过程式描述。用一个用一个33的方格阵来表示该问题的一个状的方格阵来表示该问题的一个状态,为叙述上的方便,用态,为叙述上的方便,用ai来标记这来标记这9个个方格方格 63xiao知识表示2.8.2 过程表示的问题求解过程(续)过程表示的问题求解过程(续)当任意给定一初始状态后,当任意给定一初始状态后,当任意给定一初始状态后,当任意给定一初始状态后,求解该问题的过程如下:求解该问题的过程如下:求解该问题的过程如下:求解该问题
66、的过程如下:(1) (1) 首先移动棋牌,使得棋首先移动棋牌,使得棋首先移动棋牌,使得棋首先移动棋牌,使得棋子子子子1 1和空格均不在位置和空格均不在位置和空格均不在位置和空格均不在位置c c上。上。上。上。(2) (2) 依次移动棋牌,使得空依次移动棋牌,使得空依次移动棋牌,使得空依次移动棋牌,使得空格位置沿图格位置沿图格位置沿图格位置沿图(a)(a)所示的箭所示的箭所示的箭所示的箭头方向移动,直到棋子头方向移动,直到棋子头方向移动,直到棋子头方向移动,直到棋子1 1位于位于位于位于a a为止。为止。为止。为止。(3) (3) 依次移动将牌,使得空依次移动将牌,使得空依次移动将牌,使得空依次
67、移动将牌,使得空格位置沿图格位置沿图格位置沿图格位置沿图(b)(b)所示的箭所示的箭所示的箭所示的箭头方向移动,直到数码头方向移动,直到数码头方向移动,直到数码头方向移动,直到数码2 2位于位于位于位于b b为止。若这时刚好为止。若这时刚好为止。若这时刚好为止。若这时刚好数码数码数码数码3 3在位置在位置在位置在位置c c,则转,则转,则转,则转(6)(6)。64xiao知识表示2.8.2 过程表示的问题求解过程(续)过程表示的问题求解过程(续)(4) (4) 依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图 (c) (c
68、)所示的箭头所示的箭头所示的箭头所示的箭头方向移动,直到数码方向移动,直到数码方向移动,直到数码方向移动,直到数码3 3位于位于位于位于e e为止。这时空格刚好在位为止。这时空格刚好在位为止。这时空格刚好在位为止。这时空格刚好在位置置置置d d。经过以上。经过以上。经过以上。经过以上4 4步,得到步,得到步,得到步,得到的状态如左图的状态如左图的状态如左图的状态如左图(a)(a)所示。其所示。其所示。其所示。其中中中中“”“”表示除空格以外表示除空格以外表示除空格以外表示除空格以外的任何将牌。的任何将牌。的任何将牌。的任何将牌。(5) (5) 依次移动将牌,使得空格依次移动将牌,使得空格依次移
69、动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图 (d) (d)所示的箭头所示的箭头所示的箭头所示的箭头方向移动,直到空格又回方向移动,直到空格又回方向移动,直到空格又回方向移动,直到空格又回到了到了到了到了d d为止。此时状态左图为止。此时状态左图为止。此时状态左图为止。此时状态左图(b)(b)所示。所示。所示。所示。(6) (6) 依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图 (e) (e)所示的箭头所示的箭头所示的箭头所示的箭头方向移动,直到数码方向移动,直到数码方向移动,直到数码方向移动,
70、直到数码4 4在位在位在位在位置置置置f f为止。若这时刚好数码为止。若这时刚好数码为止。若这时刚好数码为止。若这时刚好数码5 5在位置在位置在位置在位置i i则转则转则转则转(9)(9)。65xiao知识表示2.8.2 过程表示的问题求解过程(续)过程表示的问题求解过程(续)(7) (7) 依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图 (f) (f)所示的箭头方所示的箭头方所示的箭头方所示的箭头方向移动,直到数码向移动,直到数码向移动,直到数码向移动,直到数码5 5位于位于位于位于e e为止。这时空格刚好在位为止。这
71、时空格刚好在位为止。这时空格刚好在位为止。这时空格刚好在位置置置置d d。(8) (8) 依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图 (g) (g) 所示的箭头所示的箭头所示的箭头所示的箭头方向移动,直到空格又回方向移动,直到空格又回方向移动,直到空格又回方向移动,直到空格又回到位置到位置到位置到位置d d为止。为止。为止。为止。(9) (9) 依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格依次移动将牌,使得空格位置沿图位置沿图位置沿图位置沿图(h)(h)所示的箭头方所示的箭头方所示的箭头方所示的
72、箭头方向移动,直到数码向移动,直到数码向移动,直到数码向移动,直到数码6 6在位在位在位在位置置置置h h为止,若这时数码为止,若这时数码为止,若这时数码为止,若这时数码7 7、8 8分别在位置分别在位置分别在位置分别在位置g g和和和和d d,则问,则问,则问,则问题得解,否则,说明由所题得解,否则,说明由所题得解,否则,说明由所题得解,否则,说明由所给初始状态达不到所要求给初始状态达不到所要求给初始状态达不到所要求给初始状态达不到所要求的目标状态。的目标状态。的目标状态。的目标状态。66xiao知识表示八数码问题实例八数码问题实例l l可以看出,这样得到的解路显然不是最佳可以看出,这样得到
73、的解路显然不是最佳的,但是按这样的一种过程编写的计算机的,但是按这样的一种过程编写的计算机程序具有非常高的求解效率。程序具有非常高的求解效率。l l知识的修改就是对程序的修改,也是对求知识的修改就是对程序的修改,也是对求解过程的修改。如变为四阶的问题。解过程的修改。如变为四阶的问题。l l缺点是不易添加新知识,对一个过程的修缺点是不易添加新知识,对一个过程的修改可能会波及另一个过程,给系统的维护改可能会波及另一个过程,给系统的维护带来不便。带来不便。67xiao知识表示2.8.3 过程表示的特性过程表示的特性优点:优点:表示效率高:利于问题解决表示效率高:利于问题解决控制系统容易实现控制系统容
74、易实现缺点:缺点:缺点是不易添加新知识,对一个过程的修缺点是不易添加新知识,对一个过程的修改可能会波及另一个过程,给系统的维护改可能会波及另一个过程,给系统的维护带来不便。带来不便。68xiao知识表示2.9面向对象表示法面向对象表示法l lPrologProlog(PROgramming in LOGicPROgramming in LOGic)采用的是用)采用的是用)采用的是用)采用的是用逻辑方法作程序设计的思想,它把一阶谓词演算中逻辑方法作程序设计的思想,它把一阶谓词演算中逻辑方法作程序设计的思想,它把一阶谓词演算中逻辑方法作程序设计的思想,它把一阶谓词演算中的说明性命题赋予过程性的解释
75、,从而使说明性的的说明性命题赋予过程性的解释,从而使说明性的的说明性命题赋予过程性的解释,从而使说明性的的说明性命题赋予过程性的解释,从而使说明性的命题变成可执行的过程。命题变成可执行的过程。命题变成可执行的过程。命题变成可执行的过程。l lSMALLTALKSMALLTALK是面向对象的程序设计语言中的主要是面向对象的程序设计语言中的主要是面向对象的程序设计语言中的主要是面向对象的程序设计语言中的主要代表。它由代表。它由代表。它由代表。它由Alan KayAlan Kay设计出来。整个系统包含四个设计出来。整个系统包含四个设计出来。整个系统包含四个设计出来。整个系统包含四个组成部分:语言核心
76、,编程风范,编程系统和界面组成部分:语言核心,编程风范,编程系统和界面组成部分:语言核心,编程风范,编程系统和界面组成部分:语言核心,编程风范,编程系统和界面模型。模型。模型。模型。SmallTalkSmallTalk程序以面向对象为基础,对象组程序以面向对象为基础,对象组程序以面向对象为基础,对象组程序以面向对象为基础,对象组织成类,凡是能被计算机处理的数据都可以定义为织成类,凡是能被计算机处理的数据都可以定义为织成类,凡是能被计算机处理的数据都可以定义为织成类,凡是能被计算机处理的数据都可以定义为对象。类构成继承的层次体系,每个类可以包含一对象。类构成继承的层次体系,每个类可以包含一对象。
77、类构成继承的层次体系,每个类可以包含一对象。类构成继承的层次体系,每个类可以包含一些方法,这些方法可以被子类继承也可以不被继承,些方法,这些方法可以被子类继承也可以不被继承,些方法,这些方法可以被子类继承也可以不被继承,些方法,这些方法可以被子类继承也可以不被继承,类之间的操作通过传递消息实现。类之间的操作通过传递消息实现。类之间的操作通过传递消息实现。类之间的操作通过传递消息实现。69xiao知识表示2.9面向对象表示法(续)面向对象表示法(续)l面向对象方法强调客观世界中事物与事面向对象方法强调客观世界中事物与事物之间的关系,因此采用面向对象的知物之间的关系,因此采用面向对象的知识表示方法
78、比较接近人类的思维方式。识表示方法比较接近人类的思维方式。l l基本原则:基本原则:基本原则:基本原则: 一切事物都是对象;一切事物都是对象;一切事物都是对象;一切事物都是对象;任何系统都是由对象构成的,系统本身也是对象;任何系统都是由对象构成的,系统本身也是对象;任何系统都是由对象构成的,系统本身也是对象;任何系统都是由对象构成的,系统本身也是对象;系统的发展和进化过程都是由系统的内部对象和外系统的发展和进化过程都是由系统的内部对象和外系统的发展和进化过程都是由系统的内部对象和外系统的发展和进化过程都是由系统的内部对象和外部对象之间(也包括内部对象与内部对象之间)的部对象之间(也包括内部对象
79、与内部对象之间)的部对象之间(也包括内部对象与内部对象之间)的部对象之间(也包括内部对象与内部对象之间)的相互作用完成的。相互作用完成的。相互作用完成的。相互作用完成的。70xiao知识表示2.9面向对象表示法(续)面向对象表示法(续)l l对象是由一组数据和与该组数据相关的操作构成的对象是由一组数据和与该组数据相关的操作构成的对象是由一组数据和与该组数据相关的操作构成的对象是由一组数据和与该组数据相关的操作构成的实体。实体。实体。实体。l l在面向对象表示中类和类继承是一组重要概念。在面向对象表示中类和类继承是一组重要概念。在面向对象表示中类和类继承是一组重要概念。在面向对象表示中类和类继承
80、是一组重要概念。类由一组变量和一组操作组成,它描述了一组具有类由一组变量和一组操作组成,它描述了一组具有类由一组变量和一组操作组成,它描述了一组具有类由一组变量和一组操作组成,它描述了一组具有相同属性和操作的对象。每一个对象都属于某一类,相同属性和操作的对象。每一个对象都属于某一类,相同属性和操作的对象。每一个对象都属于某一类,相同属性和操作的对象。每一个对象都属于某一类,每个对象都可由相关的类生成,换言之,对象是类每个对象都可由相关的类生成,换言之,对象是类每个对象都可由相关的类生成,换言之,对象是类每个对象都可由相关的类生成,换言之,对象是类的实例。一个类可以通过继承拥有另一类的全部变的实
81、例。一个类可以通过继承拥有另一类的全部变的实例。一个类可以通过继承拥有另一类的全部变的实例。一个类可以通过继承拥有另一类的全部变量和操作,继承是面向对象表示法的主要推理形式。量和操作,继承是面向对象表示法的主要推理形式。量和操作,继承是面向对象表示法的主要推理形式。量和操作,继承是面向对象表示法的主要推理形式。由于一个事物的描述都集中在一个类中,又体现了由于一个事物的描述都集中在一个类中,又体现了由于一个事物的描述都集中在一个类中,又体现了由于一个事物的描述都集中在一个类中,又体现了类的封装性。继承和封装是面向对象的两大特点。类的封装性。继承和封装是面向对象的两大特点。类的封装性。继承和封装是
82、面向对象的两大特点。类的封装性。继承和封装是面向对象的两大特点。71xiao知识表示2.9面向对象表示法(续)面向对象表示法(续)l l与语义网络、框架表示法的比较与语义网络、框架表示法的比较与语义网络、框架表示法的比较与语义网络、框架表示法的比较语义网络、框架和面向对象的方法都是结构化的知语义网络、框架和面向对象的方法都是结构化的知语义网络、框架和面向对象的方法都是结构化的知语义网络、框架和面向对象的方法都是结构化的知识表示方法,而面向对象识表示方法,而面向对象识表示方法,而面向对象识表示方法,而面向对象 表示是其中最结构化的知表示是其中最结构化的知表示是其中最结构化的知表示是其中最结构化的
83、知识表示方法。识表示方法。识表示方法。识表示方法。语义网络的主要优点是灵活性,网络中的节点和有语义网络的主要优点是灵活性,网络中的节点和有语义网络的主要优点是灵活性,网络中的节点和有语义网络的主要优点是灵活性,网络中的节点和有向弧可以按规定不加限制的定义,这种灵活性在面向弧可以按规定不加限制的定义,这种灵活性在面向弧可以按规定不加限制的定义,这种灵活性在面向弧可以按规定不加限制的定义,这种灵活性在面向对象的方法中不仅存在,而且可以动态建立。向对象的方法中不仅存在,而且可以动态建立。向对象的方法中不仅存在,而且可以动态建立。向对象的方法中不仅存在,而且可以动态建立。(动态语义网络)(动态语义网络
84、)(动态语义网络)(动态语义网络)语义网络的缺点是难于系统的开发和维护,节点增语义网络的缺点是难于系统的开发和维护,节点增语义网络的缺点是难于系统的开发和维护,节点增语义网络的缺点是难于系统的开发和维护,节点增加、管理复杂。面向对象方法的封装性克服了这一加、管理复杂。面向对象方法的封装性克服了这一加、管理复杂。面向对象方法的封装性克服了这一加、管理复杂。面向对象方法的封装性克服了这一点。点。点。点。结构上适合大型知识系统的开发和维护。结构上适合大型知识系统的开发和维护。结构上适合大型知识系统的开发和维护。结构上适合大型知识系统的开发和维护。72xiao知识表示2.10小结小结l l状态空间法是
85、一种基于解答空间的问题表示和求解方法,它是以状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态空间法是一种基于解答空间的问题表示和求解方法,它是以状态和操作符为基础的。在利用状态空间图表示时,从某个初始状态和操作符为基础的。在利用状态空间图表示时,从某个初始状态和操作符为基础的。在利用状态空间图表示时,从某个初始状态和操作符为基础的。在利用状态空间图表示时,从某个初始状态开始,每次加一个操作符,递增地建立起操作符的试验序列,状态开始,每次加一个操作符,递增地建立起操作符的试验序列,状态开始,每次加一个操作符,递增地建立起操作符的
86、试验序列,状态开始,每次加一个操作符,递增地建立起操作符的试验序列,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,直到达到目标状态为止。由于状态空间法需要扩展过多的节点,容易出现容易出现容易出现容易出现“ “组合爆炸组合爆炸组合爆炸组合爆炸” ”,因而只适用于表示比较简单的问题。,因而只适用于表示比较简单的问题。,因而只适用于表示比较简单的问题。,因而只适用于表示比较简单的问题。l l问题归约法从目标问题归约法从目标问题归约法从目标问题归约法从目标( (要解决的问题要解决的
87、问题要解决的问题要解决的问题) )出发,逆向推理,通过一系列出发,逆向推理,通过一系列出发,逆向推理,通过一系列出发,逆向推理,通过一系列变换把初始问题变换为子问题集合和子子问题集合,直至最后归变换把初始问题变换为子问题集合和子子问题集合,直至最后归变换把初始问题变换为子问题集合和子子问题集合,直至最后归变换把初始问题变换为子问题集合和子子问题集合,直至最后归约为一个平凡的本原问题集合。这些本原问题的解可以直接得到约为一个平凡的本原问题集合。这些本原问题的解可以直接得到约为一个平凡的本原问题集合。这些本原问题的解可以直接得到约为一个平凡的本原问题集合。这些本原问题的解可以直接得到从而解决了初始
88、问题,用与或图来有效地说明问题归约法的求解从而解决了初始问题,用与或图来有效地说明问题归约法的求解从而解决了初始问题,用与或图来有效地说明问题归约法的求解从而解决了初始问题,用与或图来有效地说明问题归约法的求解途径。问题归约法能够比状态空间法更有效地表示问题。状态空途径。问题归约法能够比状态空间法更有效地表示问题。状态空途径。问题归约法能够比状态空间法更有效地表示问题。状态空途径。问题归约法能够比状态空间法更有效地表示问题。状态空间法是问题归约法的一种特例。在问题归约法的与或图中,包含间法是问题归约法的一种特例。在问题归约法的与或图中,包含间法是问题归约法的一种特例。在问题归约法的与或图中,包
89、含间法是问题归约法的一种特例。在问题归约法的与或图中,包含有与节点和或节点,而在状态空间法中只含有或节点。有与节点和或节点,而在状态空间法中只含有或节点。有与节点和或节点,而在状态空间法中只含有或节点。有与节点和或节点,而在状态空间法中只含有或节点。l l谓词逻辑法采用谓词合式公式和一阶谓词演算把要解决的问题变谓词逻辑法采用谓词合式公式和一阶谓词演算把要解决的问题变谓词逻辑法采用谓词合式公式和一阶谓词演算把要解决的问题变谓词逻辑法采用谓词合式公式和一阶谓词演算把要解决的问题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一为一个有待证明的问题,然后采用消解定理和消解反演来证明一为一个有
90、待证明的问题,然后采用消解定理和消解反演来证明一为一个有待证明的问题,然后采用消解定理和消解反演来证明一个新语句是从已知的正确语句导出的,从而证明这个新语句也是个新语句是从已知的正确语句导出的,从而证明这个新语句也是个新语句是从已知的正确语句导出的,从而证明这个新语句也是个新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符正确的。谓词逻辑是一种形式语言,能够把数学中的逻辑论证符号化。谓词逻辑法常与其它表示方法混合使用,灵活方
91、便,可以号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以号化。谓词逻辑法常与其它表示方法混合使用,灵活方便,可以表示比较复杂的问题。表示比较复杂的问题。表示比较复杂的问题。表示比较复杂的问题。73xiao知识表示2.10小结(续)小结(续)l l语义网络是一种结构化表示方法,它由节点和弧线或链线组语义网络是一种结构化表示方法,它由节点和弧线或链线组语义网络是一种结构化表示方法,它由节点和弧线或链线组语义网络是一种结构化表示方法,它由节点和弧线或链线组成。节点用于表示物体、概念和状态,弧线用于表示节点间成。节点用于表示物体、概念和状
92、态,弧线用于表示节点间成。节点用于表示物体、概念和状态,弧线用于表示节点间成。节点用于表示物体、概念和状态,弧线用于表示节点间的关系。语义网络的解答是一个经过推理和匹配而得到的具的关系。语义网络的解答是一个经过推理和匹配而得到的具的关系。语义网络的解答是一个经过推理和匹配而得到的具的关系。语义网络的解答是一个经过推理和匹配而得到的具有明确结果的新的语义网络。语义网络可用于表示多元关系,有明确结果的新的语义网络。语义网络可用于表示多元关系,有明确结果的新的语义网络。语义网络可用于表示多元关系,有明确结果的新的语义网络。语义网络可用于表示多元关系,扩展后可以表示更复杂的问题。扩展后可以表示更复杂的
93、问题。扩展后可以表示更复杂的问题。扩展后可以表示更复杂的问题。l l框架是一种结构化表示方法。框架通常由指定事物各个方面框架是一种结构化表示方法。框架通常由指定事物各个方面框架是一种结构化表示方法。框架通常由指定事物各个方面框架是一种结构化表示方法。框架通常由指定事物各个方面的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若的槽组成,每个槽拥有若干个侧面,而每个侧面又可拥有若干个值。大多数实用系统必须同时使用许多框架,并可把它干个值。大多数实用系统必须同时使用许多框架,并可把它干个值。大多
94、数实用系统必须同时使用许多框架,并可把它干个值。大多数实用系统必须同时使用许多框架,并可把它们联成一个框架系统。框架表示已获广泛应用,然而并非所们联成一个框架系统。框架表示已获广泛应用,然而并非所们联成一个框架系统。框架表示已获广泛应用,然而并非所们联成一个框架系统。框架表示已获广泛应用,然而并非所有问题都可以用框架表示。有问题都可以用框架表示。有问题都可以用框架表示。有问题都可以用框架表示。l l剧本是框架的一种特殊形式,它使用一组槽来描述事件的发剧本是框架的一种特殊形式,它使用一组槽来描述事件的发剧本是框架的一种特殊形式,它使用一组槽来描述事件的发剧本是框架的一种特殊形式,它使用一组槽来描
95、述事件的发生序列。剧本表示特别适用于描述顺序性动作或事件,但使生序列。剧本表示特别适用于描述顺序性动作或事件,但使生序列。剧本表示特别适用于描述顺序性动作或事件,但使生序列。剧本表示特别适用于描述顺序性动作或事件,但使用不如框架灵活,因此应用范围也不如框架那么广泛。用不如框架灵活,因此应用范围也不如框架那么广泛。用不如框架灵活,因此应用范围也不如框架那么广泛。用不如框架灵活,因此应用范围也不如框架那么广泛。l l过程是一种知识的过程式表示,它将某一有关问题领域知识过程是一种知识的过程式表示,它将某一有关问题领域知识过程是一种知识的过程式表示,它将某一有关问题领域知识过程是一种知识的过程式表示,
96、它将某一有关问题领域知识同这些使用方法一起,隐式地表示为一个问题求解过程。过同这些使用方法一起,隐式地表示为一个问题求解过程。过同这些使用方法一起,隐式地表示为一个问题求解过程。过同这些使用方法一起,隐式地表示为一个问题求解过程。过程表示用程序来描述问题,具有很高的问题求解效率。由于程表示用程序来描述问题,具有很高的问题求解效率。由于程表示用程序来描述问题,具有很高的问题求解效率。由于程表示用程序来描述问题,具有很高的问题求解效率。由于知识隐含在程序中难以操作,所以适用范围较窄。知识隐含在程序中难以操作,所以适用范围较窄。知识隐含在程序中难以操作,所以适用范围较窄。知识隐含在程序中难以操作,所以适用范围较窄。74xiao知识表示2.10小结(续)小结(续)l l知识表示方法的选择知识表示方法的选择对于特定的问题并不是所有的方法都可行,对于特定的问题并不是所有的方法都可行,具体问题具体分析。具体问题具体分析。在表示和求解比较复杂的问题时,采用单一在表示和求解比较复杂的问题时,采用单一的知识表示方法是远远不够的。往往必须采的知识表示方法是远远不够的。往往必须采用多种方法混合表示。用多种方法混合表示。还要考虑所使用的程序设计语言所提供的功还要考虑所使用的程序设计语言所提供的功能和特点,以便能够更好的描述这些表示方能和特点,以便能够更好的描述这些表示方法。法。75xiao知识表示