微课4-2 知识表示方法.pptx

;;图片可以非常经济、精确地表示知识，一幅相关的图片或图形可以相对简洁地传达故事或消息。图形草图是一种非正式的绘图，或者说是对场景、过程、心情或系统的概括。

考虑右侧所示图形，它试图说明“计算生态学”问

题——你不必是专家，就可以理解在网络上工作时

可能会遇到的各种情况。因此图片达到了目的，对

传达信息而言，这是一个令人满意的知识表示方案。;图由一组有限数目的顶点（节点）加上一组有限数目的边集合组成，每条边由不同的点对组成。图可以是有向的，也可以是无向的，并且具有标签和权重。在数学和图论、计算机科学以及算法和人工智能领域，一

个著名的图的问题就是哥尼斯堡桥问题（左图）。另一种等效

的表示方法如右边的图，即

把问题描述为数学图。;哥尼斯堡桥问题是问能不能找到一条简单的路径，从与连接桥梁的陆地区域A、B、C或D的任何节点（点）开始，跨过7座桥一次且仅一次，然后回到起始点。瑞士著名的“图论之父”欧拉解决了这个问题，他的结论是，由于每个节点的度（进出节点的边数目）必须是偶数，因此这条路径不存在。

一些人容易理解左边的地图，另一些人则更喜欢相对正式、使用数学表示的图。但是，在推导问题解时，大多数人都同意右边抽象图有助于更好地理解所谓的欧拉性质。总之，图是知识表示的重要工具，是表示状态、替代路径和可度量路径的自然方式。;对于需要分析方法，诸如深度优先搜索和广度优先搜索（穷尽的方法）以及启发式搜索（例如最佳优先搜索和A*算法），这样的问题使用搜索树表示最合适。在知识表示中，所使用的另一类型的搜索树是决策树。;本质上人工智能与决策相关，它通常需要做出智能决定来解决问题，需要一种好的方式来评估要求做出决策的环境（即问题或条件）。

产生式系统通常可以使用如下一个形式规则集来表示：

IF[条件]THEN[动作]

通常称为条件-动作、前件-后件、模式-动作或情境-响应对。

·If[己经过了凌晨2:00，并且你必须开车]，then[确保你喝咖啡提神了]。

·If[膝盖疼痛，且在服用止痛药后疼痛没有消失]，then[请务必联系医生]。

IF部分描述??则的先决条件，THEN部分描述规则的结论。规则表示方法主要用于描述知识和陈述各种过程知识之间的控制及其相互作用的机制。;面向对象是一种编程范式，它可以直观、自然地反映人类经验，它基于继承、多态性和封装的概念。继承是类之间的关系，子类可以继承超类数据和方法。多态具有一个特征，即变量可以取

不同类型的值来执行某个函数。封

装是指不同层次的开发人员只需要

知道某些信息，无须知道从底层到

顶层的所有信息。这类似于数据抽

象和数据隐藏的思想。;可见，即使在知识表示、支持人工智能（框架、脚本和语义网络）工作的方案中，也可以清晰地看到有关这种面向对象的思想的内容。面向对象编程语言的普及，如Java、C++、Python，表明面向对象是表示知识的有效和有用的方式，特别当构建复杂信息结构以利用公共属性时更是如此。;框架法是把某一特殊事件或对象的所有知识储存在一起的一种复杂的数据结构。其主体是固定的，表示某个固定的概念、对象或事件，其下层由一些槽组成，表示主体每个方面的属性。框架是一种层次的数据结构，框架下层的槽可以看成一种子框架，子框架本身还可以进一步分层次为侧面，其属性分别称为槽值和侧面值，具体值可以是程序、条件、默认值或是一个子框架。相互关联的框架连接起来组成框架系统，或称框架网络。

框架法有利于将信息组织到系统中，利用现实世界的特征构建系统。人们用框架来表达期望、目标和规划，使人类和机器可以更好地理解所发生的事情。;语义网络是知识表示中最重要的通用形式之一，是一种表达能力强而且灵活的知识表示方法。它通过概念及其语义关系来表达知识的一种网络图。从图论的观点看，它是一个“带标识的有向图”。语义网络利用节点和带标记的边构成的有向图描述事件、概念、状况、动作及客体之间的关系。带标记的有向图能十分自然的描述客体之间的关系。;如图。玛丽拥有托比，托比是一只狗。狗是宠物的子集，所以狗可以是宠物。我们在这里看到了多重继承，玛丽拥有托比，并且玛丽拥有一只宠物，托比恰好是宠物集中的一个成员。托比是被称为狗的对象类中的一个成员。玛丽的狗碰巧是一只宠物，但是并不是所有的狗都是宠物。

在知识表示领域里，Is-A指的是类

的父子继承关系。;知识图谱是一种大规模语义网络。有两个关键词，首先是语义网络，表达了各种各样的实体、概念及其之间的各类语义关联。第二个关键词是“大规模”。相比较于语义网络，知识图谱规模更大。

在更多实际场合下，知识图谱是作为一种

技术体系，指代大数据时代知识工程的一

系列代表性技术进展的总和。;