基本描述逻辑.docVIP

基本描述逻辑(Basic Description Logics) 摘要 本章将DL作为一种表示知识和推理的正式语言进行介绍。首先，对DL的思想作简要介绍。然后，引入语法和语义，覆盖系统中将要用到的基本构造子，以及这些构造子用于构建知识库的用法。最后，定义了典型的推理问题，展示它们是如何相互关联的，并描述解决这些问题的不同方法。本章中一些简要提及的问题，将在接下来几章中进行详细介绍。 2.1 绪论 如上章所勾画的，DL是知识表示形式语义化的的最新名词，它首先定义领域的相关概念（术语），然后用这些概念说明领域中对象和个体的属性。正如描述逻辑名字所述，这些语言的一个特征就是，不像其他的前辈，它们采用形式的、基于逻辑的语义。另一个显著的特征就是其具有推理能力：能根据明确表示的知识中得到潜在的知识。DL支持许多智能信息处理系统中的推理模式，人们也经常采用这种推理模式来理解世界：进行概念和个体的分类。概念的分类决定了给定术语中概念间的子概念/父概念的关系(DL中称作包含关系)，因此允许我们构造术语的包含层次。这种层次对于不同概念间的关系提供有用信息，并能加速其他推理服务。个体间(或对象)的分类决定了给定个体是否是一个确定概念的实例(即，该实例关系被个体和概念定义描述所暗含)。因此，他能提供单个个体属性的有用信息。进一步的，实例关系可能引发可加入到知识库中附加的应用规则。 由于DL是一个知识表示形式化，并且在KR中，我们可以假设一个KR系统能在合理时间内回答用户的一系列问题，推理过程DL研究者感兴趣于决策过程，即，不像一阶逻辑定理提供者，这些过程应该总能中止，无论是对于正面回答还是负面回答。由于保证在给定时间内给出答案并不意味着答案会在合理时间内给出，因此考虑一个给定DL的计算复杂度是可判定推理问题的重要事务。推理问题的可判定性和复杂度取决于手边DL的表示能力。一方面非常富有表示力的Dls通常拥有高复杂度的推理问题，或者是不可判定的。另一方面，非常弱的DLs（带高效推理过程）可能不能有效表示一个给定应用中的重要概念。正如上章所述，衡量DLs的表示力和复杂度是DL研究中的最重要的一个问题。 描述逻辑从称作“结构化继承网络”中延伸过来，其用于克服早期语义网络和框架的模糊性，并且在KL-ONE系统中首次被实现。接下来的三个思想，首先被Brachmans的工作在结构化继承网络中被提出，很大程度上影响了后来DLs的发展： 基本的寓意构造模块是原子概念（一元谓词），原子规则（二元谓词），和个体（常量）。 语言的表示能力限制于它采用构造子中一个相对较小的集合(认识论上足够的)，来构造复杂的概念和作用。 概念和个体的潜在知识能在推理过程的 自动推理得到。尤其的概念间的包含关系和个体与概念间的实例关系骑着非常重要的作用：不像语义网络中的IS-A链接完全由用户引入，包含关系和实例关系从概念定义和个体属性中推理得到。 在第一个如KL-ONE的基于一阶逻辑的KR语言被提出后，推理问题如包含也可有精确意义，这导致诸如此类语言计算属性的首次研究。早期的DL系统表达能力太强，导致包含问题的不可判定性。首个坏情况的复杂结果证明包含问题是难以处理的[Levesque and Brachman, 1987; Nebel, 1988]。正如上章所述，工作的起始点是对KL-ONE语言中推理的坏情况复杂度的全面调查（详见第三章）。 后面将证明，然而，推理的不可处理性并不禁止DL应用与实践，假设采用了富有经验的优化技术(见9章)。当实现一个DL系统时，基本推理算法的有效实现并不是唯一问题。一方面，延伸的系统服务（如分类，即，构造概念间的包含层次）也同样必须被优化[Baader1994].另一方面，需要一个好的用户和应用编程接口。最近实现的DL系统是为一个规则语言，可被看做一个非常简单但有效的编程机制提供。 2.2节引入了DL的基本形式化。通过一个原型的例子，首先介绍描述概念的形式语义(即描述语言)，然后介绍术语(TBox)和断言形式语义。接下来，介绍基本的推理问题并证明他们见的相互关系。最后，定义洗过实现的DL系统中可获得的规则语言。 2.3节描述DLs中解决基本推理问题的算法。在简要概况结构化的包含算法后，集中介绍基于场景的算法。最后，对推理问题的术语进行评价。 最后2.4节中描述在2.2节中介绍的描述语言原型家族中未包含的其他的语言构造子，这些构造子在一些DL系统中可获得。 2.2 基本形式语义定义 基于DL的知识表示系统提供了建立知识库、内容推理以及操纵的便利性。图2.1概述了DL系统的结构： 知识库（KB）包含两部分，TBox和ABox。TBox引入了术语(terminology)，即，应用领域中的词汇，而ABox中包含了术语中的个体的断言(ass