描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识.描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究.本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质.最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明.