第二章描述逻辑基础.doc

第二章 描述逻辑基础 概述 本章简单介绍了表示、推理知识的形式语言：描述逻辑。首先，给出了DL基本概念的简短综述；然后，介绍了句法和语义，包括应用在系统中或在文献中提到的基本结构，以及这些结构被用来建造知识库的方法；最后，定义了典型的推理问题，展现了它们是如何相互联系的，并且描述了解决这些问题的不同方法。在本章中只简单提到的一些主题在接下来的章节中会有更为详细地介绍。 2.1 简介 在前一章中已经概略提到，DLs是知识表示体系族的最近才使用的名字，首先，通过定义该领域内的相关概念（terminology），表示一个应用领域（the”world”）的知识；然后，使用这些概念指明出现在该领域（the world description）内的对象和个体的性质。正如DL的名字所显示的，这些语言的特点之一在于，不像他们的前辈一样，他们装备了一个形式的、基于逻辑的语义。另外一个显著的特点在于以推理为中心服务作为重点：推理允许我们从知识库中的外层知识得到蕴含在其内部的知识。DL支持出现在很多智能信息处理系统的应用中的推理模式，它也是人们用来构建和理解世界的：概念和个体的分类。概念的分类确定了给定的术语（terminology）中概念间的子概念/父概念的关系（在DL中称为包含），而且分类允许我们以包含层级的形式去构造术语。这种层级为不同概念间的联系提供了有用的信息，而且能被用来提高其他推理服务。个