浙江大学研究生人工智能引论课件_第1页
浙江大学研究生人工智能引论课件_第2页
浙江大学研究生人工智能引论课件_第3页
浙江大学研究生人工智能引论课件_第4页
浙江大学研究生人工智能引论课件_第5页
已阅读5页,还剩107页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、浙江大学研究生?人工智能引论?课件徐从富(Congfu Xu) PhD, Associate Professor Email: Institute of Artificial Intelligence, College of Computer Science, Zhejiang University, Hangzhou 310027, P.R. ChinaMarch 10, 2002第一稿September 10, 2007第四次修改稿第二讲 知识表示(Chapter2 Knowledge Representation)Outline本章的主要参考文献基本概念一阶谓词表示法产生式表示法框架表示

2、法语义网络表示法剧本脚本表示法过程表示法面向对象表示法Petri网表示法信念网表示法本章的主要参考文献1 Sowa, J. F. Knowledge Representation: Logical, Philosophical, and Computational Foundations. China Machine Press, 2003.2 王永庆. 人工智能原理与方法. 西安交通大学出版社, 1998. 第3章 知识与知识表示3 陆汝钤. 人工智能. 科学出版社,2000. (上册:第一部分 知识表示)4 蔡自兴等. 人工智能及其应用. 清华大学出版社, 1996. 第二章 知识表示方法

3、5 Russell, S., Norvig, P. Artificial Intelligence: A Modern Approach. Pearson Education, 人民邮电出版社, 2002. 分散于该书中的相关章节,特别是该书中的信念网络Belief Network值得重点阅读Whats Knowledge Representation?Knowledge representation is the application of logic and ontology to the task of constructing computable models for some d

4、omain.Knowledge representation is a multidisciplinary subject that applies theories and techniques from three other fields:Logic provides the formal structure and rules of inference.Ontology defines the kinds of things that exist in the application domain.Computation supports the applications that d

5、istinguish knowledge representation from pure philosophy.知识表示 逻辑本体论可计算模型Logic, Ontology, and ComputationLogic逻辑Analyzing a problemLogic is pure form逻辑是一种“纯形式,可与“内容脱开来研究Without logic, a knowledge representation is vague, with no criteria for determining whether statements are redundant or contradicto

6、ry.Ontology本体论Identifying the kinds of thingsOntology provides the content that is expressed in that formWithout ontology, the terms and symbols are ill-defined, confused, and confusing. 本体论是 “形式内容的有机结合体Computation计算Mapping logic and ontology to a computable form.Without computable models, the logic

7、 and ontology cannot be implemented in computer programs. 计算是将 “逻辑和“本体论映射成可计算的形式Historical BackgroundSocrates苏格拉底Stirred up some of the deepest controversies by claiming to know very little, if anything.Knowledge of fundamental subjects like Truth, Beauty, Virtue, and Justice.Plato柏拉图Established the

8、 subject of epistemology认识论 the study of the nature of knowledge and its justification.Aristotle亚里士多德Shifted the emphasis to more practical problem of representing knowledge.Established the initial terminology and defined the scope of logic, physics, metaphysics, biology, psychology, linguistics, po

9、litics, ethics, and economics.Created many terms, such as category, metaphor, hypothesis, quantity, quality, genus, species, noun, verb, subject, and predicate, etc. 苏格拉底的名言:“我所知道的就是我一无所知。Philosophical Background: part oneHeraclitus赫拉克里特In the sixth century B.C., the Greek philosopherClaimed that al

10、l things flow, as his famous saying, “One cannot step twice into the same river. (人不能两次跨入同一条河流)Emphasized the intangible logos translated variously as word, speech, or reason: “all things (panta) come into being according to this logos. (万物都是藉着“道logos而造的)Logos可翻译成中文的“道、“律等。Philosophical Background:

11、part twoSt. John圣约翰“In the beginning was the logos, and the logos was with God, and God was the logos. It was in the beginning with God. All things (panta) came into being through it, and without it nothing that has come to be came into being. (John 1:1-3) 约翰福音1:1-3: “太初有道,道与神同在,道就是神。这道太初与神同在。万物都是藉着

12、他造的;凡被造的,没有一样不是藉着他造的。【注】:希腊原文用logos,英文翻译本用Word,中文和合本翻译为“道。St. John and Heraclitus used the same words logos道, panta万物, and gignomai (come to be,被造).What they meant by those words, however, has been a matter of debate for centuries. Heraclitus、老子等所说的logos、道更偏向于“无人格的自然律St. John所说的logos是“有人格或神格的道,说白了就是

13、指圣子Philosophical Background: part threeLao-Tzu老子Some of the statements of Lao-Tzu about the Tao (usually translated as the Way) bear a striking resemblance to what Heraclitus and St. John said about the logos.Following is the beginning of Chapter 42 of the Book of the Tao:The Tao gave birth to the O

14、ne;The One gave birth to the Two;The Two gave birth to the Three;And the Three gave birth to the ten thousand things.老子?道德经?第42章“道生一,一生二,二生三,三生万物。Philosophical Background: part fourPlato adopted Heraclituss distinction between the ever-changing flow of all things and the intangible logos that determ

15、ines that flow.In analyzing the concepts underlying the logos, Plato proposed the intangible, unchanging mathematical forms or ideas as the true reality, which is reflected in the changeable, illusory flow of physical things.Aristotles Categories part oneAristotle accepted Platos distinction, but re

16、versed the emphasis: he considered the physical world to be the ultimate reality and treated the forms as abstractions derived from sensory experience.In the Categories, the first treatise in his collected works, he presented ten basic categories for classifying anything that may be said or predicat

17、ed about anything.Substance, Quality, Quantity, Relation, Activity;Passivity, Having, Situatedness, Spatiality, and Temporality.Aristotles Categories part twoFigure Brentanos tree of Aristotles categoriesBeingSubstanceAccidentPropertyRelationInherenceDirectednessContainmentMovementIntermediacyQualit

18、yQuantityActivityPassivityHavingSituatedSpatialTemporalA Simple Example of Architecture Ontology由建筑物本体构造而成的江南古建实例根据建筑物本体论生成的江南古镇 知识是智能的基础 获得知识 运用知识 符合计算机要求的知识模式 计算机能存储、处理的知识表示模式 数据结构List, Table, Tree, Graph, etc.知识表示的重要性“The fear of the LORD is the beginning of wisdom; all who follow his precepts ha

19、ve good understanding. To him belongs eternal praise. From PSALMS 111:10 2.1.1 数据、信息与知识 数据 (Data)信息的载体和表示用一组符号及其组合表示信息 信息 (Information)数据的语义数据在特定场合下的具体含义 知识 (Knowledge)信息关联后所形成的信息结构:事实 & 规那么经加工、整理、解释、挑选、改造后的信息2.1 基本概念2.1.2 知识的特性相对正确性一定条件下某种环境中.不确定性存在“中间状态“真“假程度随机性模糊性经验性不完全性.可表示性 & 可利用性语言文字图形图像视频音频神经

20、网络概率图模型.2.1.3 知识的分类常识性知识、领域性知识作用范围事实性知识、过程性知识、控制知识作用及表示确定性知识、不确定性知识确定性逻辑性知识、形象性知识结构及表现形式零级知识、一级知识、二级知识抽象程度2.1.4 常用的知识表示方法一阶谓词First Order Predicate产生式Production框架Framework语义网络Semantic Network剧本Script过程Procedure面向对象Object-OrientedPetri网Petri Network信念网Belief Network本体论OntologyThey are new methods or N

21、OT ?“ 已有的事,后必再有; 已行的事,后必再行。 日光之下,并无新事。 岂有一件事人能指着说: 这是新的? 哪知, 在我们以前的世代早已有了。 摘自?传道书?1:9-10“ What has been will be again, what has been done will be done again; there is nothing new under the sun. Is there anything of which one can say, Look! This is something new? It was here already, long ago; it was

22、 here before our time. from ECCLESIASTES 1:9-102.1.5 如何选择合适的表示方法?充分表示领域知识有利于对知识的利用便于理解和实现便于对知识的组织、管理与维护2.2 一阶谓词表示法1. 优点自然性接近自然语言,容易接受精确性用于表示精确知识严密性有严格的形式定义和推理规那么易实现性易于转换为计算机内部形式一阶谓词表示法续2. 缺点无法表示不确定性知识所能表示的知识范围太狭窄难以表示启发性知识及元知识未能充分利用与问题本身特性有关的知识组合爆炸经常出现事实、规那么等的组合爆炸效率低推理与知识的语义完全割裂2.3 产生式表示法1943年E. Post

23、第一次提出称为“Post机的计算模型?计算理论?一种描述形式语言的语法AI中应用最多的知识方法之一Feigenbaum研制的化学分子结构专家系统DENDRALShortliffe研制的的诊断感染性疾病的专家系统MYCIN2.3.1 产生式的基本形式 P Q 或IFPTHENQ CF = 0, 1其中,P是产生式的前提,Q是一组结论或操作,CF(Certainty Factor)为确定性因子,也称置信度。 【注意】:谓词逻辑中的蕴涵式与产生式的基本形式相似,事实上,蕴涵式只是产生式的一种特殊情况。理由如下: 1蕴涵式只能表示精确知识,其值非“真即“假,而产生式不仅可以表示精确知识,而且还可以表示

24、不精确知识。例如,MYCIN中有如下产生式:IF 本微生物的染色斑是革兰氏阴性 本微生物的形状呈杆状 病人是中间宿主THEN 该微生物是绿脓杆菌,置信度为CF表示知识的强度,谓词逻辑中的蕴涵式不可以这样做。 2用产生式表示知识的系统中,“事实与产生式的“前提中所规定的条件进行匹配时,可以是“精确匹配,也可以是基于相似度的“不精确匹配,只要相似度落入某个预先设定的范围内,即可认为匹配。但对谓词逻辑的蕴涵式而言,其匹配必须是精确的。 用BNFBackus Normal Form表示的产生式形式描述及语义: := := | := | := AND (AND ). | OR (OR ). := (,

25、.)【说明】:产生式又称规那么或产生式规那么;产生式的“前提:又称条件、前提条件、前件、左部等;产生式的“结论:又称后件、右部等。2.3.2 产生式系统的组成 产生式系统的三个组成部分:规那么库、综合数据库、控制系统。 1、规那么库 用于描述相应领域内知识的产生式集合。 在建立规那么库时,应注意如下问题: 1有效地表达领域内的过程性知识:包括规那么的建立、不确定性知识的表示、推理链的形成、知识的完整性等。 2对知识进行合理的组织与管理:目的是使得推理避免访问与所求解的问题无关的知识,以提高问题求解效率。 2、综合数据库 综合数据库又称为事实库、上下文、黑板等。它是一个用于存放问题求解过程中各种

26、当前信息的数据结构,例如:问题的初始状态、原始证据、推理中得到的中间结论、最终结论等。 当规那么库中某条产生式的前提可与综合数据库中的某些事实匹配时,该产生式就被激活,并把用它推出的结论放入综合数据库中,作为后面推理的事实。显然,综合数据库的内容是在不断变化的,是动态的。 综合数据库中的事实通常用字符串、向量、集合、矩阵、表等数据结构表示。 3、控制系统 控制系统又称推理机构,由一组程序组成,负责整个产生式系统的运行,实现对问题的求解。 控制系统的主要工作: 1按一定的策略从规那么库中选择规那么,并与综合数据库中的事实进行匹配。 2当发生冲突即匹配成功的规那么不止一条时,调用相应的冲突解决策略

27、予以消解。 3在执行某条规那么时,假设该规那么的右部是一个或多个结论,那么把这些结论加到综合数据库中;假设规那么的右部是一个或多个操作,那么执行这些操作。 4对于不确定性知识,在执行每一条规那么时,还要按一定的算法计算结论的不确定性。 5随时掌握结束产生式系统运行的时机,以便在适当的时候停止系统的运行。 产生式系统的三大组成部分的相互关系图:控制系统推理机构规那么库综合数据库 4、产生式系统求解问题的一般步骤 1初始化综合数据库,把问题的初始事实送入综合数据库中。 2假设规那么库中存在尚未使用过的规那么,而且它的前提可与综合数据库中的事实匹配,那么继续;假设不存在这样的事实,那么转第5步。 3

28、执行当前选中的规那么,并对该规那么做上标记,把该规那么执行后得到的结论送入综合数据库中。假设该规那么的结论部分指出的是某些操作,那么执行这些操作。 4检查综合数据库中是否已包含了问题的解,假设已包含,那么终止问题的求解过程;否那么,转第2步。 5要求用户提供进一步的关于问题的事实,假设能提供,那么转第2步;否那么,终止问题求解过程。 6假设规那么中不再有未使用过的规那么,那么终止问题的求解过程。2.3.3 产生式系统的分类 按规那么库及综合数据库的性质及结构特征进行分类:可交换的产生式系统、可分解的产生式系统、可恢复的产生式系统。 1、可交换的产生式系统 如果一个产生式系统对规那么的使用次序是

29、可交换的,无论先使用哪一条规那么都可达到目的,即规那么的使用次序是无关紧要的,就称其为可交换的产生式系统。 2、可分解的产生式系统 基本思想:把一个规模较大且比较复杂的问题初始数据库分解为分别假设干个规模较小且比较简单的子问题,然后对每个子问题进行求解。 3、可恢复的产生式系统 在问题求解的过程中,既可对综合数据库添加新内容,又可删除或修改老内容的产生式系统称为可恢复的产生式系统。 基本思想:人们在求解问题的过程中是经常要进行回溯的,当问题求解到某一步发现无法继续下去时,就撤销在此之前得到的某些结果,恢复到先前的某个状态。 用产生式系统求解问题时也是如此,当执行一条规那么后使综合数据库的状态发

30、生变化,假设发现在新的状态中无法得到问题的解,就需要立即撤销刚才产生的结果,并将综合数据库恢复到先前的状态,然后选择别的规那么继续求解。 2.3.4 产生式系统的优缺点1、产生式系统的优点 1自然性:由于产生式系统采用了人类常用的表达因果关系的知识表示形式,既直观、自然,又便于进行推理。 2模块性:产生式是规那么库中的最基本的知识单元,形式相同,易于模块化管理。 3有效性:能表示确定性知识、不确定性知识、启发性知识、过程性知识等。 4清晰性:产生式有固定的格式,既便于规那么设计,又易于对规那么库中的知识进行一致性、完整性检测。 2、产生式系统的缺点 1效率不高 产生式系统求解问题的过程是一个反

31、复进行“匹配冲突消解执行的过程。由于规那么库一般都比较庞大,而匹配又是一件十分费时的工作,因此,其工作效率不高。此外,在求解复杂问题时容易引起组合爆炸。 2不能表达具有结构性的知识 产生式系统对具有结构关系的知识无能为力,它不能把具有结构关系的事物间的区别与联系表示出来,因此,人们经常将它与其它知识表示方法如框架表示法、语义网络表示法相结合。2.3.5 产生式系统的适用领域 1由许多相对独立的知识元组成的领域知识,彼此之间关系不密切,不存在结构关系。如:化学反应方面的知识。 2具有经验性及不确定性的知识,而且相关领域中对这些知识没有严格、统一的理论。如:医疗诊断、故障诊断等方面的知识。 3领域

32、问题的求解过程可被表示为一系列相对独立的操作,而且每个操作可被表示为一条或多条产生式规那么。2.4 框架表示法2.4.1 框架理论 1975年美国著名AI学者Minsky在其论文“A framework for representing knowledge中提出了框架理论,并把它作为理解视觉、自然语言对话及其它复杂行为的基础。 框架理论的基本思想:认为人们对现实世界中各种事物的认识都是以一种类似于框架的结构存储在记忆中的,当面临一个新事物时,就从记忆中找出一个合适的框架,并根据实际情况对其细节加以修改、补充,从而形成对当前事物的认识。2.4.2 框架的定义及表示形式 1、定义 框架:是一种描述

33、对象事物、事件或概念等属性的数据结构,在框架理论中,框架是知识表示的基本单位。 一个框架由假设干个“槽Slot结构组成,每个槽又可分为假设干个“侧面。 一个槽:用于描述所论对象某一方面的属性; 一个侧面:用于描述相应数学的一个方面。 槽和侧面所具有的属性值分别称为槽值和侧面值。 2、框架的一般表示形式槽名1:侧面名1值1,值2,.,值p1侧面名2值1,值2,.,值p2侧面名m1值1,值2,.,值pm1槽名n:侧面名1值1,值2,.,值r1约束:约束条件1约束条件n3、框架及其实例框架名:tx 未遂杀人案犯罪意图:x犯罪结果:杀人被杀者:y杀人动机:x 未遂被 y 发现知情人: zi | i I

34、罪犯: t条件一:假设 x 为强奸,那么 t 必须是男性条件二:有某个 zi 指控 t条件三: t 招认 在?聊斋志异?中有个?胭脂?的故事,开始时邑宰判错了案,就是因为他头脑里有个破案的框架:框架实例:鄂秋準 强奸 未遂杀人案犯罪意图:强奸犯罪结果:杀人被杀者:卞牛医杀人动机:强奸 未遂被 卞牛医 发现知情人:卞妻,胭脂罪犯: 鄂秋準 条件一:鄂秋準 为男性,成立条件二:胭脂 指控 鄂秋準 ,成立条件三:鄂秋準 招认,成立 邑宰用上述框架去套胭脂一案,结果得到了该框架的一个实例:4、框架的BNF描述 := := 框架名 := , := 约束, := |(,) := | := | := | :

35、= , := := | := | := | := |, := 【注】:关于框架的BNF描述的说明: 1框架名的值允许带参数,当别的框架调用它时需要提供相应的实在参数。 2当槽值或侧面值是一个过程时,它既可以是一个串,也可以是对某个过程的调用。 3当槽值或侧面值是谓词时,其真值由当时谓词中变元的取值确定。 4槽值或侧面值为时,表示当时未能确定该值,待以后填入。 5是任选的,当不指出时,表示无约束。 5、框架的主要特征 1每个框架有一个框架名可带参数。 2每个框架有一组属性,每个属性称为一个槽,里面可以存放属性值。 3每个属性对它的值有一定的类型要求,不同属性的类型要求可以不一样。 4有些属性值可

36、以是子框架调用,子框架调用可以带参数。 5有些属性值是事先确定的,而有些属性值需在生成实例时代入。 6有些属性值在代入时需满足一定的条件。有时,在不同属性的属性值之间有一些条件需要满足。2.4.3 框架网络 框架网络:是指具有横向联系及纵向联系的一组框架。 横向联系:一个框架中的槽值或侧面值可以是另一个框架的名字,即通过一个框架可以找到另一个框架,这样就在两个框架之间建立起横向联系。 纵向联系:由于属性的继承性,故可把共同属性抽取出来,构成一个上层框架,然而再对专有属性分别构成下层框架,并在下层设立一个专用的槽一般称为“继承槽。这样不仅在框架间建立了纵向联系,而且建立了上下层框架的属性及值的继

37、承关系,避免了重复描述,节约了时间和空间开销。师生员工框架教职工框架学生框架教师框架员工框架CS学生框架EEz学生框架教师1教师n学生1学生n框架网络实例2.4.4 框架中槽的设置与组织 框架是一种集事物各方面属性的描述为一体,并反映相关事物间各种关系的数据结构。在此结构中“槽起着至关重要的作用,因为它起到如下两个方面的作用: 1描述事物各有关方面的属性; 2指出相关事物间的复杂关系。 因此,在用框架作为知识的表示模式时,对槽的设置与组织给给以足够的重视。 在设置与组织框架中“槽的时候,应注意: 1充分表达事物各有关方面的属性 2充分表达相关事物间的各种关系 3对槽及侧面进行合理的组织 4有利

38、于进行框架推理 框架表示知识的系统由两大部分构成: 1由框架及其相互关联构成的知识库 2由一组解释程序构成的框架推理机 框架推理是一个反复进行框架匹配的过程,且大部分匹配都具有不确定性,为了推理得以进行,通常都需要设置相应的槽来配合。2.4.5 框架系统中求解问题的基本过程 框架系统中的问题求解过程与人类求解问题的思维过程有许多相似之处:当人们对某事物不完全了解时,往往先根据当前已掌握的情况着手工作,然后在工作过程中不断发现、掌握新情况、新线索,使工作向纵深发展,直到达到最终目标。 框架系统在求解问题时,系统首先根据当前条件对知识库中的框架进行部分匹配,找出预选框架,并且由这些框架中其它槽的内

39、容以及框架间的联系得到启发,提出进一步的要求,使问题的求解向前推进一步。重复上述过程,直至问题得到解决为止。2.4.6 框架表示法的特点 1、优点 1结构性 2继承性 3自然性 2、缺点 框架表示法的主要缺点是:不善于表达过程性的知识,故经常与产生式表示法结合起来使用,以取得互补的效果。2.5 语义网络表示法2.5.1 语义网络的提出及基本思想 1968年在其博士论文中最先提出语义网络,把它作为人类联想记忆的一个显式心理学模型,并在他设计的可教式语言理解器TLC (Teachable Language Comprehenden)中用作知识表示方法。 语义网络的基本思想:在这种网络中,用“节点代

40、替概念,用节点间的“连接弧(称为联想弧)代替概念之间的关系,因此,语义网络又称联想网络。它在形式上是一个带标识的有向图。由于所有的概念节点均通过联想弧彼此相连,Quillian希望他的语义网络能用于知识推导。2.5.2 语义网络的概念 语义网络中的节点:表示各种事物、概念、情况、属性、动作、状态等,每个节点可以带有假设干属性,一般用框架或元组表示。此外,节点还可以是一个语义子网络,形成一个多层次的嵌套结构。 语义网络中的弧:表示各种语义联系,指明它所连接的节点间某种语义关系。 节点和弧都必须带有标识,以便区分各种不同对象以及对象间各种不同的语义联系。最简单的语义网络是一个三元组:节点1,弧,节

41、点2 1、简单语义网络举例【例如】:试将歌曲?军港之夜?中的歌词“海浪把战舰轻轻地摇表示成语义网络的形式。【解】:第一步:将上述歌词即命题表示成二元谓词的形式:轻轻摇海浪,战舰显然,它可表示成如下的语义网络:海 浪战 舰轻轻摇【注意】:上述语义网络太过简单,没有告诉人们多少东西,故需要进一步改进。 第二步:把理解这句歌词时所使用的语法知识加进去,即可将一个谓词拆成如下三个谓词:动作主体海浪,摇动作对象战舰,摇动作方式轻轻,摇可得如下改进后的较为详细的语义网络:海 浪战 舰轻轻地摇动作主体动作对象动作方式【分析】: 在上述改进的语义网络中,海浪、战舰、摇、轻轻等概念之间的相互关系均已给出,且这种

42、关系是命题本身所包括的。可以说,到此为止,我们已经穷尽了命题本身包含的知识。但是,海浪、战舰、摇、轻轻等概念本身究竟有什么含义,在这个语义网络中并未表达出来,因为命题中也没有这样的知识。 因此,为了进一步描述,就必须加入该命题以外的知识,包括我们对世界上各种事物的范畴及其属性的认识,已经?军港之夜?这首歌曲的上下文信息。 第三步:再添上我对海港中各种事物的范畴及其属性的认知,以及?军港之夜?的上下文信息,可得如下更为详细的语义网络:全域行为事物方式海浪战舰摇动轻轻某港海浪某港战舰子集子集子集子集子集个体个体子集个体动作对象动作方式动作主体 2、语义网络的BNF描述 := |Merge(,.)

43、:= := ,.) := : := | 2.5.3 分块复合语义网络 假设要处理一般的谓词公式,即命题中包含变量和量词,那么上述简单的语义网络就不能应付了。Hendrix在1975年提出了“网络分块化技术,可以解决该问题。 网络分块化技术的基本原理:在用语义网络表示一个复杂命题时,可将其拆成许多子命题,每个子命题用一个小的语义网络表示,称为一个“空间。复杂命题构成大空间,子命题构成子空间,它本身又可看作是大空间中的一个节点。子空间可以层层嵌套,也可以用弧相互连接。实践证明,这种复合网络的表达能力是很强的。 1、分块语义网络举例【例1】:试将命题“每个学生都读过一本书表示成分块语义网络的形式。【

44、解】:先将上述命题表示成谓词公式:(s)学生(s) (b)书(b)读过(s,b)其分块语义网络如下:GSg学生读书srb个体F个体个体个体动作主体动作对象【说明】: 1命题“学生读书构成一个空间,节点g是其代表,节点GS是全体命题的集合; 2通向g的两条弧,F弧指示它代表的命题是什么,弧指示s是一个全称变量,假设有多个全称变量,就要有多个弧。 3在上图中,只有s是全称变量,r,b都是存在变量,它们都是全称变量s的函数。【注意】: 1从上图可知,语义网络表示法和谓词表示法的不同:在谓词公式中,“读作为一个谓词出现,而在这里,它作为一个事件动作r和“学生、“书等统一处理。 2分块语义网络表示法要求

45、,子空间中的所有非全称变量的节点都是全称变量节点的函数,那些不是全称变量节点函数的其它节点,应该拉到空间之外去。【例2】:命题“每个学生都读过?红楼梦?,就应该表示成如下形式的语义网络:GSg学生读书sr红楼梦个体F个体个体个体动作主体动作对象【例3】:试将命题“每个学生都读过所有的书表示成分块语义网络的形式。【解】:先将上述命题表示成谓词公式:(s)学生(s) (b)书(b)读过(s,b)其分块语义网络如下:GSg学生读书srb个体F个体个体个体动作主体动作对象2.5.4 常用的语义联系 1A-Member-of联系:表示个体与集体类或集合之间的关系,它们之间有属性继承性和属性更改权。例如,

46、“张三是工会会员。 2Composed-of联系:表示“构成联系,是一种一对多的联系,被它联系的节点间不具有属性继承性。例如,“整数由正整数、0及负整数组成。 3Have联系:表示属性或事物的“占有关系。例如,“鸟有翅膀。 4Before, After, At联系:表示事件之间的时间先后关系。其中,Before表示一个事件在另一个事件之前发生;After表示一个事件在另一个事件之后发生;At表示一事件发生的时间。例如,“唐朝在宋朝之前就用Before。 5Located-on(-at, -under, -inside, -outside)联系:表示事物之间的位置关系。例如,“书放在桌子上。 6

47、Similar-to, Near-to联系:表示事物之间的相似和接近关系。例如,“猫与虎相似。常用的语义联系续2.5.5 语义网络的分类 1命题语义网络 上述例子均为此类网络。 2数据语义网络 以数据为中心的语义网络。提出该类网络的理由:在数据库中,单纯的数据存储、检索已不能满足要求,要求存储数据的语义及数据间的关系,并支持用户对数据实行推理的功能。于是,数据库逐渐向知表示方法知识库方向变化。作为适于知识型数据库的一种知识表示方法,语义网络的形式已越来越多地被采用。【说明】:关于数据语义网络的详细论述,请参见陆汝钤?人工智能?上册PP117-130。 3语言语义网络 语言语义网络就是用于自然语

48、言的分析和理解的语义网络。关于其详细论述,请参见陆汝钤?人工智能?上册PP130-136。 4结构网络:用于描述客观事物的结构,常见于模式识别、机器学习等应用领域。 5分类网络:倾向于描述抽象的概念,并对它们按层次分类。常见于专家系统。 6推理网络:它本质上是一种命题网络,只是在某种程度上规范化,更适于进行专家系统中的推理。推理网络的基本节点是事实或概念,而节点间的关系那么表示推理规那么。 7框架网络:是语义网络和框架的联合使用。包含两方面的含义: 第一种含义:网络中的节点是框架,相当于基本事实或假设,利用节点之间的关系可由某些框架推论出另一些框架。例如,医学专家系统IRIS就是利用框架网络实

49、现的,每个节点代表一个症状或一个判断。 第二种含义:网络中的节点既可代表框架,也可代表框架中的槽,每条弧的一头联着某个框架的一个槽,另一头联着另一个框架。表示后面的框架是前面的槽所代表的子框架。以此方式就可实现框架的任意深度的嵌套调用。【注】详细论述请参见陆汝钤?人工智能?上册PP141-144。2.5.6 语义网络系统求解问题的基本过程 1语义网络系统 是指用语义网络表示知识的问题求解系统。 2语义网络系统的两大组成部分 a) 由语义网络构成的知识库; b) 语义网络推理机,即用于求解问题的解释程序。 3语义网络系统求解问题的基本方法 在语义网络系统中,问题的求解一般是通过匹配实现的。 4语

50、义网络系统求解问题的主要过程 a) 根据待求解问题的要求构造一个网络片断,其中有些节点或弧的标识是空的,反映待求解的问题。 b) 依此网络片断到知识库中去寻找可匹配的网络,以找出所需要的信息。当然,这种匹配一般不是完全的,具有不确定性,因此需要解决不确定性匹配问题。 c) 当问题的语义网络片断与知识库中的某语义网络片断匹配时,那么与询问处匹配的事实就是问题的解。【注】详细论述请参见陆汝钤?人工智能?上册PP144-150。2.5.7 语义网络表示法的特点 1、语义网络表示法的优点 1结构性:因为语义网络是一种结构化的知识表示方法,它能把事物的属性以及事物间的各种语义联想显式地表示出来。 2联想

51、性:它最初是作为人类联想记忆模型提出来的。 3自然性:直观地把事物的属性及其语义联系表示出来,便于理解,自然语言与语义网络的转换比较容易实现,故语义网络表示法在自然语言理解系统中的应用最为广泛。 2、语义网络表示法的缺点 1非严格性:与一阶谓词逻辑相比,语义网络没有公认的形式表示体系。一个给定的语义网络所表达的含义完全依赖于处理程序如何对它进行解释。通过推理网络而实现的推理不能保证其正确性。此外,目前采用的表示量词包括全称量词和存在量词的语义网络表示法在逻辑上是不充分的,不能保证不存在二义性。 2处理上的复杂性:语义网络表示知识的手段多种多样,虽然灵活性很高,但同时也由于表示形式的不一致使得对

52、其处理的复杂性提高,对知识的检索也就相对复杂,要求对网络的搜索要有强有力的组织原那么。2.6 剧本脚本表示法 剧本表示法是1975年R.C. Schank依据他的概念依赖理论而提出的一种知识表示方法。脚本与框架类似,由一组槽组成,用来表示特定领域内一些事件的发生序列。 概念依赖理论 【难点】在人类的各种知识中,常识性知识是数量最多、涉及面最宽、关系最复杂的知识,很难把它们形式化地表示出来交给计算机处理。 概念依赖理论的基本思想:把人类生活中各类故事情节的基本概念抽取出来,构成一组原子概念,确定这些原子概念间的相互依赖关系,然后把所有故事情节都用这组原子概念及其依赖关系表示出来。 1、抽取原子概

53、念应遵循的基本原那么 1所有原子概念表示的意思必须是无二义性的。即使用来表示此原子概念的词原来就有二义性,在使用时也必须把这种二义性除掉。如“运动一词。 2所有相同意思的概念必须用同一个原子概念来表示,即表示的唯一性。否那么,本来是相同的概念会导致不同的理解。 3各原子概念之间,它们的表达范围不应该重复,即原子概念的正交性。 4各原子概念之间应该互相独立。一个原子概念不应该用另一个原子概念来定义,即原子概念的不可再分性。 5原子概念的数目要尽量少。数量少而表达的东西多,说明其概括性强。 2、Schank对11种动作ACT的原子化 1PROPEL:应用物理力量推、拉、打等于一对象。 2GRASP

54、:一个演员抓起一个物理对象。 3MOVE:演员身体的一部分变换空间位置,如抬手等。 4PTRANS:物理对象变换位置,如走进、跑出等。 5ATRANS:抽象关系的改变,如传递、赠送、革命等。 6ATTEND:用某个感官获取信息,如用目光搜索等。 7INGEST:演员把某个东西吸入体内,如吃、喝等。 8EXPEL:演员把某个东西送出体外,如呕吐、落泪等。 9SPEAK:演员产生一种声音,如唱歌、尖叫等。 10MTRANS:信息的传递,如读报、看信、看电视等。 11MBUILD:由旧信息形成新信息,如“眉头一皱,计上心来。 2、基于概念依赖关系的故事情节理解 1Schank定义上述11中动作的主要

55、意图:上述原子概念主要不是用于表示动作本身,而是表示动作的结果,并且是本质的结果,因此也可以认为是这些概念的推理。 2基于概念依赖关系的故事情节理解办法:事先编好许多剧本,每个剧本代表日常生活中发生的一种事件,它把这种事件的典型情节规范化,编成一种程式。 3Schank实现了SAM(Script Applier Mechanism)系统。其功能是:接受一个故事后,首先做语法分解工作,按照概念依赖关系的模式化成内部表示,然后从库中取出相应的剧本进行匹配,根据事先确定的剧本情节来理解故事。 剧本脚本及其实例 1、剧本:描述特定范围内原型事件的结构。 2、剧本的组成 1进入条件:指出剧本所描述的事件

56、可能发生的先决条件,即事件发生的前提条件。 2角色:描述事件中可能出现的人物。 3道具:描述事件中可能出现的有关物体。 4场景:描述事件序列,可以有多个场景。 5结局:给出剧本所描述的事件发生以后必须满足的条件。 3、Schank餐馆剧本 剧本:就餐 进入条件:顾客饿了,品尝佳肴,招待亲友,顾客有钱 角色:顾客、服务员、厨师、经理、老板 道具:食品、桌子、菜单、钱 场景: 第一幕:进入餐馆 PTRANS:步入餐馆 ATTEND:用目光寻找空桌 MBUILD:选定桌子 MOVE:坐下 第二幕:定菜 ATRANS:服务员送菜单 MTRANS:读菜单 MBUILD:选定所要的菜 MTRANS:告诉服

57、务员 ATRANS:付钱第三幕:吃饭 ATRANS:服务员上菜 INGEST:吃饭第四幕:离开 MOVE:站起身来 PTRANS:步出餐馆 结局:顾客吃了饭;顾客花了钱;老板挣了钱;餐厅食品减少了。【注】:关于该剧本的更详细介绍,请参见王永庆?人工智能原理与方法?PP97-98。 由上述剧本实例可知,剧本就像电影剧本一样,一场一场地表示一些特定事件的序列。 利用上述剧本可理解如下“老王吃烤鸭故事: “老王来到全聚德烤鸭店。他冲进去抢到了一个位置,服务员拿来菜单。老王要了两只烤鸭,八个菜。菜很快上齐了。老王又吃又喝,两个小时后他醉醺醺地离开了烤鸭店。 利用Schank餐馆剧本可对上述故事进行提问

58、和回答。详细过程请参见陆汝钤?人工智能?(上册)pp164-165。 利用剧本进行故事理解时应注意的问题 实际故事和剧本完全一致的情况是很少的,故每个剧本应该有适应临时出现的新情况的能力。这些能力包括: 1、子剧本调用。这往往是由意外情况引起。例如:“老王正在吃烤鸭时,忽然在鸭肉里咬到一根铁钉。此时,正常的剧情就不能演下去了。可能需要调用名为“交涉的子剧本。 2、排除故障。由于剧本的“进入条件往往是隐含的,有时可能因某个条件不成而ACT无法进行,这时要求剧本备有变通动作来排除这种障碍。例如:老王找不到空位置,今日烤鸭已售完,身上带的钱不够等,这些都是障碍。相应的变通动作可以是:站在别人桌旁,甚

59、至换一家烤鸭店等。 3、调用剧本以外的知识 应该有许多备用知识即额外知识存在库中供剧本调用。 例如:在上面“老王吃烤鸭的故事中,可预备如下额外知识: 1利用“四个人吃一只烤鸭 知识估计用餐的人数; 2醉醺醺的原因是酒喝多了。此外,额外知识还可以用来排除障碍喝调用子框架。 4、提炼、忘却和想象 1为理解故事的核心,一个剧本系统应该能提炼出最主要的情节,为此就要忘掉许多次要的情节,即故事情节收缩。 2还应该能通过想象、子剧本调用、插入障碍、设置变通等方式使得故事情节膨胀。 关于剧本表示法的说明 1、剧本表示法的局限性。与框架表示法相比,剧本比较呆板,能力也有限。另外,人类日常的行为千变万化,很难用

60、一个剧本就能理解各种各样的故事情节。 2、剧本表示的其它可能用途。目前,剧本表示法注意用于自然语言理解方面。我们可以设想将剧本与计算机动画进行结合,即根据一段故事情节,利用剧本理解其情节和含义,然后,通过图形学、动画等技术,绘制出该故事的场景、角色、道具,并根据理解的故事发展过程,进行动画情节的演进。 事实上,陆汝钤等人在20世纪90年代做过尝试,他们曾经研发了一套基于故事情节理解的动画?天鹅?。 过程表示法 在AI界关于知识表示方法有两种不同的观点: 第一种观点:认为知识主要是陈述性的,其表示方法应着重将其静态特性即事物的属性及事物间的关系表示出来。人们称以这种观点表示知识的方法为陈述式或说

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论