基于粗糙描述逻辑的不精确时态知识表示研究

张贤坤，刘 栋，李乐明

（1.天津科技大学 计算机科学与信息工程学院，天津300222；2.天津大学 计算机科学与技术学院，天津300072；3.河南师范大学 计算机与信息技术学院，河南 新乡453007；4.易泰达科技有限公司，天津300457）

0 引 言

描述逻辑 （description logic，DL）又称为术语逻辑，是由概念、角色、个体以及概念和角色的构造子所组成的可判定的一阶谓词逻辑子集，具有较强的知识表示能力，能够对客观世界概念和角色进行表示和推理，并在许多领域得到应用［1］。但经典描述逻辑不适合不精确信息的知识表示与推理，因此，通过对经典描述逻辑的扩展，实现不精确信息的知识表示与推理研究已成为近年来的研究热点，并提出了模糊描述逻辑 （fuzzy DLs）［2］、概率描述逻辑（probabilistic DLs）［3］、粗糙描述逻辑 （rough DLs）［4］和模糊粗糙描述逻辑 （rough fuzzy DLs）［5］等。虽然这些扩展从不同侧面实现了不精确知识的描述，但是由于没有深入考虑不精确时态知识特点，不能适应不精确时态知识的表示与推理的需要。不精确时态知识是信息系统的重要内容，为了充分支持不精确时态知识的表示和推理，本文在粗糙描述逻辑中定义不精确时态算子和推理规则，实现不精确时态知识的语义表示和推理。后续内容安排如下：第一部分综述了不精确时态逻辑的相关研究；第二部分介绍了粗糙集理论及粗糙描述逻辑；第三部分给出了粗糙时态描述逻辑的形式化定义，并给出了可靠性和完备性的证明；第四部分通过实例给出了粗糙时态描述逻辑的具体应用；……