第二章人工智能逻辑(描述逻辑).pptVIP

史忠植 高级人工智能 高级人工智能 第二章 人工智能逻辑 描 述 逻 辑 Description Logics 1 什么是描述逻辑(DL)？ 一种基于对象的知识表示的形式化， 也叫概念表示语言或术语逻辑。 建立在概念和关系(Role)之上 －概念解释为对象的集合 －关系解释为对象之间的二元关系 源于语义网络和KL-ONE 是一阶逻辑FOL的一个可判定的子集 具有合适定义的语义(基于逻辑) 特点 ◆是以往表示工具的逻辑重构和统一形式化 － 框架系统 (Frame-based systems) － 语义网络 (Semantic Networks) － 面向对象表示 (OO representation) － 语义数据模型 (Semantic data models) － 类型系统 (Type systems) － 特征逻辑 (Feature Logics) ◆ 具有很强的表达能力 ◆ 是可判定的，总能保证推理算法终止 2 为什么用描述逻辑？ 4 描述逻辑的体系结构 一个描述逻辑系统包含四个基本组成部分： 1）表示概念和关系（Role）的构造集 2）Tbox——关于概念术语的断言 3）Abox——关于个体的断言 4）Tbox和Abox上的推理机制。 一个解释I满足： a : C iff aI ∈ CI a,b:R iff aI, bI