描述逻辑的本质及其自然推演系统-北京大学哲学系.pdfVIP

描述逻辑的本质及其 自然推演系统 马丽 逻辑、语言与认知中心 北京大学 描述逻辑作为一种形式化的知识表示方法，在人工智能及计算机领 域被广泛应用。在计算机领域，描述逻辑一般是被当做表达工具直接 被使用。虽然描述逻辑 的各种语言与一阶逻辑、 多模态逻辑 （ ）、命题动态逻辑 、演算、 安保片段 （ ）、分级模态逻辑 （ ） 都有对应理论方面 的研究，但是这些研究仅在语言表达力方面做 了比 较。描述逻辑 的各语言背后的逻辑是什么，是否有自然推演系统甚至 能否公理化等 问题在描述逻辑 的研究进程中迄今没有相关研究。本文 通过描述逻辑 的最小语言与一阶逻辑 的一个可判定片段 之 间的关系试 图揭示描述逻辑 的本质。本文给 出了描述逻辑 的一个自 然推演系统。 关键词 ： 描述逻辑，一阶逻辑，可判定片段， 自然推演系统 描述逻辑的语法 初始符号 ： 个体常元集合 角色集合： 原子概念集合： 逻辑常项： 语言中的概念 其 中： ：顶概念，技术符号，用于生成复合概念 ：底概念，技术符号，用于生成复合概念 ：原子概念 ：原子概念的否定 语言只允许对原子概念否定，复合概念没有否 定 ：概念的交 值约束 有限制的存在变量 语言的公式 为 的概念，，为 的角色，， 为个体常元 用语言表达的一个具体领域的知识库 ： 概念公理集 ：一个一般概念包含 形如： ， 是概念。一个是一个概念公理的有穷集合。 对象断言公理集 ： 一个概念断言是形如的公式。 一个关系断言是形如 的公式。 一个是一个断言公理的有穷集合。 语言的语义： 的模型是 （）其 中是一个解释函数，是一个非空个体域。 给每一个原子概念指派一个集合 ，给每一个角色指派一个二元 关系 。通过下面定义，给出 中概念和关系的语义解释。 小结 ： 从描述逻辑 的语法和语义可知，其语言有以下几个特点。 描述逻辑表达谓词时摆脱 了个体变元。这样表达相对一阶语言而言更 加简洁，并且区分了思想层面和对象层面 的知识。概念和角色表达 的 是思想层面 的东西，而对象表达 的是现实世界的东西。也可以说是区 分了理论知识与实际知识。先描述概念之间、角色之间的关系，然后 再断言哪些个体具有什么概念或者关系，如此表达层次分明。这是描 述逻辑语言的一