人工智能第二章知识表示方法课件

第二章

知识表示方法2023/7/27第二章

知识表示方法2023/7/27内容简介2.2一阶谓词逻辑表示法2.3产生式表示法2.4框架表示法2.6面向对象表示法62342.1概述12.5语义网络表示法52023/7/27内容简介2.2一阶谓词逻辑表示法2.3产生式表示法2.42.3产生式表示法

1943年E.Post第一次提出称为“Post机”的计算模型（《计算理论》）一种描述形式语言的语法又称为产生式规则表示法，它和图灵机有相同的计算能力。目前产生式表示法已成为人工智能中应用最多的一种知识表示方法。产生式知识表示方法1972年纽厄尔和西蒙在研究人类知识模型开发了基于规则的产生式系统。2023/7/272.3产生式表示法1943年E.Post第一次提出称为2.3.1产生式的基本形式产生式通常用于表示具有因果关系的知识，其基本形式是P→Q

或IFPTHENQ其中，P是产生式的前提或条件，用于指出该产生式是否是可用的条件；Q是一组结论或动作，用于指出该产生式的前提条件P被满足时，应该得出的结论或应该执行的操作。P和Q都可以是一个或一组数学表达式或自然语言。谓词逻辑中的蕴含式与产生式的差别：①蕴含式只能表示精确知识；产生式可以表示精确知识，也可以表示不精确知识。②蕴含式要求匹配是精确的；产生式匹配可以是精确的，也可以是不精确的；可以按某种确信度进行匹配。可以把蕴含式看出产生式的一个特例2023/7/272.3.1产生式的基本形式产生式通常用于表示具有因果关系的2.3.2产生式表示知识方法确定性和不确定性规则知识的产生式表示确定性规则知识可用前面介绍的产生式的基本形式表示即可。不确定性规则知识用如下形式表示

P→Q

（可信度）或者IFPTHENQ

（可信度）其中，P是产生式的前提或条件，用于指出该产生式是否是可用的条件；Q是一组结论或动作，用于指出该产生式的前提条件P被满足时，应该得出的结论或应该执行的操作。2023/7/272.3.2产生式表示知识方法确定性和不确定性规则知识的产生2.3.2产生式表示知识方法确定性和不确定性事实性知识的产生式表示

确定性事实性知识一般使用三元组的形式表示如下（对象，属性，值）或（关系，对象1，对象2）例如：（Lee，Age，35）；(Friend,Lee,Zhang)不确定性事实性知识一般用四元组的形式表示如下（对象，属性，值，不确定度量值）或（关系，对象1，对象2，不确定度量值）例如：（Lee，Age，35,0.9）；(Friend,Lee,Zhang,0.2)2023/7/272.3.2产生式表示知识方法确定性和不确定性事实性知识的产2.3.3产生式系统的组成产生式系统通常由规则库、数据库和推理机这3个基本部分组成。推理机规则库数据库产生式系统的基本结构一组产生式在一起互相配合，协同作用，一个产生式生成的结论可以作为另一个产生式的前提，以获得问题的解决，这样的系统为产生式系统。2023/7/272.3.3产生式系统的组成产生式系统通常由规则库、数据库和推规则库：产生式的集合是产生式系统的基础包含的知识要完整、一直，表达灵活准确；构建规则库时，应对知识进行合理组织管理；数据库：包含已知事实包含的知识是动态变化的；已知事实常用字符串、向量、矩阵等数据结构表示；2023/7/27规则库：产生式的集合2023/7/27推理机的工作：（1）按一定的策略从规则库中选择规则，并与综合数据库中的已知事实进行匹配。（2）当发生冲突（即匹配成功的规则不止一条）时，调用相应的冲突解决策略予以消解。（3）在执行某条规则时，若该规则的右部是一个或多个结论，则把这些结论加到综合数据库中；若规则的右部是一个或多个操作，则执行这些操作。（4）对于不确定性知识，在执行每一条规则时，还要按一定的算法计算结论的可信度。（5）随时掌握结束产生式系统运行的时机，以便在适当的时候停止系统的运行。2023/7/27推理机的工作：2023/7/27产生式系统求解问题的一般步骤（1）初始化综合数据库，把问题的初始已知事实送入综合数据库中。（2）若规则库中存在尚未使用过的规则，而且它的前提可与综合数据库中的已知事实匹配，则继续；若不存在这样的事实，则转第（5）步。（3）执行当前选中的规则，并对该规则做上标记，把该规则执行后得到的结论送入综合数据库中。若该规则的结论部分指出的是某些操作，则执行这些操作。（4）检查综合数据库中是否已包含了问题的解，若已包含，则终止问题的求解过程；否则，转第（2）步。（5）要求用户提供进一步的关于问题的已知事实，若能提供，则转第（2）步；否则，终止问题求解过程。（6）若规则中不再有未使用过的规则，则终止问题的求解过程。2023/7/27产生式系统求解问题的一般步骤2023/7/272.3.4产生式系统推理方式产生式系统推理机的推理方式有正向推理、反向推理和双向推理三种。推理过程从已知事实出发，通过规则求得结论。或称数据驱动方式也称作自底向上的方式。（1）规则集中的规则与数据库中的事实进行匹配，得匹配的规则集合。（2）使用冲突解决算法，从匹配规则集合中选择一条规则作为启用规则。（3）执行启用规则的后件。将该请用规则的后件送入数据库。重复这个过程直至达到目标。正向推理由于可能有多条规则同时与事实匹配，选择哪条规则将影响求解效率，经常会得到与目标无直接关系的推论。2023/7/272.3.4产生式系统推理方式产生式系统推理机的推理方式有正向2.3.4产生式系统推理方式反向推理推理过程从目标（作为假设）出发，反向使用规则，求得已知事实。这种推理方式也称目标驱动方式或称自顶向下的方式。（1）规则库中的规则后件与目标事实进行匹配，得匹配的规则集合。（2）使用冲突解决算法，从匹配规则集合中选择一条规则作为启用规则。（3）将启用规则的前件作为子目标。重复这个过程直至各子目标均为已知事实成功结束。如果目标明确，则效率会比正向推理高得多。2023/7/272.3.4产生式系统推理方式反向推理推理过程从目标（作为假设2.3.4产生式系统推理方式双向推理是一种既自顶向下、又自底向上的推理方式，推理从两个方向同时进行，直至某个中间界面上两方向结果相符便成功结束。这种双向推理较正向或反向推理所形成的推理网络更小，从而有更高的推理效率。

双向推理2023/7/272.3.4产生式系统推理方式双向推理是一种既自顶向下、又自底产生式系统的优点

a）自然性：由于产生式系统采用了人类常用的表达因果关系的知识表示形式，既直观、自然，又便于进行推理。

b）模块性：产生式是规则库中的最基本的知识单元，形式相同，易于模块化管理。

c）有效性：能表示确定性知识、不确定性知识、启发性知识、过程性知识等。

d）清晰性：产生式有固定的格式，既便于规则设计，又易于对规则库中的知识进行一致性、完整性检测。2.3.5产生表示法的特点2023/7/27产生式系统的优点2.3.5产生表示法的特点2023/7/27产生式系统的缺点a）效率不高产生式系统求解问题的过程是一个反复进行“匹配—冲突消解—执行”的过程。由于规则库一般都比较庞大，而匹配又是一件十分费时的工作，因此，其工作效率不高。此外，在求解复杂问题时容易引起组合爆炸。b）不能表达具有结构性的知识产生式系统对具有结构关系的知识无能为力，它不能把具有结构关系的事物间的区别与联系表示出来，因此，人们经常将它与其它知识表示方法（如框架表示法、语义网络表示法）相结合。2023/7/27产生式系统的缺点2023/7/27产生式系统的适用领域

（1）由许多相对独立的知识元组成的领域知识，彼此之间关系不密切，不存在结构关系。如：化学反应方面的知识。（2）具有经验性及不确定性的知识，而且相关领域中对这些知识没有严格、统一的理论。如：医疗诊断、故障诊断等方面的知识。（3）领域问题的求解过程可被表示为一系列相对独立的操作，而且每个操作可被表示为一条或多条产生式规则。2023/7/27产生式系统的适用领域2023/7/272.4框架表示法框架理论是明斯基于1975年作为理解视觉、自然语言对话及其它复杂行为的一种基础提出来的；框架表示法是以框架理论为基础发展起来的一种结构化的知识表示，它适用于表达多种类型的知识。框架理论的基本观点是：人脑已存储有大量的典型情景，当面临新的情景时，就从记忆中选择一个称作框架的基本知识结构，其具体内容依新的情景而改变，形成对新情景的认识又记忆于人脑中。

框架表示法2023/7/272.4框架表示法框架理论是明斯基于1975年作为理解视觉、2.4.1框架的构成一般结构＜框架名＞＜槽名1＞＜侧面11＞＜值111＞…＜值11k1＞＜侧面1n1＞＜值1n11＞…＜值1n1kn1＞＜槽名2＞＜侧面12＞＜值121＞…＜值1211＞

＜侧面1n2＞＜值1n21＞…＜值1n21n2＞

…2023/7/272.4.1框架的构成一般＜框架名＞2023/7/27框架：是人们认识事物的一种通用的数据结构形式。即当新情况发生时，人们只要把新的数据加入到该通用数据结构中便可形成一个具体的实体(类)，这样的通用数据结构就称为框架。实例框架：对于一个框架，当人们把观察或认识到的具体细节填入后，就得到了该框架的一个具体实例，框架的这种具体实例被称为实例框架。框架系统：在框架理论中，框架是知识的基本单位，把一组有关的框架连结起来便可形成一个框架系统。框架系统推理：由框架之间的协调来完成。

2023/7/27框架：是人们认识事物的一种通用的数据结构形式。即当新情况发生2.4.2框架表示知识举例“教师”的框架。框架名：<教师>

类属：<知识分子>

工作：范围：（教学，科研）缺省：教学性别：（男，女）学历：（中专，大学）类别：（<小学教师>，<中学教师>，<大学教师>）例2.4.1分析框架名：“教师”含有5个槽，槽名分别为：“类属”、“工作”、“性别”、“学历”和“类别”。槽名后面是其槽值。槽值“<知识分子>”又是一个框架名。“范围”、“缺省”是槽“工作”的两个不同的侧面，其后是侧面值。2023/7/272.4.2框架表示知识举例“教师”的框架。例2.4.1分析框2.4.2框架表示知识举例“大学教师”的框架。框架名：<大学教师>

类属：<教师>

学位：范围（学士，硕士，博士）缺省：硕士专业：<学科专业>职称：范围（助教，讲师，副教授，教授） 缺省：讲师例2.4.2分析可以看出，这个框架与刚才的框架有一定的关联，是层次关系，前者称为上层框架，后者为下层框架；框架的上下层关系是相对的，下层框架可以从上层框架继承某些属性或值；层次结构能有效减少冗余信息；2023/7/272.4.2框架表示知识举例“大学教师”的框架。例2.4.2分2.4.1框架的构成表示对象间关系的常用槽名：

用于指出部分和全体的关系。用Part-of槽指出的联系所描述的下层框架和上层框架之间不具有继承性，如汽车和轮胎用来表示AKO槽的逆关系。用Instance槽指出的联系都具有继承性，即下层框架可继承上层框架中所描述的属性或值。用于指出对象间抽象概念上的类属关系，直观意义是“是一个”，“是一种”，“是一只”等。一般用ISA槽指出的联系都具有继承性。用于具体地指出对象间的类属关系。其直观意义是“是一种”。ISA槽Instance槽AKO槽Part-of槽槽名2023/7/272.4.1框架的构成表示对象间关系的常用槽名：用于指出部学生框架Frame<Student>Name：Unit（Last-name，First-name）

Sex：Area（male，female）

Default：maleAge：Unit（Years）

If-Needed：Ask-AgeAddress：<S-Address>Telephone：HomeUnit（Number）

MobileUnit（Number）

If-Needed：Ask-TelephoneS-Address也是一个框架，在这里是本框架的一个槽2023/7/27学生框架S-Address也是一个框架，在这里是本框架的一个硕士生框架Frame<Master>

AKO：<

Student>Major：Unit（Major）

If-Needed：Ask-MajorIf-Added：Check-MajorField：Unit（Direction-Name）

If-Needed：Ask-FieldAdvisor：Unit（Last-name，First-name）

If-Needed：Ask-VisorProject：Area（National，Provincial，Other）

Default：NationalPaper：Area（SCI，EI，Core，General）

Default：Core

在Master框架中，用到了一个系统预定义槽名AKO。所谓系统预定义槽名，是指框架表示法中事先定义好的可公用的一些标准槽名。当AKO作为下层框架的槽名时，其槽值为上层框架的框架名，表示该下层框架所描述的事物比其上层框架更具体。并且，由AKO所联系的框架之间具有属性的继承关系。

2023/7/27硕士生框架2023/7/27

作为一个例子，假设有硕士生柳青，当把他的具体情况分别添入Master框架后，可得到实例框架Master-1。这个实例框架可表示如下：硕士生-1框架：

Frame<Master-1>

ISA：<

Master>Name：YangYeSex：femaleMajor：ComputerField：Web-IntelligenceAdvisor：LinHaiProject：Provincial

2023/7/27作为一个例子，假设有硕士生柳青，当把他的具体情况分

当知识比较复杂时，往往需要通过诸框架之间的横向或纵向联系形成一种框架系统。框架之间的纵向联系是指那种具有继承关系的上下层框架之间的联系。例如，在下图中，学生可按照接受教育的层次分为本科生、硕士生和博士生。每类学生又可按照所学专业的不同，分为不同专业的学生等。框架之间的纵向联系是通过预定以槽名AKO和ISA等来实现的。例如前面的例子，AKO实现了Student框架与Master框架之间的纵向联系，ISA实现了Master框架与Master-1实例框架之间的联系。框架之间的横向联系是指那种以另外一个框架名作为一个槽的槽值或侧面值所建立起来的框架之间的联系。如下图给出的框架系统中，Student框架与S-Addre框架之间就是一种横向联系。2023/7/27当知识比较复杂时，往往需要通过诸框架之间的横向StudentCollegianMasterDoctorMaster-1Master-2S-AddressISAISAAKOAKOAKOAddress2023/7/27StudentCollegianMasterDoctorMa2.4.3框架系统的推理（3）使用一种评价方法对于选框架进行评价，以便决定是否接受它。（1）把待解决的问题用一个框架表示出来。求解问题的匹配推理步骤（4）若可接受，则与问题框架空槽相匹配的事实就是问题解。（2）与知识库中已有的框架进行匹配。找出一个或几个可匹配的预选框架作为初步架设，在初步架设的引导下收集进一步的信息。框架系统没有固定的推理机制，遵循匹配和继承的原则，问题求解系统由两部分构成：构成框架系统的知识库和求解问题的推理机2023/7/272.4.3框架系统的推理（3）使用一种评价方法对于选框架进行框架表示法的优点结构性：最突出特点是善于表示结构性知识，它能够把知识的内部结构关系以及知识间的特殊联系表示出来。深层性：框架表示法不仅可以从多个方面、多重属性表示知识，而且还可以通过ISA、AKO等槽以嵌套结构分层地对知识进行表示，因此能用来表达事物间复杂的深层联系。继承性：在框架系统中，下层框架可以继承上层框架的槽值，也可以进行补充和修改，这样既减少知识冗余，又较好地保证了知识的一致性。自然性：框架能把与谋个实体或实体集相关特性都集中在一起，从而高度模拟了人脑对实体多方面、多层次的存储结构，直观自然，易于理解。框架表示法的不足缺乏框架的形式理论：至今，还没有建立框架的形式理论，其推理和一致性检查机制并非基于良好定义的语义。缺乏过程性知识表示：框架系统不便于表示过程性知识，缺乏如何使用框架中知识的描述能力。框架推理过程需要用到一些与领域无关的推理规则，而这些规则在框架系统中又很难表达。清晰性难以保证：由于各框架本身的数据结构不一定相同，从而框架系统的清晰性很难保证。

2023/7/27框架表示法的优点2023/7/272.5语义网络表示法目前，语义网络已经成为人工智能中应用较多的一种知识表示方法，尤其是在自然语言处理方面的应用。语义网络表示法语义网络是奎廉(J.R.Quillian)1968年在研究人类联想记忆时提出的一种心理学模型，认为记忆是由概念间的联系实现的。随后，奎廉又把它用作知识表示。1972年，西蒙在他的自然语言理解系统中也采用了语义网络表示法。1975年，亨德里克(G.G.Hendrix)又对全称量词的表示提出了语义网络分区技术。2023/7/272.5语义网络表示法目前，语义网络已经成为人工智能中应用较2.5.1语义网络概念及结构语义网络一般由一些最基本的语义单元组成。这些最基本的语义单元被称为语义基元，可用如下三元组来表示为（节点1，弧，节点2）ABRAAAAR5R4R2R1R3语义基元结构语义网络结构2023/7/272.5.1语义网络概念及结构语义网络一般由一些最基本的语义单语义网络的简单例子 表示“鸵鸟是一种鸟”语义网络与产生式对应的表示能力

事实的表示：例：“雪的颜色是白的”规则的表示：例：规则R的含义是“如果A则B”鸵鸟鸟是一种雪白颜色ABR2023/7/27语义网络的简单例子鸵鸟鸟是一种雪白颜色ABR2023/7/2基本的语义关系类属关系实例关系：ISA 体现的是“具体与抽象”的概念，含义为“是一个”，表示一个事物是另一个事物的一个实例。例分类关系：AKO 亦称泛化关系，体现的是“子类与超类”的概念，含义为“是一种”，表示一个事物是另一个事物的一种类型。例成员关系：A-Member-of 体现的是“个体与集体”的关系，含义为“是一员”，表示一个事物是另一个事物的一个成员。例上述关系的主要特征：最主要特征是属性的继承性，处在具体层的结点可以继承抽象层结点的所有属性。鸟动物AKO张强共青团员A-Member-of人李刚ISA2023/7/27基本的语义关系类属关系鸟动物AKO张强共青团员A-Membe属性关系 指事物和其属性之间的关系。常用的属性关系有：

Have：含义为“有”，表示一个结点具有另一个结点所描述的属性

Can：含义为“能”、“会”，表示一个结点能做另一个结点的事情 例如：“鸟有翅膀” Age:

含义为“年龄”，表示一个结点是另一个结点在年龄方面的属性 例如：“张强18岁”鸟翅膀Have张强18Age2023/7/27属性关系鸟翅膀Have张强18Age2023/7/27聚类关系

亦称包含关系。指具有组织或结构特征的“部分与整体”之间的关系。常用的包含关系是：

Part-of：含义为“是一部分”，表示一个事物是另一个事物的一部分。 例如，“大脑是人体的一部分” 再如，“黑板是墙体的一部分” 聚类关系与实例、分类、成员关系的主要区别 聚类关系一般不具备属性的继承性，如上两个例子，大脑不一定具有人的各种属性，黑板也不具有墙的各种属性。大脑人体Part-of黑板墙体Part-of2023/7/27聚类关系大脑人体Part-of黑板墙体Part-of2023时间关系指不同事件在其发生时间方面的先后次序关系。常用的时间关系有：

Before：含义为“在前”，表示一个事件在另一个事件之前发生

After:

含义为“在后”，表示一个事件在另一个事件之后发生 例如：“北京奥运会在悉尼奥运会之后”北京奥运会悉尼奥运会After2023/7/27时间关系北京奥运会悉尼奥运会After2023/7/27位置关系

指不同事物在位置方面的关系。常用的位置关系有：

Located-on：含义为“在上”，表示某一物体在另一物体之上

Located-at：含义为“在”，表示某一物体所在的位置

Located-under：含义为“在下”，表示某一物体在另一物体之下

Located-inside：含义为“在内”，表示某一物体在另一物体之内；

Located-outside：含义为“在外”，表示某一物体在另一物体之外。例如，“书在桌子上”书桌子Located-on2023/7/27位置关系书桌子Located-on2023/7/27相近关系

指不同事物在形状、内容等方面相似或接近。常用的相近关系有：

Similar-to：含义为“相似”，表示某一事物与另一事物相似

Near-to：含义为“接近”，表示某一事物与另一事物接近例如，“猫似虎”虎猫Similar-to2023/7/27相近关系虎猫Similar-to2023/7/27因果关系

指某个事件的发生导致另一个事件的发生。常用的因果关系有：

if-then：含义为“如果……那么”，例如，“如果天气，小明骑车上班”小明骑车上班天晴If-then2023/7/27因果关系小明骑车上班天晴If-then2023/7/27组成关系

一种一对多的联系，表示一个事物由其他一些事物构成，通常用

composed-of联系表示，其所连接的节点间不具备属性的继承性。例如，“整数由正整数、负整数和零组成”零整数Composed-of与正整数负整数2023/7/27组成关系零整数Composed-of与正整数负整数2023/表示一元关系一元关系

指可以用一元谓词P(x)表示的关系。谓词P说明实体的性质、属性等。描述的是一些最简单、最直观的事物或概念，常用：“是”、“有”、“会”、“能”等语义关系来说明。如，“雪是白的”。一元关系的描述应该说，语义网络表示的是二元关系。如何用它来描述一元关系？结点1表示实体，结点2表示实体的性质或属性等，弧表示语义关系。例如，“李刚是一个人”为一元关系，其语义网络如前所示。

用语义网络表示“动物能运动、会吃”。运动吃动物CanCan2023/7/27表示一元关系一元关系运动吃动物CanCan2023/7/27表示二元关系二元关系可用二元谓词P(x,y)表示的关系。其中，x,y为实体，P为实体之间的关系。单个二元关系可直接用一个基本网元来表示，如前介绍的一些常用的二元关系及其表示。对复杂关系，可通过一些相对独立的二元或一元关系的组合来实现。用语义网络表示：王强是理想公司的经理；理想公司在中关村；王强28岁。2023/7/27表示二元关系二元关系2023/7/27

中关村理想公司王强经理28岁Located-at-Work-forHeadshipAge2023/7/27中关村理想公司王强经理28岁Located-at-Work-李新的汽车的款式是“捷达”、银灰色；王红的汽车的款式是“凯越”、红色。李新和王红的汽车均属于具体概念,可增加“汽车”这个抽象概念。捷达李新汽车1银灰色人汽车交通工具王红汽车2红色凯越BrandOwnerColorISAISAAKOColorOwnerBrandISAISA2023/7/27李新的汽车的款式是“捷达”、银灰色；王红的汽车的款式是“凯越表示多元关系多元关系可用多元谓词P(x1，x2，……)表示的关系。其中，个体x1，x2，……为实体，谓词P说明这些实体之间的关系。用语义网络表示多元关系时，可把它转化为一个或多个二员关系的组合，然后再利用合取关系的表示方法，把这种多元关系表示出来。

2023/7/27表示多元关系多元关系2023/7/27情况和动作的表示表示方法：西蒙提出了增加情况和动作结点的描述方法例：用语义网络表示：“小燕子这只燕子从春天到秋天占有一个巢”需要设立一个占有权结点，表示占有物和占有时间等。

小燕子燕子鸟巢鸟窝春天时间秋天情况占有权占有资格ISAAKOOwneeStarAKOAKOEndAKOAKOOwnerAKO2023/7/27情况和动作的表示表示方法：西蒙提出了增加情况和动作结点的描述对上述问题，也可以把占有作为一种关系，并用一条弧来表示，但在这种表示方法下，占有关系就无法表示了

小燕子燕子鸟巢鸟窝ISAAKOOwnsAKO2023/7/27对上述问题，也可以把占有作为一种关系，并用一条弧来表示，但在用语义网络表示事件或动作时，需要设立一个事件或动作结点动作结点：由一些向外引出的弧来指出动作的主体与客体。

例：用于语义网络表示：“常河给江涛一张光盘”事件结点：如上例用一个事件结点描述一张光盘常河给江涛GiftReceiverGiver一张光盘给予事件给常河江涛GiftReceiverGiverAction2023/7/27用语义网络表示事件或动作时，需要设立一个事件或动作结点一张光合取和析取的表示表示方法：可通过增加合取结点和析取结点来实现

例:用语义网络表示如下事实：“参赛者有教师、有学生、有高、有低”首先需要分析参赛者的不同情况，可得到以下四种情况：

A教师、高；B教师、低

C学生、高；D学生、低然后在按照他们的逻辑关系用语义网络表示出来。人参赛者ABCD或或教师学生高低与IsPartPartPartPartStateStateStateState2023/7/27合取和析取的表示表示方法：可通过增加合取结点和析取结点来实现逻辑关系的表示

否定的表示可分为基本语义关系的否定和一般语义关系的否定基本语义关系的否定的表示可通过在有向弧上直接标注该基本语义关系的否定的方法来解决。例:

用语义网络表示：书不在桌子上采用在有向弧上直接标注该基本语义关系的否定的方法，该语义网络为

书桌子¬Located-on2023/7/27逻辑关系的表示

否定的表示书桌子¬Located-on202一般语义关系的否定的表示对一般语义关系的否定，通常需要引进“非”节点来表示。例：用语义网络表示：常河没有给江涛一张磁盘采用引进“非”节点的方法，其语义网络如下图一张磁盘

给非常河江涛GiftGiverReceiver2023/7/27一般语义关系的否定的表示一张磁盘给非常河蕴含的表示通过增加蕴含关系节点来实现在蕴含关系中，有两条指向蕴含节点的弧，一条代表前提条件，标记为ANTE；另一条代表结论，标记为CONSE。例：用语义网络表示如下知识：“如果学校组织大学生机器人竞赛活动，那么李强就参加比赛”该蕴含关系的语义网络如下图。其中，在前提条件中，机器人竞赛的组织者是学校，参赛对象是学生操纵的机器人，而机器人只不过是一种智能机器。学校比赛活动机器人机器人竞赛蕴含参加比赛学生智能机器李强人RacerAKOConstitutionManipulatorANTECONSEISAAKOAKOJoiner2023/7/27蕴含的表示通过增加蕴含关系节点来实现学校比赛活动机器人机器人存在和全称量词的表示存在量词：可直接用“ISA”、“AKO”等这样的语义关系来表示全称量词：可采用亨德里克提出的网络分区技术基本思想：把一个复杂命题划分为若干个子命题，每个子命题用一个较简单的语义网络表示，称为一个子空间，多个子空间构成一个大空间。每个子空间看作是大空间中的一个结点，称作超结点。空间可逐层嵌套，子空间之间用弧互相连结。例:用语义网络表示如下事实：“每个学生都学习了一门程序设计语言”其语义网络如下图。在该图中：GS是一个概念结点，它表示具有全称量化的一般事件。g是一个实例结点，代表GS

中的一个具体例子，如上所提到的事实。s是一个全称变量，表示任意一个学生。l是一个存在变量，表示某一次学习。P是一个存在变量，表示某一门程序设计语言。这样，s、l、p之间的语义联系就构成一个子空间，它表示对每一个学生s，都存在一个学习事件l和一门程序设计语言p。2023/7/27存在和全称量词的表示存在量词：可直接用“ISA”、“AKO”

在从结点g引出的三条弧中，弧“ISA”说明结点g是GS中一个实例；弧“F”说明它所代表的子空间及其具体形式；弧“”说明它所代表的全称量词。GSg+slp学生学习程序语言ISAISAISAF主体客体ISAGS是一个概念结点，它表示具有全称量化的一般事件。

g是一个实例结点，代表GS

中的一个具体例子，如上所提到的事实。

s是一个全称变量，表示任意一个学生。

l是一个存在变量，表示某一次学习。

P是一个存在变量，表示某一门程序设计语言。2023/7/27在从结点g引出的三条弧中，弧“ISA”说明结点g每一个全称量词都需要一条这样的弧，子空间中有多少个全称量词，就需要有多少条这样的弧。例:用语义网络表示事实：“每个学生都学习了所有的程序设计课程”其语义网络如下图所示。其中，结点g有两条指向全称变量的弧。学生学习程序设计课gGSslpISAISAISASubjectObjectISAF2023/7/27每一个全称量词都需要一条这样的弧，子空间中有多少个全称量词，

另外，在网络分区技术中，要求F指向的子空间中的所有非全称变量结点都应该是存在量词约束的变量，否则应放在子空间的外面。例:用语义网络表示事实：“每个学生都学习了C++语言”其语义网络如下图所示。结点“C++语言”代表一门具体的程序设计语言，是结点“程序语言”的一个实例，故被放到F所指的子空间的外边

GSgsl学生学习C++语言程序语言ISAISASubjectObjectFISAISA2023/7/27另外，在网络分区技术中，要求F指向的子空间中的所语义网络的推理过程用语义网络表示知识的问题求解系统主要由两大部分所组成，一部分是由语义网络构成的知识库，另一部分是用于问题求解的推理机。语义网络的推理过程主要有两种，一种是继承，另一种是匹配。继承指把对事物的描述从抽象结点传递到实例结点。通过继承可以得到所需结点的一些属性值，它通常是沿着ISA、AKO等继承弧进行的。继承的一般过程：

(1)建立一个结点表，用来存放待求解结点和所有以ISA、AKO等继承弧与此结点相连的那些结点。初始情况下，表中只有待求解结点。

(2)检查表中的第一个结点是否是有继承弧。如果有，就把该弧所指的所有结点放入结点表的末尾，记录这些结点的所有属性，并从结点表中删除第一个结点。如果没有继承弧，仅从结点表中删除第一个结点。

(3)重复(2)，直到结点表为空。此时，记录下来的所有属性都是待求解结点继承来的属性。2023/7/27语义网络的推理过程用语义网络表示知识的问题求解系统主要由两大匹配：是指在知识库的语义网络中寻找与待求解问题相符的语义网络模式。主要过程：

(1)根据待求解问题的要求构造一个网络片断，该网络片断中有些结点或弧的标识是空的，称为询问处，它反映的是待求解的问题。

(2)根据该语义片断到知识库中去寻找所需要的信息。

(3)当待求解问题的网络片断与知识库中的某语义网络片断相匹配时，则与询问处相匹配的事实就是问题的解。例:假设语义网络已在知识库中，问王强在哪个公司工作。根据这个问题的要求，可构造如如下语义网络片断。当用该语义网络片断与所示的语义网络进行匹配时，由“工作在”弧所指的结点可知，职员王强工作在“理想公司”，这就得到了问题的答案。若还想知道职员王强的其它情况，则可在语义网络中增加相应的空结点。？王强Work-for2023/7/27匹配：是指在知识库的语义网络中寻找与待求解问题相符的语义网络

中关村理想公司王强经理28岁Located-at-Work-forHeadshipAge2023/7/27中关村理想公司王强经理28岁Located-at-Work-语义网络表示法的特征