人工智能课件cumt-第二章-知识表示-2.pptx

人工智能人工智能课件件cumt-第二章第二章-知知识表示表示-22024/5/31 周五周五22.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o2、连词和量词、连词和量词n通过引入连词和量词，可以把通过引入连词和量词，可以把原子公式原子公式组合为组合为复合谓词公式复合谓词公式。n复合谓词公式也称为复合谓词公式也称为逻辑语句逻辑语句，谓词演算也称为，谓词演算也称为谓词逻辑谓词逻辑。o（1）连词）连词n通过连词产生复合谓词公式（逻辑语句）的例子：通过连词产生复合谓词公式（逻辑语句）的例子：Inroom(Robot,R2)Isa(Liming,Student)Lives(Liming,House1)Isa(Wang,Teacher)Isa(Wang,Officer)At(Liming,School)At(Wang,School)At(Liming,School)At(Wang,School)2024/5/31 周五周五32.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o2、连词和量词、连词和量词n命题命题不包含不包含变量变量的的谓词公式谓词公式和和逻辑语句逻辑语句；n命命题题逻逻辑辑基基于于命命题题的的谓谓词词逻逻辑辑称称为为命命题题逻逻辑辑，命题逻辑是谓词逻辑的子集命题逻辑是谓词逻辑的子集。n命题逻辑命题逻辑缺乏有效的表达缺乏有效的表达一般性概念一般性概念的能力的能力o无法把每个知识单元抽象、细分；无法把每个知识单元抽象、细分；o如，如，“条条大路通罗马条条大路通罗马”。oLead(Road1,Roma)oLead(Road2,Roma)n谓词逻辑谓词逻辑中引入中引入变量变量和对变量进行约束的和对变量进行约束的量词量词。o（2）量词）量词n全称量词全称量词 存在量词存在量词 2024/5/31 周五周五42.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o2、连词和量词、连词和量词（2）量词）量词n全称量词全称量词 o符号符号(x)P(x)：表示对于某个论域中的：表示对于某个论域中的所有（任意一个）所有（任意一个）个体个体x,都有都有P(x)真值为真值为T。n存在量词存在量词 o符号符号(x)P(x)：来表示某个论域中：来表示某个论域中至少存在一个至少存在一个个体个体x，使，使P(x)真值为真值为T。条条大路通罗马条条大路通罗马Mary给每个人一本书给每个人一本书Mary给每人某个同样的东西给每人某个同样的东西量词可以嵌套使用量词可以嵌套使用可以有不受量词约束的变量可以有不受量词约束的变量2024/5/31 周五周五52.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念Mary给每个人一本书给每个人一本书Mary给每人某个同样的东西给每人某个同样的东西量词可以嵌套使用量词可以嵌套使用可以有不受量词约束的变量可以有不受量词约束的变量2024/5/31 周五周五62.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o2、连词和量词、连词和量词（2）量词）量词n全称量词全称量词 o符号符号(x)P(x)：表示对于某个论域中的：表示对于某个论域中的所有（任意一个）所有（任意一个）个体个体x,都有都有P(x)真值为真值为T。n存在量词存在量词 o符号符号(x)P(x)：来表示某个论域中：来表示某个论域中至少存在一个至少存在一个个体个体x，使，使P(x)真值为真值为T。条条大路通罗马条条大路通罗马所有机器人都是灰色的所有机器人都是灰色的2024/5/31 周五周五72.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o2、连词和量词、连词和量词（2）量词）量词n出现在出现在量词量词中的中的变量变量，称为，称为量词的约束变量量词的约束变量（或变（或变元）元）o取值取值仅在量词的辖域内有效；仅在量词的辖域内有效；o不同辖域内的不同辖域内的同名约束变量同名约束变量相互独立；相互独立；n不受量词约束的变量称为不受量词约束的变量称为自由变量自由变量n自由变量的自由变量的相对性相对性：2024/5/31 周五周五82.2 谓词逻辑表示法谓词逻辑表示法 1）谓词逻辑基本概念）谓词逻辑基本概念o3、一阶谓词逻辑、一阶谓词逻辑n定义：定义：若限定若限定不允许不允许对对谓词谓词和和函数名函数名进行进行量化量化处理，且处理，且参数项参数项不能是不能是谓词公式谓词公式，则这样的谓，则这样的谓词逻辑是词逻辑是一阶一阶的。的。o谓词、函数名谓词、函数名的出现位置的出现位置不允许使用变量不允许使用变量；o参数项参数项不能是不能是谓词公式谓词公式；n(P)P(A)-谓词进行了量化；谓词进行了量化；n(y)Married(y(L1),Mary)-函数名进行了量化；函数名进行了量化；nP(x,Q(y)-参数项是谓词公式；参数项是谓词公式；2024/5/31 周五周五92.2 谓词逻辑表示法谓词逻辑表示法 2）合适）合适(式式)公式公式o1、合式公式的定义、合式公式的定义n合式公式合式公式适合于适合于一阶谓词逻辑一阶谓词逻辑n遵从以下递归方式定义的遵从以下递归方式定义的逻辑语句逻辑语句称为称为合式公式合式公式n单一谓词公式是合式公式；单一谓词公式是合式公式；n若若A A是合式公式，则是合式公式，则 A A也是合式公式；也是合式公式；n若若A A和和B B都是合式公式，则都是合式公式，则A AB B、A AB B、A AB B和和A AB B也都是合式公式；也都是合式公式；n若若A A是合式公式，是合式公式，x x是约束变量，则是约束变量，则(x x)A)A和和(x x)A)A也都也都是合式公式；是合式公式；n只有按上述规则只有按上述规则-求得的公式，才是合式公式。求得的公式，才是合式公式。n连词优先级别连词优先级别是是，、，、，但可通过，但可通过括号括号改变改变优先级。优先级。2024/5/31 周五周五102.2 谓词逻辑表示法谓词逻辑表示法 2）合式公式）合式公式o1、合式公式的定义、合式公式的定义n例例2 2、“所有人所有人(Person)(Person)都喜欢都喜欢(Like)(Like)一种游戏一种游戏(Game)”(Game)”o谓词公式谓词公式nPerson(x)Person(x)nLike(x,y)Like(x,y)nGame(y)Game(y)o量词量词n(x x)Person(x)Person(x)表示表示所有所有人；人；n(y)y)Game(y)Game(y)表示表示一种一种游戏；游戏；o合式公式合式公式n(x x)()(y)Person(x)y)Person(x)Game(y)Game(y)Like(x,y)Like(x,y)2024/5/31 周五周五114 4）谓词逻辑适用范围：）谓词逻辑适用范围：谓谓词词逻逻辑辑适适合合于于表表示示事事物物的的状状态态、属属性性、概概念念等等事事实实性性知知识识，也也可可以以用用来来表表示示事事物物间间具具有有确确定定因果关系的因果关系的规则性知识规则性知识。1 1）对）对事实性知识事实性知识：可以使用谓词公式中的析取符：可以使用谓词公式中的析取符号与合取符号连接起来的谓词公式来表示，如对下面号与合取符号连接起来的谓词公式来表示，如对下面句子：句子：张三是一名计算机系的学生，他喜欢编程序。张三是一名计算机系的学生，他喜欢编程序。可以用谓词公式表示为可以用谓词公式表示为 Computer(Computer(张三张三)Like(Like(张三张三,programming)programming)其中其中:Computer(x)Computer(x)表示表示x x是计算机系的学生是计算机系的学生,Like(x,y)Like(x,y)表示表示x x喜欢喜欢y,y,都是谓词。都是谓词。2024/5/31 周五周五122.3.1 产生式系统产生式系统p1.产生式规则产生式规则n通常用于表示事物间的通常用于表示事物间的因果关系因果关系；n【基本形式】【基本形式】pIF P then Q 或或 P Q，其中，其中pP表示规则的表示规则的条件条件（或称（或称前提前提）；）；n谓词谓词、多元组、常量、变量、关系运算、多元组、常量、变量、关系运算pQ表示规则激活时应该执行的表示规则激活时应该执行的动作动作（或得到的（或得到的结论结论）；）；n激活激活规则条件规则条件P满足；满足；n【规则分类规则分类】p前提前提-结论型结论型p条件条件-动作型动作型 谓词逻辑的蕴含关系谓词逻辑的蕴含关系只是产生式规则的特殊形式只是产生式规则的特殊形式2024/5/31 周五周五132.3.1 产生式系统产生式系统p3.应用实例应用实例八数码游戏八数码游戏n综合数据库综合数据库n规则库规则库n冲突解决策略冲突解决策略初始布局初始布局目标布局目标布局移动数码移动数码2024/5/31 周五周五142.3.1 产生式系统产生式系统p3.应用实例应用实例八数码游戏八数码游戏n综合数据库综合数据库描述描述问题状态问题状态p33的一个的一个矩阵矩阵S表示棋盘布局；表示棋盘布局；p矩阵元素矩阵元素Sij 0,1,2,3,4,5,6,7,8,其中其中1i,j3 n数字数字0表示空格表示空格 n数字数字1-8表示相应的棋牌；表示相应的棋牌；初始布局初始布局目标布局目标布局移动数码移动数码2024/5/31 周五周五152.3.1 产生式系统产生式系统p3.应用实例应用实例八数码游戏八数码游戏n规则库规则库：nR1:j01 Si0j0:=Si0(j0-1)Si0(j0-1):=0空格左移空格左移 nR2:i01 Si0j0:=S(i0-1)j0 S(i0-1)j0:=0空格上移空格上移nR3:j03 Si0j0:=Si0(j0+1)Si0(j0+1):=0空格右移空格右移nR4:i01 Si0j0:=Si0(j0-1)Si0(j0-1):=0R3R3右移右移;j03 Si0j0:=Si0(j0+1)Si0(j0+1):=0R4R4下移下移;i03 Si0j0:=S(i0+1)j0 S(i0+1)j0:=0冲突冲突错位的棋牌个数最少错位的棋牌个数最少2024/5/31 周五周五18R4R4下移下移;i01 Si0j0:=Si0(j0-1)Si0(j0-1):=0R3右移右移;j03 Si0j0:=Si0(j0+1)Si0(j0+1):=0R4R4下移下移;i03 Si0j0:=S(i0+1)j0 S(i0+1)j0:=0i0=2，j0=2R1R3R4冲突冲突错位的棋牌个数最少错位的棋牌个数最少（移动次数）的总和最小（移动次数）的总和最小532024/5/31 周五周五20R4R4下移下移;i01 Si0j0:=Si0(j0-1)Si0(j0-1):=0R3右移右移;j01 Si0j0:=S(i0-1)j0 S(i0-1)j0:=0R4i0=3，j0=1R4R1R22024/5/31 周五周五23R4i0=2，j0=1R4R1R2R2R2上移上移;i01 Si0j0:=S(i0-1)j0 S(i0-1)j0:=0R3右移右移;j03 Si0j0:=Si0(j0+1)Si0(j0+1):=0R3冲突冲突2024/5/31 周五周五24R4i0=2，j0=2R4R1R2R3右移右移;j0L(2)=1综合数据库综合数据库L2,3:L(2)=32024/5/31 周五周五292.3.2 控制策略控制策略p1、二阶梵塔问题二阶梵塔问题：n冲突解法冲突解法 p盘在同一柱子上（盘在同一柱子上（L(1)=L(2)）,只能移动小盘只能移动小盘nR1(n)：If L(1)n then L(1)=n;n=1,2,3n目的柱目的柱的按的按优先次序优先次序1、2、3排列排列;p盘在不同一柱子上（盘在不同一柱子上（L(1)L(2)）,大盘、小盘均可移动；大盘、小盘均可移动；nR1(n)：If L(1)n then L(1)=n;n=1,2,3nR2(n)：If L(2)L(1),L(1)n,L(2)n then L(2)=nn数码小的柱子上的盘优先移动数码小的柱子上的盘优先移动；pL(1)L(2)，先搬，先搬大盘大盘；2024/5/31 周五周五30R1(2):If L(1)2 then L(1)=2;R1(3):IfL(1)3 then L(1)=3;目的柱目的柱优先次序优先次序1、2、3R1(3)R1(2)2024/5/31 周五周五31R1(3)R1(2)2024/5/31 周五周五32R2(3):If L(2)L(1),L(1)3,L(2)3 then L(2)=3R1(3):If L(1)3 then L(1)=3;数码小的柱子上的盘优先移动数码小的柱子上的盘优先移动:L(1)L(2)，先搬，先搬大盘大盘R1(3)R1(1):If L(1)1 then L(1)=1;R1(3)R2(3)R1(2)2024/5/31 周五周五33R1(3)R1(3)R2(3)R1(2)2024/5/31 周五周五34R1(3)R1(3)R2(3)R1(1):If L(1)1 then L(1)=1;R1(3):If L(1)3 then L(1)=3;R2(1):If L(2)L(1),L(1)1,L(2)1 then L(2)=1 目的柱目的柱优先次序优先次序1、2、3R1(3)R1(1)R1(2)2024/5/31 周五周五35R1(3)R1(3)R2(3)R1(2):If L(1)2 then L(1)=2;R1(3):If L(1)3 then L(1)=3;R2(2):If L(2)L(1),L(1)2,L(2)2 then L(2)=2 R1(3)R1(1)R1(2)数码小的柱子上的盘优先移动数码小的柱子上的盘优先移动:L(1)L(2)，先搬，先搬小盘小盘R2(2)R1(3)2024/5/31 周五周五36R1(3)R1(3)R2(3)R1(3)R1(1)R1(2)R2(2)R1(3)回溯回溯R1(1)R1(2)推理失败后，返回到按时序最接近的推理分支点推理失败后，返回到按时序最接近的推理分支点2024/5/31 周五周五37R1(3)R1(3)R2(3)R1(3)R1(1)R1(2)R2(2)R1(3)回溯回溯2024/5/31 周五周五38R1(3)R1(3)R2(3)R1(3)R1(1)R1(2)R2(2)R1(3)R1(2):If L(1)2 then L(1)=2;R1(3):If L(1)3 then L(1)=3;R2(3):If L(2)L(1),L(1)3,L(2)3 then L(2)=3 目的柱目的柱优先次序优先次序2、3R1(3)R1(2)2024/5/31 周五周五39R1(3)R1(3)R2(3)R1(3)R1(1)R1(2)R2(2)R1(3)R1(3)R1(2)目标状态！目标状态！2024/5/31 周五周五402.3.2 控制策略控制策略p2、机器人搬动积木块机器人搬动积木块n有三个积木块（有三个积木块（A、B、C）放在桌子上，且可以叠放在一）放在桌子上，且可以叠放在一起；起；n要求从任意初始状态出发，按自上而下要求从任意初始状态出发，按自上而下A、B、C的顺序叠的顺序叠放这三个积木块；放这三个积木块；n搬动积木块应遵从以下约束：搬动积木块应遵从以下约束：p（1）每次只能搬一块；）每次只能搬一块；p（2）只有顶空的积木块才能搬动；）只有顶空的积木块才能搬动；n设计一个产生式系统，包括设计一个产生式系统，包括综合数据库综合数据库、规则库规则库和和冲突解法冲突解法（不必设计控制系统）（不必设计控制系统）ABCABC2024/5/31 周五周五412.4 语义网络语义网络 Semantic Networkp1、语义网络的一般概念、语义网络的一般概念n例例2、命题：、命题：John给给Mary一件礼物一件礼物n表示成三元谓词：表示成三元谓词：Gives(John,Mary,Gift)nIsa(G1,Giving-Event)Giver(G1,John)Receiver(G1,Mary)Thing(G1,Gift)JohnMaryGiftG1GiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsa谓词作为关系弧的标签谓词作为关系弧的标签P41 势态节点势态节点P41格框架格框架格格弧弧2024/5/31 周五周五422.4 语义网络语义网络 Semantic Networkp2、事物之间关系的一般描述、事物之间关系的一般描述n与与、或、或、非、非 、蕴含、蕴含等逻辑关系；等逻辑关系；n变量和量词变量和量词 、p2.1 逻辑关系的表示逻辑关系的表示p2.2 变量和量词的表示变量和量词的表示IsaJohnMaryGiftG1GiverReceiverThingGiving-EventPersonsIsaIsaPhysical-ThingsIsa命题语义网络命题语义网络1.关系弧关系弧间仅有间仅有“与与”关系关系2.节点节点仅包含仅包含常量常量2024/5/31 周五周五432.4 语义网络语义网络 Semantic Networkp2.1 逻辑关系的表示逻辑关系的表示n4）逻辑）逻辑“蕴含蕴含”p关系弧间关系弧间有逻辑有逻辑“蕴含蕴含”关系时：关系时：p如，李明的父亲给李明的每个朋友一个礼物如，李明的父亲给李明的每个朋友一个礼物p x yFriend(Liming,x)Gives(father(Liming),x,y)p x y p gppFriend(Liming,x)ppIsa(g,Giving-Events)pGiver(g,father(Liming)p Receiver(g,x)p Thing(g,y)p消去存在量词消去存在量词2024/5/31 周五周五442.4 语义网络语义网络 Semantic Networkp2.1 逻辑关系的表示逻辑关系的表示n4）逻辑）逻辑“蕴含蕴含”p关系弧间有逻辑关系弧间有逻辑“蕴含蕴含”关系时：关系时：p如，李明的父亲给李明的每个朋友一个礼物如，李明的父亲给李明的每个朋友一个礼物p x yFriend(Liming,x)Gives(father(Liming),x,y)p x ppFriend(Liming,x)ppIsa(g(x),Giving-Events)pGiver(g(x),father(Liming)p Receiver(g(x),x)p Thing(g(x),t(x)p消去存在量词消去存在量词2024/5/31 周五周五452.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n如，如，John给每个人一个礼物给每个人一个礼物 x y Gives(John,x,y)n转化为二元关系的合取转化为二元关系的合取n x y n gnpIsa(g,Giving-Events)pGiver(g,John)p Receiver(g,x)p Thing(g,y)nn消去存在量词消去存在量词，语义网络节点中的变量隐含语义网络节点中的变量隐含受全称量词受全称量词 约束约束pIsa(f(x),Giving-Events)pGiver(f(x),John)p Receiver(f(x),x)p Thing(f(x),g(x)2024/5/31 周五周五462.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)n x y gnIsa(g,Giving-Events)nGiver(g,John)Receiver(g,x)Thing(g,y)JohnxygGiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsaJohnxg(x)f(x)GiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsa2024/5/31 周五周五472.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)n在语义网络用虚线围出一个在语义网络用虚线围出一个子网子网p提供提供陈述句陈述句G G的内容的内容，称为，称为构架构架（Form）；）；JohnxygGiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsaGGSIsa陈述句陈述句陈述句陈述句G的内容的内容一般陈述句一般陈述句2024/5/31 周五周五482.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)p带标签带标签Form的关系弧的关系弧指向指向子网子网；JohnxygGiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsaGGSIsaForm2024/5/31 周五周五492.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)p带标签带标签 的弧的弧指向全称量词指向全称量词 的的约束变量；约束变量；JohnxygGiverReceiverThingGiving-EventIsaPersonsIsaIsaPhysical-ThingsIsaGGSIsa Form2024/5/31 周五周五502.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)pEvery()dog has bitten a()postmanxyzAssailiantVictimBit-EventsIsaGogIsaPostmanIsaGGSIsaForm 2024/5/31 周五周五512.4 语义网络语义网络 Semantic Networkp2.2、变量和量词的表示、变量和量词的表示n显示全称量词显示全称量词 及其辖域及其辖域(P41(P41 分块语义网络分块语义网络)p引出引出多个带标签多个带标签 的弧的弧指向这些指向这些全称量词约束变量全称量词约束变量pEvery()dog has bitten every()postman.xyzAssailiantVictimBit-EventsIsaGogIsaPostmanIsaGGSIsa Form 多个全称量词多个全称量词 约束变量约束变量2024/5/31 周五周五52课后习题课后习题p3、表示包含下面句子含义的、表示包含下面句子含义的语义网络语义网络：n 典型的典型的哺乳动物哺乳动物有有毛发毛发。pHas(哺乳动物哺乳动物,毛发毛发)n 狗狗是哺乳动物，且吃是哺乳动物，且吃肉肉。pAko(狗狗,哺乳动物哺乳动物)Eat(狗狗,肉肉)n Fido是是John的狗。的狗。pOwn(John,Fido)2024/5/31 周五周五53课后习题课后习题p3、表示包含下面句子含义的、表示包含下面句子含义的语义网络语义网络：n 典型的典型的哺乳动物哺乳动物有有毛发毛发。pHas(哺乳动物哺乳动物,毛发毛发)n 狗狗是哺乳动物，且吃是哺乳动物，且吃肉肉。pAko(狗狗,哺乳动物哺乳动物)EatEat(狗狗,肉肉)n Fido是是John的狗。的狗。pIsa(Fido,狗狗)Owner(Fido,John)肉肉FidoEat狗狗AkoIsa哺乳动物哺乳动物毛发毛发HasJohnOwner人人Isa2024/5/31 周五周五54课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 每个人都有一部喜欢的电影。每个人都有一部喜欢的电影。n 太阳公司的每个营销员都参加太平洋保险。太阳公司的每个营销员都参加太平洋保险。n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课课后作业后作业)2024/5/31 周五周五55课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 每个人都有一部喜欢的电影。每个人都有一部喜欢的电影。n x y Isa(x,人人)Isa(y,电影电影)Like(x,y)n x y g nIsa(x,人人)Isa(y,电影电影)nIsa(g,喜欢事件喜欢事件)subj(g,x)obj(g,y)n语义网络中语义网络中“变量和量词变量和量词”的处理的处理n方法方法1：消去存在量词：消去存在量词 nIsa(x,人人)Isa(f(x),电影电影)nIsa(g(x),喜欢事件喜欢事件)subj(g(x),x)obj(g(x),f(x)2024/5/31 周五周五56课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 每个人都有一部喜欢的电影。每个人都有一部喜欢的电影。n方法方法1：消去存在量词：消去存在量词 nIsa(x,人人)Isa(f(x),电影电影)nIsa(g(x),喜欢事件喜欢事件)subj(g(x),x)Obj(g(x),f(x)g(x)喜欢事件喜欢事件xf(x)人人电影电影IsaIsaIsaSubjObj2024/5/31 周五周五57课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 每个人都有一部喜欢的电影。每个人都有一部喜欢的电影。n方法方法2：显示全称量词：显示全称量词 及其辖域及其辖域n x y g nIsa(x,人人)Isa(y,电影电影)nIsa(g,喜欢事件喜欢事件)subj(g,x)obj(g,y)g喜欢事件喜欢事件xy人人电影电影IsaIsaIsaSubjObjGGSIsa Form2024/5/31 周五周五58课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 太阳公司的每个营销员都参加太平洋保险。太阳公司的每个营销员都参加太平洋保险。y参加事件参加事件xz营业员营业员太平洋保险太平洋保险IsaIsaIsa参加者参加者参加对象参加对象GGSIsa Form太阳公司太阳公司CompanyAko保险保险2024/5/31 周五周五59课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课课后作业后作业)p x ppInhabit(x,光明公寓光明公寓)ppCompany(x,太阳公司太阳公司)p pProfession(x,律师律师)p2024/5/31 周五周五60课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课后作业课后作业)p关系弧间有逻辑关系弧间有逻辑“蕴含蕴含”关系时：关系时：p蕴含蕴含前项前项的关系弧加的关系弧加标记标记ANTE（antecedent）;p蕴含蕴含后项后项的关系弧加的关系弧加标记标记CONSE（consequent）;p用用虚线连接虚线连接两个前项和后项两个前项和后项太阳公司太阳公司律师律师CompanyProfessionCONSE光明公寓光明公寓InhabitANTEx2024/5/31 周五周五61课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课课后作业后作业)n x y gnnIsa(y,居住事件居住事件)Person(y,x)Location(y,光明公寓光明公寓)nnIsa(g,职业事件职业事件)nWorker(g,x)n Profession(g,律师律师)Company(g,太阳公司太阳公司)n方法方法1：消去存在量词：消去存在量词 方法方法2：显示全称量词：显示全称量词 及其辖域及其辖域2024/5/31 周五周五62课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课后作业课后作业)n方法方法1：消去存在量词：消去存在量词 n x nnIsa(f(x),居住事件居住事件)nPerson(f(x),x)Location(f(x),光明公寓光明公寓)nnIsa(g(x),职业事件职业事件)nWorker(g(x),x)n Profession(g(x),律师律师)Company(g(x),太阳公司太阳公司)n2024/5/31 周五周五63课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课课后作业后作业)x职业事件职业事件光明公寓光明公寓Personf(x)居住事件居住事件IsaLocation律师律师Workerg(x)IsaCompanyProfession太阳公司太阳公司ANTECONSE2024/5/31 周五周五64课后习题课后习题p4、把下列语句表示为语义网络的描述：、把下列语句表示为语义网络的描述：n 居住在光明公寓的人都是太阳公司的律师。居住在光明公寓的人都是太阳公司的律师。(课课后作业后作业)n方法方法2：显示全称量词：显示全称量词 及其辖域及其辖域n x y gnnIsa(y,居住事件居住事件)Person(y,x)Location(y,光明公寓光明公寓)nnIsa(g,职业事件职业事件)nWorker(g,x)n Profession(g,律师律师)Company(g,太阳公司太阳公司)n2024/5/31 周五周五65课后习题课后习题x职业事件职业事件光明公寓光明公寓Persony居住事件居住事件IsaLocation律师律师WorkergIsaCompanyProfession太阳公司太阳公司ANTECONSEGGSIsaForm 2024/5/31 周五周五662.4 语义网络语义网络 Semantic Networkp x yFriend(Liming,x)Gives(father(Liming),x,y)p x y f g pnIsa(f,Friend-Events)nSubject(f,Liming)n Friend(f,x)nnIsa(g,Giving-Events)nGiver(g,father(Liming)n Receiver(g,x)n Thing(g,y)p逻辑关系逻辑关系均视为均视为事件间事件间的逻辑关系的逻辑关系消去存在量词消去存在量词2024/5/31 周五周五672.4 语义网络语义网络 Semantic Networkp x yFriend(Liming,x)Gives(father(Liming),x,y)p x pnIsa(f(x),Friend-Events)nSubject(f(x),Liming)n Friend(f(x),x)nnIsa(g(x),Giving-Events)nGiver(g(x),father(Liming)n Receiver(g(x),x)n Thing(g(x),t(x)p逻辑关系逻辑关系均视为均视为事件间事件间的逻辑关系的逻辑关系2024/5/31 周五周五682.4 语义网络语义网络 Semantic Networkp蕴含蕴含前项前项的关系弧加的关系弧加标记标记ANTE（antecedent）；）；nIsa(f(x),Friend-Events)nSubject(f(x),Liming)n Friend(f(x),x)xLimingFriendf(x)Friend-EventsIsaSubjectANTE2024/5/31 周五周五692.4 语义网络语义网络 Semantic Networkp蕴含蕴含后项后项的关系弧加的关系弧加标记标记CONSE（consequent）nIsa(g(x),Giving-Events)nGiver(g(x),father(Liming)n Receiver(g(x),x)n Thing(g(x),t(x)xGiving-EventsLimingFriendf(x)Friend-EventsIsaSubjectFather(Liming)Receiverg(x)IsaThingGivert(x)ANTECONSE2024/5/31 周五周五702.4 语义网络语义网络 Semantic Networkp蕴含蕴含前项前项的关系弧加的关系弧加标记标记ANTE（antecedent）;p蕴含蕴含后项后项的关系弧加的关系弧加标记标记CONSE（consequent）;p用用虚线连接虚线连接两个前项和后项两个前项和后项xGiving-EventsLimingFriendf(x)Friend-EventsIsaSubjectFather(Liming)Receiverg(x)IsaThingGivert(x)ANTECONSEFather2024/5/31 周五周五712.4 语义网络语义网络 Semantic NetworkxGiving-EventsLimingFriendf(x)Friend-EventsIsaSubjectFather(Liming)Receiverg(x)IsaThingGivert(x)ANTECONSEFather蕴涵蕴涵蕴涵蕴涵-EventsIsaANTECONSE节点节点DIS:=(Node 蕴涵蕴涵 Isa:蕴涵蕴涵-Events ANTE:f(x)CONSE:g(X)谢谢观赏谢谢观赏