第02-2章 人工智能逻辑(描述逻辑).pptVIP

第二章 人工智能逻辑 主要内容 8.1 什么是描述逻辑(DL)？ 特点 8.2 为什么用描述逻辑？ 4 描述逻辑的体系结构 4）语法和语义 6 描述逻辑中的推理 5）可满足性检测算法——Tableaux算法 我们的工作 ◆带缺省的描述逻辑 定义 一个缺省规则是形如 这样的表达式， 其中C、D、E为概念名，x是一个变元。C(x)称为前提条件，D(x)称为检验条件(缺省)，E(x)称为缺省的结论。 定义1.2 一个知识库是一个三元组T, A, D，其中T为Tbox，A为Abox，D为缺省规则集。 ◆面向主体的动态描述逻辑 提出面向主体的动态描述逻辑，用来描述主体 中的动态知识以及推理。 描述逻辑 动态逻辑 ＋ 主体 面向主体的 动态描述逻辑 描述逻辑最开始只是用来表示静态知识的。为了考虑在时间上的变化，或者在一定动作下的变化，以及保持其语言的相对简单性，很自然地我们需要通过相应的模态算子来扩展它，以保留其命题模态状态。 描述逻辑与语义Web有何区别与联系？ 思 考 描述逻辑与Prolog有何区别与联系？ 描述逻辑可以在哪些方面进行扩展与完善？ 参考文献 / http://www.cs.man.ac.uk/~horrocks/Slides/index.html http://www.cs.man.ac.uk/~franconi/dl/course/ 史忠植 董明楷 蒋运承 张海俊. 语义Web 的逻辑基础. 中国科学 E 辑 信息科学 2004, 34(10): 1123-1138 史忠植 高级人工智能 * 高级人工智能 第二章 人工智能逻辑 史忠植 中国科学院计算技术研究所 描 述 逻 辑 Description Logics Advanced Artificial Intelligence 2.1 逻辑-----重要的形式工具 2.2 非单调逻辑 2.3 默认逻辑 2.4 限定逻辑 2.5 自认知逻辑 2.6 真值维护系统 2.7 情景演算的逻辑基础 2.8 动态描述逻辑 ◆ 什么是描述逻辑？ ◆ 为什么用描述逻辑？ ◆ 描述逻辑的研究进展 ◆ 描述逻辑的体系结构 ◆ 描述逻辑的构造算子 ◆ 描述逻辑的推理问题 ◆ 我们的工作 一种基于对象的知识表示的形式化，也叫概念表示语言或术语逻辑。 建立在概念和关系(Role)之上 －概念解释为对象的集合 －关系解释为对象之间的二元关系 源于语义网络和KL-ONE 是一阶逻辑FOL的一个可判定的子集 具有合适定义的语义(基于逻辑) ◆是以往表示工具的逻辑重构和统一形式化 － 框架系统 (Frame-based systems) － 语义网络 (Semantic Networks) － 面向对象表示 (OO representation) － 语义数据模型 (Semantic data models) － 类型系统 (Type systems) － 特征逻辑 (Feature Logics) ◆ 具有很强的表达能力 ◆ 是可判定的，总能保证推理算法终止 描述逻辑的应用 ◆ 概念建模 ◆ 查询优化和视图维护 ◆ 自然语言语义 ◆ 智能信息集成 ◆ 信息存取和智能接口 ◆ 工程的形式化规范 ◆ 术语学和本体论 ◆ 规划 ◆ … 若直接使用一阶逻辑，而不附加任何约束，则： ◆ 知识的结构将被破坏，这样就不能用来驱动推理 ◆ 对获得可判定性和有效的推理问题来说，其表达 能力太高，（也许是太抽象了） ◆ 对兴趣表达，但仍然可判定的理论，其推理能力太低。 DL的重要特征是： ◆ 很强的表达能力； ◆ 可判定性，它能保证推理算法总能停止，并返回正确的结果。 在众多知识表示的形式化方法中，描述逻辑在十多年来受到人们的特别关注，主要原因在于以下三点 : ◆ 它们有清晰的模型-理论机制; ◆ 它们很适合于通过概念分类学来表示应用领域； ◆ 它们提供了很用的推理服务。 它们可以被认为是从基于框架的表示形式化向着精确的语义特征方向发展。此外，描述逻辑将分类学中表示和推理（专业推理）与在分类学中项的事实或实例的表示和推理（断言推理）区别开来。 3 描述逻辑的研究进展 ◆ 描述逻辑的基础研究 研究描述逻辑的构造算子、表示和推理的基本问题，如可满足性、包含检测、一致性、可判定性等。 一般都在最基本的ALC的基础上在扩展一些构造算子，如数量约束、逆关系、特征函数、关系的复合等。 TBox和Abox