第四章知识表示人工智能蔡自兴.ppt

表示方法—语义网络表示法 多元逻辑关系 例如AC米兰队和国际米兰队在一场足球比赛中的成绩为0：1，逻辑表示法为SCORE( AC-MILAN, INTER-MILAN, 0:1),可以通过加入附加结点的办法将其改成语义网络表示法，其根本方法是将多元关系表示成二元关系的组合或合取。本例通过加入附加结点G22。 多元逻辑关系语义网络实例 从图中可以看出，原来的多元关系都变成了G22结点属性。 第六十三页，共一百零四页。 例 Micheal is an employee and Jack is his boss. Someday Micheal kicked his boss. 语义描述 第六十四页，共一百零四页。 表示方法—语义网络表示法 推理方法 网络匹配：结构上的匹配，包括结点和弧的匹配 继承推理：利用如：成员联系、特征联系、相互作用联系、集合联系、合成联系、因果联系、活动方式联式、活动目标联系、蕴含联系等具有继承性质的语义联系建立一些并不一定显示存在于网络知识库中的网络结构。 语义网络上的推理：网络上的搜索过程，正向、逆向、双向。 第六十五页，共一百零四页。 表示方法—语义网络表示法 继承的一般规则： IF X (AKO) Y and Y(AKO)Z then X(AKO)Z IF X (ISA) Y and Y(AKO)Z then X(ISA)Z IF X (AKO) Y and Y(属性)Z then X(属性)Z IF X (ISA) Y and Y(属性)Z then X(属性)Z IF X (属性) Y and Y(AKO)Z then X(属性)Z IF X (属性) Y and Y(ISA)Z then X(属性)Z 第六十六页，共一百零四页。 表示方法—语义网络表示法 推理特点 不十分明了，有继承规则。 可以用关系如：成员联系、特征联系、相互作用联系、集合联系、合成联系、因果联系、活动方式联式、活动目标联系、蕴含联系等。 还可以将语义网络引入逻辑含义。表示∧，∨，～关系。用归结推理法。 第六十七页，共一百零四页。 表示方法—语义网络表示法 结论 语义网络图的好处是直观、清晰 缺点是表达范围有限。如，一旦有十个结点，而且各结点之间又有联系，则这个网络就很难辨请了。 第六十八页，共一百零四页。 表示方法 概述 直接表示 逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 第六十九页，共一百零四页。 表示方法 概述 直接表示 逻辑表示 产生式规则表示法 语义网络表示法 框架表示法 脚本方法 过程表示 混合型知识表示方法 面向对象的表示方法 第七十页，共一百零四页。 表示方法—框架表示法 概述 1975年 Minsky在论文中提出了框架理论。他从心理学的证据出发，认为人的知识以框架结构记存在人脑中。当人们面临新的情况，或对问题的看法有重要变化时，总是从自己的记忆中找出一个合适的框架，然后根据细节加以修改补充，从而形成对新观察到的事物的认识。 人类对于一件事的了解，表现在对于这件实物的诸方面，即属性的了解。掌握了事物的属性，也就有了关于事物的知识，知识表示是从属性描述开始的。 第七十一页，共一百零四页。 表示方法—框架表示法 定义 框架是由若干个结点和关系（统称为槽）构成的网络。是语义网络的一般化形式的一种结构。同语义网络没有本质的区别。如书上的所示如将语音网络结点间弧上的标注也放到槽内就成了框架表示形式。 表示形式： 由框架名、槽名、侧面、值组成 推理方法： 没有固定的推理机理。但和语义网络一样遵循匹配和继承的原理。 第七十二页，共一百零四页。 表示方法—框架表示法 性质 对事物进行描述。而且对其中某些细节做进一步描述。则可将其扩充为另外一些框架。 如：汽车载货或人 可以通过它对一些从感官中没有直接得到的信息进行预测，对于人来说这种功能是很强的。如：一想到桌子就可以想到它腿的形状与位置。 可以在它基础上进行判断推理。 可通过它来认识某一类事物。 可以通过一系列实例来修正框架对某些事物的不完整描述。（填充空的框架，修改默认值） 第七十三页，共一百零四页。 例（续） 机器人的每个操作的结果所引起的状态变化，可用对原状态的增添表和删除表来表示。如机器人有初始状态是把Box从A桌移到B桌上，然后仍回到Alcove，这时同初始状态相比有： 增添表 On（Box，B） 删除表 On（Box，A） 又如机器人从初始状态，走近A桌，然后拿起Box。这时同初始状态相比有： 增添表 At（Robot，A） Holds（Robot，Box） ? 删除表