5月8日晚马丽作了题为描述逻辑的本质及其自然推演系统的报告。

摘要：

描述逻辑作为一种形式化的知识表示方法，在人工智能及计算机领

域被广泛应用。在计算机领域，描述逻辑一般是被当做表达工具直接

被使用。虽然描述逻辑的各种语言与一阶逻辑、多模态逻辑（multi-

modal logic）、命题动态逻辑(propositional dynamic logic)、-演算、

安保片段（guarded fregment）、分级模态逻辑（graded modal logic）

都有对应理论方面的研究，但是这些研究仅在语言表达力方面做了比

较。描述逻辑的各语言背后的逻辑是什么，是否有自然推演系统甚至

能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文

通过描述逻辑的最小语言AL与一阶逻辑的一个可判定片段FO2;2;=之

间的关系试图揭示描述逻辑的本质。本文给出了描述逻辑AL的一个自

然推演系统。