马世龙老师,描述逻辑.pptVIP

描述逻辑及其应用简介 科学技术研究前沿系列讲座 马世龙 北京航空航天大学计算机学院 摘 要 本讲座简要综述介绍描述逻辑及其应用。 首先，通过回顾传统的知识表示研究方法，介 绍描述逻辑的起源，给出描述逻辑的基本成分和基 本理论。 然后，介绍描述逻辑研究中的一些理论和技术 问题，包括推理的复杂性问题、基于描述逻辑的知 识表示、描述逻辑系统的实现和优化技术和基于描 述逻辑的概念建模等。 摘 要（续） 最后，介绍描述逻辑在很多领域中的 应用，包括， 软件工程中的构件和构件组装 服务的语义说明与服务集成 基于本体的领域知识库 数字图书馆 基于Web的信息系统和数据库管理。 1. 知识表示与描述逻辑 1.1 传统知识表示系统 知识表示是对知识的描述，用一些约定的符号、图表 把知识编码成一组计算机可以接受的数据结构。 通过模拟信息在人类大脑中的存储方式和处理方式， 知识表示研究计算机信息处理中的知识的形式描述方 式，旨在利用计算机方便地表示、存储、处理和利用 人类的知识。 1. 知识表示与描述逻辑（续） 知识的形式化描述方式规定一种无歧义的语 言或者具有规范定义语法和语义的“符号表 示”方法。 符号表示是指，用符号和符号结构来表示各种概念 和概念之间的关系。 每一种表示方法实际上是一种数据结构，将这种数 据