第一章 描述逻辑的介绍.doc

第一章 描述逻辑的介绍 摘要： 这篇介绍提出了了描述逻辑作为表示知识的形式化工具而发展的动力，以及用传统DL创建的所有系统下潜在的一些重要的基本概念。另外，我们还提供读者关于整本书的总揽和阅读的向导。 我们首先阐述描述逻辑和早先的语义网络和框架系统的关系，这代表了该领域的继承性。我们分析了过去工作所遇到的一些关键问题，然后，我们介绍了描述逻辑语言的特点和相关的推理技术。 描述逻辑语言被认为是知识表示系统的核心，它考虑到DL知识库的结构和相应的推理服务。然后将看到一些已经实现的基于描述逻辑的知识表示系统和第一个使用类似系统构造的应用。 最后，我们阐述了描述逻辑和计算机科学另外领域的关系。我们也讨论了基本的表述语言的一些扩展，包括将原先在实现系统中提出的和处理某些应用领域提出的一些特性集成进形式系统。 1．1简介 在知识表示和推理领域的研究通常关注能够有效的建立智能应用的提供高层世界描述方法。在这里所说的”智能”指系统在其明确表示的知识中发现隐含的结果的能力。这些系统因此被称为基于知识的系统。 知识表示的途径在20世纪70年代得到发展，这也是该领域广泛流行的时代，这些途径分为两个层次：基于逻辑的形式系统，这是从谓词积分演算（predicate calculus）可以毫无疑问的用来获得世界的事实的直觉而演化来的。非基于逻辑的表示的系统，这是从构造一个或更多的认知概念而发展的，比如，从人类经验或人类记忆和人类执行一些任务如算法模糊解决而产生的网络结构和基于规则的表示系统。尽管这些方法常常为专用的表示系统而开发的，但最终的形式化通常被期望能服务于一般的用途。换句话说，从不同的特定的思想（如早期的制造系统）创造的非逻辑系统演化为可作为通用目标的工具，期望能应用到不同的领域和不同类型的问题。 另一方面，因为一阶逻辑提供了非常有力和通用的机制，基于逻辑的途径从一开始就具有更广泛的目的。在一个基于逻辑的途径下，表示语言通常是一阶谓词的一个变量和验证逻辑序列的推理。在非逻辑途径下，常常基于用户图形接口，知识通过一些ad hoc数据结构来表示，推理也通过类似的操纵数据结构的ad hoc过程来完成。在这些特定的表示系统中，我们发现了语义网络和框架。语义网络是在Quillian的工作后发展的，该工作的目的是通过网络形状的认知结构来表示知识和系统的推理。以后的框架系统也有类似的目标，该系统依靠一个”框架”的概念作为一个原型和依赖在框架间表示关系的能力。虽然语义网络和框架具有重要的不同的不同点，但是在它们的认知直觉动机和特性上，两者有很多共同的基础。事实上，它们都被认为是网络结构，这里的网络结构针对的是表示个体的集合和它们之间的关系。因此，我们使用术语基于网络的结构来代表在语义网络和框架后潜在的网络。 由于它们更多的以人思考为中心的起源，基于网络的系统常被认为更具有吸引力以及从实际应用的观点看比逻辑系统更有效率。不幸的是由于它们缺乏精确的语义特征而不能完全让人满意。由此带来的最终的结果是，在许多情况下，尽管具有相同外观的组件和相同的关系名称，而每个系统的行为和另外的系统不相同。这就提出了一个问题即如何给表示系统提供语义，特别是给语义网络和框架提供语义，这有一个直觉就是通过挖掘层结构的概念可以获得表示的灵活性和推理的有效性。 一个重要的步骤是在这个方向上认识到框架（至少它们的核心特征）能够依靠一阶逻辑赋予语义。这种表示的基本元素以下列为特征的：一元谓词，表示个体的集合；二元谓词，表示个体间的关系。然而，这样的特点没有抓住语义网络和框架与逻辑相关的限制。事实上，虽然逻辑是指定这些结构意义的天然的基础，框架和语义网络（大多数）并不需要所有的一阶逻辑的机制，仅需要它的部分片断。另外，不同的表示语言的特征将带来不同的一阶逻辑的片断。这事实带来的最重要的后果是认识到在基于结构的表示中使用的典型的推理形式可以通过特定的推理技术来完成，而不必需要一阶逻辑理论证明。而且，在不同的一阶逻辑中的推理导致不同的计算复杂度问题。 后来带来的实现是，在标志术语系统下开始了描述逻辑领域的研究，重点是使用表示语言建立在建模领域基本的术语。后来，重点在语言承认的基于概念的构造集合，提出了概念语言的名称。在最近几年，注意力迁移到逻辑系统潜在的属性上，术语描述逻辑开始流行。 在本书中，我们主要使用术语“描述逻辑（DL）”来表示系统，但常使用“概念”指一个描述逻辑语言的表示，指代个体的集合；单词“术语”表示构造的层次结构用来提供重要领域的密集的表示。 描述逻辑的研究覆盖了理论基础以及知识表示系统的实现和一些领域的应用开发。这种开发已经非常成功。最关键的因素是研究的方法学，这是建立在理论和实践的相互紧密交互基础之上的。一方面，不同的基于描述逻辑的实现系统提供给不同表达能力的描述形式化一个平台，这