《第二章人工智能逻辑第二部分课件.pptx》由会员分享，可在线阅读，更多相关《第二章人工智能逻辑第二部分课件.pptx（41页珍藏版）》请在三一办公上搜索。
1、第二章 人工智能逻辑第二部分,史忠植中国科学院计算技术研究所,高级人工智能,9/24/2022,1,第二章 人工智能逻辑第二部分史忠植高级人工智能9/24/,描 述 逻 辑 Description Logics,9/24/2022,2,描 述 逻 辑 Description Logics9/2,主要内容, 什么是描述逻辑？ 为什么用描述逻辑？ 描述逻辑的研究进展 描述逻辑的体系结构 描述逻辑的构造算子 描述逻辑的推理问题 我们的工作,9/24/2022,3,主要内容 什么是描述逻辑？9/24/20223,1 什么是描述逻辑(DL)？,一种基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑。
2、建立在概念和关系(Role)之上 概念解释为对象的集合关系解释为对象之间的二元关系源于语义网络和KL-ONE是一阶逻辑FOL的一个可判定的子集具有合适定义的语义(基于逻辑),9/24/2022,4,1 什么是描述逻辑(DL)？一种基于对象的知识表示的形式化,特点,是以往表示工具的逻辑重构和统一形式化 框架系统 (Frame-based systems) 语义网络 (Semantic Networks) 面向对象表示 (OO representation) 语义数据模型 (Semantic data models) 类型系统 (Type systems) 特征逻辑 (Feature Logics
3、) 具有很强的表达能力 是可判定的，总能保证推理算法终止,9/24/2022,5,特点是以往表示工具的逻辑重构和统一形式化9/24/2022,描述逻辑的应用, 概念建模 查询优化和视图维护 自然语言语义 智能信息集成 信息存取和智能接口 工程的形式化规范 术语学和本体论 规划 ,9/24/2022,6,描述逻辑的应用 概念建模 9/24/20226,2 为什么用描述逻辑？,若直接使用一阶逻辑，而不附加任何约束，则： 知识的结构将被破坏，这样就不能用来驱动推理 对获得可判定性和有效的推理问题来说，其表达能力太高，（也许是太抽象了） 对兴趣表达，但仍然可判定的理论，其推理能力太低。,DL的重要特征
4、是： 很强的表达能力； 可判定性，它能保证推理算法总能停止，并返回正确的结果。,9/24/2022,7,2 为什么用描述逻辑？若直接使用一阶逻辑，而不附加任何约束，,在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于以下三点 : 它们有清晰的模型-理论机制; 它们很适合于通过概念分类学来表示应用领域； 它们提供了很用的推理服务。 它们可以被认为是从基于框架的表示形式化向着精确的语义特征方向发展。此外，描述逻辑将分类学中表示和推理（专业推理）与在分类学中项的事实或实例的表示和推理（断言推理）区别开来。,9/24/2022,8,在众多知识表示的形式化方法中，描述逻辑在
5、十多9/24/202,3 描述逻辑的研究进展 描述逻辑的基础研究研究描述逻辑的构造算子、表示和推理的基本问题，如可满足性、包含检测、一致性、可判定性等。一般都在最基本的ALC的基础上在扩展一些构造算子，如数量约束、逆关系、特征函数、关系的复合等。TBox和Abox上的推理问题、包含检测算法等。Schmidt-Schaub 和 Smolka首先建立了基于描述逻辑ALC的Tableau算法，该算法能在多项式时间内判断描述逻辑ALC概念的可满足性问题。,9/24/2022,9,3 描述逻辑的研究进展9/24/20229, 描述逻辑的扩展研究A.Artale和E.Franconi (1998)提出了一
6、个知识表示系统，用时间约束的方法将状态、动作和规划的表示统一起来。为了能让描述逻辑处理模态词，F.Baader将模态操作引入描述逻辑，证明了该描述逻辑公式的可满足性问题是可判定的。 Wolter等对具有模态算子的描述逻辑进行了深入系统的调查分析，并证明在恒定的领域假设下多种认知和时序描述逻辑是可判定的。 另外如时序扩展(Artale, Wolter)、模糊扩展(Straccia)等。,9/24/2022,10, 描述逻辑的扩展研究9/24/202210, 描述逻辑的应用研究描述逻辑在许多领域中被作为知识表示的工具，如信息系统（Catarci,1993）数据库（Borgida,1995; Ber
7、gamaschi 1992; Sheth, 1993）软件工程(Devambu, 1991)网络智能访问（Levy， 1996； Blanco，1994）规划（Seida, 1992）等 Horrocks对表达能力较强的描述逻辑进行了研究，并建立了一些逻辑框架和系统，如FaCT，SHIQ等。他和Dieter Fensel等人将描述逻辑、语义网和DAML结合起来，提出了DAML+OIL，其中以描述逻辑作为核心的表示和推理基础。并在XML及其RDF上面进行了扩展，用描述逻辑来研究语义网络和本体论。,9/24/2022,11, 描述逻辑的应用研究9/24/202211,4 描述逻辑的体系结构,一个描
8、述逻辑系统包含四个基本组成部分：1）表示概念和关系（Role）的构造集2）Tbox关于概念术语的断言3）Abox关于个体的断言4）Tbox和Abox上的推理机制。,9/24/2022,12,4 描述逻辑的体系结构一个描述逻辑系统包含四个基本组成部分：, 概念 解释为一个领域的子集 例子：所有在校学习的人员的集合构成“学生”概念又如：孩子，已婚的，哺乳动物等概念x | Student(x) ，x | Married(x) , 关系(Roles) 属性(二元谓词，关系)例子：朋友，爱人， | Friend(x,y) ， | Loves(x,y) ,1）DL的基本元素概念和关系,9/24/2022,
9、13, 概念 解释为一个领域的子集 关系(Roles),知识库,TBox(模式)Man Human MaleHappy-father Human Has-child.Female ,Abox(数据)John: Happy-father : Has-child,推理系统,接口,9/24/2022,14,TBox(模式)Abox(数据)推理系统接口9/24/202,2）TBox语言是描述领域结构的公理的集合,定义: 引入概念的名称 A C, A CFather Man has-child.HumanHuman Animal Biped包含：声明包含关系的公理C D ( C D C D ，D C)
10、has-degree.Masters has-degree.Bachelors一个解释I满足： C D iff CI = DIC D iff CI DI一个解释I满足TBox T iff 它满足T中的每个公理(IT),9/24/2022,15,2）TBox语言定义: 引入概念的名称 9/24/20221, 概念 表示实体(一元谓词，类)例子：学生，已婚的x | Student(x) ，x | Married(x) Bird Animal, Man Human, 关系(Roles) 属性(二元谓词，关系)例子：朋友，爱人 | Friend(x,y) ， | Loves(x,y) ,TBox实例,
11、9/24/2022,16, 概念 表示实体(一元谓词，类) 关系(Roles), 概念断言 表示一个对象是否属于某个概念a:C例如：Tom是个学生，表示为Tom : Student或者Student(Tom)John : Man has-child.Female, 关系断言 表示两个对象是否满足一定的关系:R例如：John有个孩子叫Mary : has-child,3）ABox语言（断言部分）是描述具体情形的公理的集合,9/24/2022,17, 概念断言 表示一个对象是否属于某个概念 关系断言,一个解释I满足： a : C iff aI CI :R iff RI一个解释I满足ABox A i
12、ff 它满足A中的每个公理记为： I A一个解释I满足知识库 = iff 它满足T和A 记为： I ,9/24/2022,18,一个解释I满足： a : C iff aI CI9,4）语法和语义,9/24/2022,19,4）语法和语义构造算子语法语义例子原子概念AAI I,一般地，描述逻辑依据提供的构造算子，在简单的概念和关系上构造出复杂的概念和关系。通常DL至少包含以下算子： 合取( )，吸取( )，非( ) 量词约束：存在量词( )，全称量词()最基本的DL称之为ALC例如，ALC中概念Happy-father定义为：Man has-child.Male has-child.Female
13、 has-child.(Doctor Lawyer),5 DL中的构造算子,9/24/2022,20,一般地，描述逻辑依据提供的构造算子，在简单的5 DL中的构造,DL中的其它算子,另外，有两个类似于FOL中的全集(true)和空集(false)的算子,9/24/2022,21,构造算子语法语义例子数量约束n R . Cx| | y,在DL中添加算子,一般地，在描述逻辑中添加不同的算子，则得到不同表达能力的描述逻辑，其复杂性问题也不尽相同。例如，在ALC的基础上添加逆( - )算子，则构成ALCI若再加上数量约束算子(n , n )，则构成ALCIQ。若在描述逻辑中添加时序算子，则构成为时序描
14、述逻辑(Temporal Description Logic)，例如，可以添加：Until算子 U： C U DSince算子 S： C S D还可以加入其它算子，如模态算子 ， ， 等。,9/24/2022,22,在DL中添加算子一般地，在描述逻辑中添加不同的算子，则得到不,6 描述逻辑中的推理,1) 一致性（协调性consistency）2) 可满足性(satisfiability)3) 包含检测（subsumption）4) 实例检测 (instance checking)5) Tableaux算法6）可判定性7）计算复杂性,9/24/2022,23,6 描述逻辑中的推理1) 一致性（协
15、调性consistenc,1)一致性检测(Consistency),知识库是协调的吗？即检测是否有的模型 (解释) I ？, C关于Tbox T是协调的吗？即检测是否有T的模型 I 使得 C ？,9/24/2022,24,1)一致性检测(Consistency)知识库,2) 概念可满足性(Satisfiablity),对一个概念C，如果存在一个解释I使得CI是非空的，则称概念C是可满足的，否则是不可满足的。 检验一个概念的可满足性，实际上就是看是否有解释使得这个概念成立。例如：概念Male Female，即需要检测是否有性别既是男的又是女的这样的人。若确实是没有这种两性人，则我们断言，这个概念
16、是不可满足的。 又如概念： student worker，它是可满足的。即代表那些在职学生的集合。,定理：概念C是可满足的，当且仅当C不包含于。,9/24/2022,25,2) 概念可满足性(Satisfiablity) 对一,在知识库中检测：C D？即检测 CI DI 是否在所有的解释中成立？,3) 概念包含(Subsumption),例如：bird animalcomputer equipment,在Tbox中检测：C D？即检测 CI DI 是否在Tbox T的所有解释中成立？,9/24/2022,26,在知识库中检测：3) 概念包含(Subsumption)例,C D iff C D是
17、不可满足的。C T D iff C D关于T是不可满足的。C 关于T是一致的 iff C T A A,包含与可满足性的关系,C D ,9/24/2022,27,C D iff C D是不可满足的。包含与可满足,4）实例检测(Instance checking),概念的实例：Student (John)，或者表示为 John:Student关系的实例：Father(John, Mary)实例检索：检索属于某个概念的所有实例的集合,9/24/2022,28,4）实例检测(Instance checking)概念的实例,5）可满足性检测算法Tableaux算法,1) 规则:S x:C1, x:C2S
18、，若x:C1 C2在S中，且x:C1和x:C2不在S中同时出现。2) 规则:S x:DS，若x:C1C2在S中，x:C1和x:C2都不在S中，且D= C1或者D= C2。3) 规则:S xP1y,xPky, y:CS，若x:R.C在S中，R= P1Pk，没有z使得xRz在S中成立，且z:C在S中，y为一个新变量。4) 规则:S y:CS，若x:R.C在S中，xRy在S中成立，且y:C不在S中。,9/24/2022,29,5）可满足性检测算法Tableaux算法1) 规则:9,例子：检测概念的可满足性：(has-child.Male) (has-child.Male)，其检测过程为：(has-c
19、hild.Male) (has-child.Male)(x)(has-child.Male)(x)规则(has-child.Male)(x)规则has-child (x, y)规则Male (y)规则Male (y)规则矛盾所以这个概念是不可满足的。,9/24/2022,30,例子：检测概念的可满足性：9/24/202230,6）可判定性,描述逻辑中的可满足性问题是可判定的。其它推理问题基本上可以归结为可满足性问题。,7）计算复杂性,描述逻辑中的推理问题其计算复杂性一般是多项式时间的。但通常由于构造的不同，其复杂性也有一定的差异。,9/24/2022,31,6）可判定性描述逻辑中的可满足性问题
20、是可判定的。7）计算复杂,Semantic Web Architecture,9/24/2022,32,Semantic Web Architecture 9/24,我们的工作,带缺省的描述逻辑定义 一个缺省规则是形如 这样的表达式， 其中C、D、E为概念名，x是一个变元。C(x)称为前提条件，D(x)称为检验条件(缺省)，E(x)称为缺省的结论。定义1.2 一个知识库是一个三元组，其中T为Tbox，A为Abox，D为缺省规则集。,9/24/2022,33,我们的工作带缺省的描述逻辑9/24/202233,动态描述逻辑,描述逻辑最开始只是用来表示静态知识的。为了考虑在时间上的变化，或者在一定动
21、作下的变化，以及保持其语言的相对简单性，很自然地我们需要通过相应的模态算子来扩展它，以保留其命题模态状态。,提出动态描述逻辑，用来描述主体中的动态知识以及推理。,描述逻辑,动态逻辑,主体,面向主体的动态描述逻辑,9/24/2022,34,动态描述逻辑 描述逻辑最开始只是用来表示静态知识的。,以客观世界的形式化建模为研究内容，提出一种统一的形式化框架，同时从静态和动态两个方面来刻画世界的模型。为动态领域的建模提供一种有效的形式化理论工具；将世界中的概念、关系和个体，公理、事实和动作有机地整合在一起，形成统一的关联和运作机制，使动作与公理和事实相互作用，统一表示并进行推理；对概念、公式和动作都给出
22、了统一的、合适的语法和语义；主体与本体的结合,动态描述逻辑DDL,9/24/2022,35,动态描述逻辑DDL9/24/202235,动态描述逻辑DDL,DDL：语义环境中对服务过程方面的建模和推理服务改变环境的状态：前提条件和执行结果，Action服务描述：基于World Model，e.g., 描述服务的前提和结果的词汇来自World ModelTBox描述World Model的结构所有状态的描述以数据库或文本的形式分散在Web中用户或Agent通过查询的方式获得状态的信息，存放于各自的ABox中DL与Action的交互体现在：Action采用TBox中的词汇描述前提和结果Action的
23、执行导致ABox的变化,DDLDLAction,9/24/2022,36,动态描述逻辑DDLDDL：语义环境中对服务过程方面的建模和推,An action description is the form of,where (1) A is the action name.(2) x1, , xn are individual variables, which denote the objects the action operate on.(3) PA is the set of preconditions, which must be satisfied before the action
24、is executed.(4) EA is the set of results, which denote the effects of the action.,Dynamic Description Logic,9/24/2022,37,An action description is the f,描述逻辑与语义Web有何区别与联系？,思 考,描述逻辑与Prolog有何区别与联系？,描述逻辑可以在哪些方面进行扩展与完善？,9/24/2022,38,描述逻辑与语义Web有何区别与联系？思 考描述逻辑与Prol,参考文献,9/24/2022,39,参考文献9/24/202239,谢谢！,9/2
25、4/2022,40,谢谢！9/24/202240,树立质量法制观念、提高全员质量意识。22.11.1822.11.18Friday, November 18, 2022人生得意须尽欢，莫使金樽空对月。02:22:2702:22:2702:2211/18/2022 2:22:27 AM安全象只弓，不拉它就松，要想保安全，常把弓弦绷。22.11.1802:22:2702:22Nov-2218-Nov-22加强交通建设管理，确保工程建设质量。02:22:2702:22:2702:22Friday, November 18, 2022安全在于心细，事故出在麻痹。22.11.1822.11.1802:2
26、2:2702:22:27November 18, 2022踏实肯干，努力奋斗。2022年11月18日上午2时22分22.11.1822.11.18追求至善凭技术开拓市场，凭管理增创效益，凭服务树立形象。2022年11月18日星期五上午2时22分27秒02:22:2722.11.18严格把控质量关，让生产更加有保障。2022年11月上午2时22分22.11.1802:22November 18, 2022作业标准记得牢，驾轻就熟除烦恼。2022年11月18日星期五2时22分27秒02:22:2718 November 2022好的事情马上就会到来，一切都是最好的安排。上午2时22分27秒上午2时22分02:22:2722.11.18一马当先，全员举绩，梅开二度，业绩保底。22.11.1822.11.1802:2202:22:2702:22:27Nov-22牢记安全之责，善谋安全之策，力务安全之实。2022年11月18日星期五2时22分27秒Friday, November 18, 2022相信相信得力量。22.11.182022年11月18日星期五2时22分27秒22.11.18,谢谢大家！,树立质量法制观念、提高全员质量意识。9月-229月-22Sa,
