第二章人工智能逻辑第二部分课件.pptx
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第二章人工智能逻辑第二部分课件.pptx》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第二 人工智能 逻辑 部分 课件
- 资源描述:
-
1、第二章第二章 人工智能逻辑人工智能逻辑第二部分第二部分史忠植史忠植中国科学院计算技术研究所中国科学院计算技术研究所高级人工智能高级人工智能2022-10-19描 述 逻 辑 Description Logics2022-10-19主要内容 什么是描述逻辑?什么是描述逻辑?为什么用描述逻辑?为什么用描述逻辑?描述逻辑的研究进展描述逻辑的研究进展 描述逻辑的体系结构描述逻辑的体系结构 描述逻辑的构造算子描述逻辑的构造算子 描述逻辑的推理问题描述逻辑的推理问题 我们的工作我们的工作2022-10-191 什么是描述逻辑(DL)?一种基于对象的知识表示的形式化,一种基于对象的知识表示的形式化,也叫概念
2、表示语言或术语逻辑。也叫概念表示语言或术语逻辑。建立在概念和关系(Role)之上 概念解释为对象的集合关系解释为对象之间的二元关系源于语义网络和KL-ONE是一阶逻辑FOL的一个可判定的子集具有合适定义的语义(基于逻辑)2022-10-19特点特点是以往表示工具的逻辑重构和统一形式化 框架系统(Frame-based systems)语义网络(Semantic Networks)面向对象表示(OO representation)语义数据模型(Semantic data models)类型系统(Type systems)特征逻辑(Feature Logics)具有很强的表达能力 是可判定的,总能
3、保证推理算法终止2022-10-19描述逻辑的应用描述逻辑的应用 概念建模 查询优化和视图维护 自然语言语义 智能信息集成 信息存取和智能接口 工程的形式化规范 术语学和本体论 规划 2022-10-192 2 为什么用描述逻辑?为什么用描述逻辑?若直接使用一阶逻辑,而不附加任何约束,则:知识的结构将被破坏,这样就不能用来驱动推理 对获得可判定性和有效的推理问题来说,其表达能力太高,(也许是太抽象了)对兴趣表达,但仍然可判定的理论,其推理能力太低。DLDL的重要特征是:的重要特征是:很强的表达能力;可判定性,它能保证推理算法总能停止,并返回正确的结果。2022-10-19在众多知识表示的形式化
4、方法中,描述逻辑在十多年来受到人们的特别关注,主要原因在于以下三点:它们有清晰的模型-理论机制;它们很适合于通过概念分类学来表示应用领域;它们提供了很用的推理服务。它们可以被认为是从基于框架的表示形式化向着精确的语义特征方向发展。此外,描述逻辑将分类学中表示和推理(专业推理)与在分类学中项的事实或实例的表示和推理(断言推理)区别开来。2022-10-193 描述逻辑的研究进展描述逻辑的研究进展 描述逻辑的基础研究描述逻辑的基础研究研究描述逻辑的构造算子、表示和推理的基本问题,如可满足性、包含检测、一致性、可判定性等。一般都在最基本的ALC的基础上在扩展一些构造算子,如数量约束、逆关系、特征函数
5、、关系的复合等。TBox和Abox上的推理问题、包含检测算法等。Schmidt-Schaub 和 Smolka首先建立了基于描述逻辑ALC的Tableau算法,该算法能在多项式时间内判断描述逻辑ALC概念的可满足性问题。2022-10-19 描述逻辑的扩展研究描述逻辑的扩展研究A.Artale和E.Franconi(1998)提出了一个知识表示系统,用时间约束的方法将状态、动作和规划的表示统一起来。为了能让描述逻辑处理模态词,F.Baader将模态操作引入描述逻辑,证明了该描述逻辑公式的可满足性问题是可判定的。Wolter等对具有模态算子的描述逻辑进行了深入系统的调查分析,并证明在恒定的领域假
6、设下多种认知和时序描述逻辑是可判定的。另外如时序扩展(Artale,Wolter)、模糊扩展(Straccia)等。2022-10-19 描述逻辑的应用研究描述逻辑的应用研究描述逻辑在许多领域中被作为知识表示的工具,如信息系统(Catarci,1993)数据库(Borgida,1995;Bergamaschi 1992;Sheth,1993)软件工程(Devambu,1991)网络智能访问(Levy,1996;Blanco,1994)规划(Seida,1992)等 Horrocks对表达能力较强的描述逻辑进行了研究,并建立了一些逻辑框架和系统,如FaCT,SHIQ等。他和Dieter Fens
7、el等人将描述逻辑、语义网和DAML结合起来,提出了DAML+OIL,其中以描述逻辑作为核心的表示和推理基础。并在XML及其RDF上面进行了扩展,用描述逻辑来研究语义网络和本体论。2022-10-194 描述逻辑的体系结构描述逻辑的体系结构一个描述逻辑系统包含四个基本组成部分:1)表示概念和关系(Role)的构造集2)Tbox关于概念术语的断言3)Abox关于个体的断言4)Tbox和Abox上的推理机制。2022-10-19 概念概念 解释为一个领域的子集 例子:所有在校学习的人员的集合构成“学生”概念又如:孩子,已婚的,哺乳动物等概念x|Student(x),x|Married(x)关系关系
8、(Roles)属性(二元谓词,关系)例子:朋友,爱人,|Friend(x,y),|Loves(x,y)1 1)DLDL的基本元素的基本元素概念和关系概念和关系2022-10-19知识库TBox(模式)Man Human MaleHappy-father Human Has-child.Female Abox(数据)John:Happy-father:Has-child推理系统接口2022-10-192 2)TBoxTBox语言语言是描述领域结构的公理的集合定义定义:引入概念的名称 A C,A CFather Man has-child.HumanHuman Animal Biped包含包含:声
9、明包含关系的公理C D (C D C D,D C)has-degree.Masters has-degree.Bachelors一个解释I满足:C D iff CI=DIC D iff CI DI一个解释I满足TBox T iff 它满足T中的每个公理(IT)2022-10-19 概念概念 表示实体(一元谓词,类)例子:学生,已婚的x|Student(x),x|Married(x)Bird Animal,Man Human 关系关系(Roles)属性(二元谓词,关系)例子:朋友,爱人|Friend(x,y),|Loves(x,y)TBox实例实例2022-10-19 概念断言概念断言 表示一个
10、对象是否属于某个概念a:C例如:Tom是个学生,表示为Tom:Student或者 Student(Tom)John:Man has-child.Female 关系断言关系断言 表示两个对象是否满足一定的关系:R例如:John有个孩子叫Mary:has-child3 3)ABoxABox语言(断言部分)语言(断言部分)是描述具体情形的公理的集合是描述具体情形的公理的集合2022-10-19一个解释I满足:a:C iff aI CI :R iff RI一个解释I满足ABox A iff 它满足A中的每个公理记为:I A一个解释I满足知识库=iff 它满足T和A 记为:I 2022-10-194 4
11、)语法和语义)语法和语义构造算子构造算子语法语法语义语义例子例子原子概念AAI IHuman原子关系RRI I Ihas-child对概念对概念C,D和关系和关系(role)R合取C DCI DIHuman Male析取C DCI DIDoctor Lawyer非 CI C Male存在量词 R.Cx|y.RIy CI has-child.Male全称量词 R.Cx|y.RI y CI has-child.Doctor2022-10-19一般地,描述逻辑依据提供的构造算子,在简单的概念和关系上构造出复杂的概念和关系。通常DL至少包含以下算子:合取(),吸取(),非()量词约束:存在量词(),全
12、称量词()最基本的DL称之为ALC例如,ALC中概念Happy-father定义为:Man has-child.Male has-child.Female has-child.(Doctor Lawyer)5 DL DL中的构造算子中的构造算子2022-10-19构造算子构造算子语法语法语义语义例子例子数量约束n R.Cx|y|RI,y CI|n3 has-child.Male n R.Cx|y|RI,y CI|n 3 has-child.Male逆R-|RI has-child-传递闭包R*(RI)*has-child*DLDL中的其它算子中的其它算子topTIMale MaleBottom
展开阅读全文