人工智能知识表示PPT讲稿.ppt

《人工智能知识表示PPT讲稿.ppt》由会员分享，可在线阅读，更多相关《人工智能知识表示PPT讲稿.ppt（32页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、人工智能知识表示第1页，共32页，编辑于2022年，星期四一)状态空间表示法状态空间表示法是知识表达的基本方法。所谓状态是用来表示系统状态、事实等叙述型知识的一组变量或数组。所谓操作是用来表示引起状态变化的过程型知识的一组关系或函数。状态空间利用状态变量和操作符号，表示系统或问题的有关知识的符号体系，可用三元组（S，O，G）来描述.问题求解：从起始状态出发，经过一系列操作交换，达到目标状态，即状态空间搜索问题。状态空间的一个解是一个有限的规则序列，它使初始状态转化为目标状态，解不一定唯一。6.1 已经学过的知识表达方法 第2页，共32页，编辑于2022年，星期四二)与或图表示法与或图基于人们求

2、解问题时的两种思维方法：分解与树：将复杂的大问题分解为一组简单的小问题，将总问题分解为若干子问题。若所有的子问题都解决了，则总问题也解决了，这是与的逻辑关系。变换或树：将较难的问题变换为较易的等价或等效的问题。若一个难问题可以等价变换为几个容易问题，则任何一个容易问题解决了，也就解决了原有的难问题，这是或的逻辑关系。第3页，共32页，编辑于2022年，星期四三)产生式系统产生式系统是一种最早被使用且直到现在仍被广泛使用的知识表示方法.在产生式系统中，知识分为两部分：用事实表示静态知识;用产生式规则表示推理过程和行为.三个基本部分组成：一个综合数据库（事实库）、一组产生式规则（规则集）和一个控制

3、系统（控制器）。第4页，共32页，编辑于2022年，星期四四)逻辑表达方法逻辑是最早也是最广泛用于知识表示的模式之一.原因在于1)包含:一个公理系统，说明什么关系和蕴含可以形式化；一个演绎结构，即推理规则集合.2)逻辑及其形式系统的演绎都保证正确.3)演绎可以完全机械化，它是定理证明中使用得较为成功的一种技术.优点:严格性 通用性 自然性 模块性缺点:效率低 灵活性差第5页，共32页，编辑于2022年，星期四6.2 知识表示的概念与含义 从知识的观点，智能表现在：知识的获取能力,知识的处理能力,知识的运用能力。要使计算机系统具有人的智能能力，则必须以人的知识为基础。因此，什么是知识，这是AI首

4、先要解决的问题。知识是人们对自然现象的认识和从中总结出来的规律、经验。表示是使用人造的体系对自然界事物的运算规律进行概括与抽象的模型。知识表示是概括智能的模型，知识表示是人工智能研究的一个重要课题，不同的知识有不同的表示方法,合理的知识表示可以使问题的求解变得容易，并且有较高的求解效率。第6页，共32页，编辑于2022年，星期四6.3 知识类型和知识模型的变换知识类型：知识的表达就是研究知识的形式化方法。人类所拥有的知识需要用适当的方法来表示，才能够在计算机中存储、检索、运用、增删和修改。在AI中，知识可分为3种类型：1）、叙述型知识。有关系统状态、环境和条件，问题的概念、定义和事实的知识。2

5、）、过程型知识。有关系统状态变化、问题求解过程的操作、演算和行动的知识。3）、控制型知识。有关如何选择相应的操作、演算和行动的比较、判断、管理和决策的知识。第7页，共32页，编辑于2022年，星期四例如：对于从北京到上海，是乘飞机还是坐火车的问题，有关的知识可以归结如下：叙述型知识：北京、上海、飞机、火车、时间、费用过程型知识：乘飞机、坐火车控制型知识：乘飞机较快、较贵；坐火车较慢、较便宜。第8页，共32页，编辑于2022年，星期四知识模型的变换：对于不同的知识表达方法，则有各种不同的形式化知识模型。同构变换可使问题更明确，便于求解，同构问题的解答等价于原始问题的解答。同态变换可使问题更加简化

6、，易于求解。原始问题有解，则同态问题有解，同态问题无解，则原始问题无解，它们之间是蕴涵关系。通过同构或同态变换，可以把原始问题转化为比较清晰、简单的同构或同态问题，如下图所示 第9页，共32页，编辑于2022年，星期四第10页，共32页，编辑于2022年，星期四例、方格棋盘分割问题，如下图所示 1）、原始问题：在2n2n的方格棋盘中，去掉对顶角上两个小方格后，如图（a）所示，问能否将它分割为若干12的小长方块？(“组合爆炸”)。第11页，共32页，编辑于2022年，星期四2）、同构问题：将棋盘中小方格相间着色，将其化为同构问题，如图（b）所示，由此可见，无论n为何值，对顶角上两个小方格是同色的

7、，去掉它们后，小白格和小黑格的数目之间的差值为2。由于每个（12）长方块只能包括一个小白格和小黑格，因此无论如何分割，最后剩下的必定是同色的两个小方格，无法分割成原始问题要求的小长方块。第12页，共32页，编辑于2022年，星期四3）同态问题：引入序对（小黑格数，小白格数），用以表示待分割的棋盘的状态，化为同态问题，1.初态：（2n2，2n2-2）；2.目标：（0，0）；3.分割操作：每次操作，分割出一个小长方块，割去一个小黑格和一个小白格，使状态变量都减去1，如第一次分割，使原始状态变成状态（2n2-1，2n2-3）。显然，经过2n2-2次操作后，状态变为（2，0），不可能达到所求的目标状态

8、（0，0）。第13页，共32页，编辑于2022年，星期四6.4 语义网络6.4.1 语义网络的概念和特性概念：语义网络是一种采用网络形式表示人类知识的方法。形式上，一个语义网络是一个带标识的有向图，其中带有标识的节点表示问题领域中的物体、概念、事件、动作或态势，节点之间的有向弧也带有标识，表示节点之间的语义联系。有时又将弧称为联想弧，所以语义网络又称为联想网络。语义网络是自然语言/逻辑语言中语义含义的一种结构化表示方法。优点有自然性,联想性,效率较高;缺点有不严格,不便于表达判断性知识,深层知识.第14页，共32页，编辑于2022年，星期四6.4.2 语义网络的知识表达1、基本命题的语义网络表

9、示在语义网络中，节点一般划分为实例节点和类节点两种类型。有向弧用于刻画节点之间的语义联系，是语义网络组织知识的关键。比较典型的语义联系有：以个体为中心组织知识的语义联系1）实例联系。用于表示类节点与所属实例节点之间的联系，通常标识为ISA。例如“燕子是一只鸟”可以表示为：第15页，共32页，编辑于2022年，星期四2）泛化联系：用于表示一种类节点（如鸟）与更抽象的类节点（如动物）之间的联系，通常用AKO（A Kind Of）表示。通过AKO可以将问题领域中的所有类节点组织成一个AKO层次网络。泛化联系允许低层类型继承高层类型的属性，这样可以将公用属性抽象到较高层次。减少了对存储空间的要求。第1

10、6页，共32页，编辑于2022年，星期四3）聚集联系：用于表示某一个体与其组成成分之间的联系，通常用part-of表示。聚集联系基于概念的分解性，将高层概念分解为若干低层概念的集合。翅膀鸟Part-of第17页，共32页，编辑于2022年，星期四4）属性联系：用于表示个体、属性及其取值之间的联系，通常用有向弧表示属性，用这些弧指向的节点表示各自的值。如下图所示，约翰的性别是男性，年龄为30岁等。第18页，共32页，编辑于2022年，星期四以谓词关系为中心组织知识的语义联系从本质上讲,语义网络节点之间的连接是二元关系,一元和多元关系很容易转换为语义网络.如 鸟是动物.Animal(bird)一元

11、 ISA(bird,animal)二元火箭和活塞在本周一场NBA篮球比赛中的比分是92:104,其逻辑表示法为score(火箭,活塞,92:104).多元方法:可以引入一个类:篮球比赛,和一个个体:NBA火箭-活塞本周比赛,将多元关系表示成二元关系的组合.第19页，共32页，编辑于2022年，星期四2、连接词在语义网络中的表示方法任何具有表达谓词公式能力的语义网络，除具备表达基本命题的能力外，还必须具备表达命题之间的“与”、“或”、“非”以及“蕴涵”关系的能力。（1）合取。合取命题通过引入“与”节点来表示。如命题 give(John,Mary,“战争与和平”)read(Mary,“战争与和平”

12、)可以表示为下图所示的带“与”节点的语义网络。第20页，共32页，编辑于2022年，星期四（2）析取。析取命题通过引入“或”节点来表示。例如命题John is a programmer or Mary is a lawyer可以表示为下图所示的语义网络。其中，OC1和OC2为两个具体的职业关系，分别对应John为programmer及Mary 为lawyer。第21页，共32页，编辑于2022年，星期四（3）否定。对于基本联系的否定可以直接采用ISA，AKO及part-of的有向弧来标注。通常,需要通过引进“非”节点来表示。如命题 give(John,Mary,“战争与和平”)read(Mar

13、y,“战争与和平”)可以表示为下图所示的语义网络。第22页，共32页，编辑于2022年，星期四（4）蕴含。通过引入蕴含关系节点来表示规则中前提条件和结论之间的因果联系。从蕴含关系节点出发，一条弧指向命题的前提条件，记为ANKE，另一条弧指向该规则的结论，记为CONSE。如规则“如果车库起火，那么用CO2或沙来灭火”可以表示为下图所示的语义网络。第23页，共32页，编辑于2022年，星期四3、变元和量词在语义网络中的表示方法存在量词在语义网络中直接用ISA弧表示。而全称量词就要用分级网络的分块来表示。例如，命题：The dog bite the postman 这句话意味着所涉及的是存在量词。下

14、图（a）给出了相应的语义网络。网络中D节点表示一特定的狗；P表示一特定的邮递员；B表示一特定的咬人事件。咬人事件B包括两部分，一部分是攻击者，另一部分是受害者。节点D，B和P都是用ISA弧与概念节点DOG，BITE以及POSTMAN相连，因此表示的是存在量词。第24页，共32页，编辑于2022年，星期四如果我们进一步要表示：Every dog has bitten a postman 这个事实，用谓词逻辑可表示为（x）DOG（x）（y）POSTMAN（y）BITE（x，y）上述谓词公式中包含有全称量词。方法是利用分级把网络分割成空间分层集合。每一个空间对应于一个或几个变量的范围。下图（b）是上

15、述事实的语义网络.第25页，共32页，编辑于2022年，星期四分级网络:引入一个类节点GS,它是对客观世界的一般性描述;要表示的语句是GS的一个个体(实例)G,如果G中含有n个全称变量,G在网络中有n+1条弧射出:第一条:格式（FORM）,它指向全称量词管辖的子网络(S1是一个特定的分割，它表示一个断言：A dog has bitten a postman);后n条:,分别指向被全称量化的变量;这样的语义网络表示对每一条狗存在一个咬人事件B和一个邮递员P，使得D是B中的攻击者，而P是受害者。第26页，共32页，编辑于2022年，星期四为进一步说明如何表示量化变量，可考虑如何表示下述事实：Eve

16、ry dog has bitten every postman。只需对图（b）做简单的修改，增加一条弧与节点P相连。这样做的含义是每条狗咬了每个邮递员，如图（c）所示。第27页，共32页，编辑于2022年，星期四6.8 框架6.8.1 基本概念1975年由M.Minsky提出，用于表示客观事物的层次关系.与语义网络一样，是一种结构化表示方法。人们通常使用一种通用的数据结构的形式来存储以往的经验。这样的数据结构，称为框架.一个框架系统中,一般都含有多个框架.第28页，共32页，编辑于2022年，星期四6.8.2 框架的结构框架（frame）由框架名和一组用于描述对象各方面具体属性的槽（slot）

17、组成。每个槽又拥有一定数量的侧面，每个侧面又拥有若干个侧面值。约束条件是为了给框架,槽,侧面附加说明信息的,可提高框架结构的表达能力和推理能力。由此，一个框架可以形式地表示如下：FRAME 槽名A：侧面名A1：值A11,值A12,值A13 侧面名A2：值A21,值A22,值A23 槽名B：侧面名B1：值B11,值B12,值B13 侧面名B2：值B21,值B22,值B23 槽名C：侧面名C1：值C11,值C12,值C13 侧面名C2：值C21,值C22,值C23 约束条件:约束条件1 约束条件2 约束条件3第29页，共32页，编辑于2022年，星期四 我们看一个一层一层嵌套的框架结构,前2个描述

18、的是概念,最后一个描述的是具体实例.例1：描述学校的框架 框架名：类 属：类 型:范围(大学,中学,小学)位 置:(省,市)面 积：单位(平方米)教工人数：学生人数：第30页，共32页，编辑于2022年，星期四例2：描述大学的框架 框架名：类 属：类 型:范围(综合性,专科性)专 业:默认值:综合 学 院 数：教 学 楼：教工人数：职工人数：学生人数：位 置:(省,市)面 积：单位(平方米)第31页，共32页，编辑于2022年，星期四例3：描述北京工业大学的框架 框架名：类 属：名 称:北京工业大学 专 业:综合 学 院 数：15 教 学 楼：18 办 公 楼:10 学生宿舍:10 教工宿舍:9 教工人数：3000 职工人数：5000 学生人数：20000 位 置:北京市 面 积：10000万平方米 建校时间:1960年9月 第32页，共32页，编辑于2022年，星期四