具有两种否定的描述逻辑系统MALC

否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展，大量的事实表明：信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集，并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词 引入描述逻辑ALC，建立了一个扩展的描述逻辑系统MALC，使其具有处理模模糊知识的能力。同时，文章给出了基于中介无穷值语义模型的语义解释；在推理机制上，给出了可满足性的定义和可满足性的Tableau算法。