摘要
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。
Negative information plays an important role in knowledge representation and reasoning. With the development of information science,a lot of facts indicate that it is necessary to differentiate the contradiction relationship and the opposite relationship of concept and its negation. As a fragment of predicate logic, description logic didn＇t separate these two kinds of relationships. The paper introduces fuzzy negation C and opposite negation ～C into the basic description logic ALC. It proposes a new kind of description logic MALC with the ability to deal with fuzzy information. And then, with the extension of interpretive function,it provides an improved semantics for MALC which is based on a model of the infinite value of medium proposition logic and a tableau-based algorithm for MALC.
出处
《计算机工程与科学》
CSCD
2008年第11期65-67,91,共4页
Computer Engineering & Science
基金
国家自然科学基金资助项目(60575038)
关键词
描述逻辑ALC
中介逻辑
中介无穷值语义模型
description logic ALC medium logic
infinite valued model of medium proposition logic
