-
题名一种基于符号变换的描述逻辑ALC超协调推理算法
- 1
-
-
作者
张小旺
肖国辉
-
机构
北京大学信息科学系
安徽大学数学科学学院
维也纳技术大学信息系统研究所
-
出处
《计算机科学》
CSCD
北大核心
2011年第3期206-212,共7页
-
基金
国家自然科学基金(60973003)资助
-
文摘
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
-
关键词
语义互联网
描述逻辑alc
表演算
超协调表演算
不协调性处理
-
Keywords
Semantic Web
Description logic alc
Tableau
Paraconsistent tableau
Inconsistency handling
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名具有两种否定的描述逻辑系统MALC
被引量：1
- 2
-
-
作者
程天笑
潘正华
-
机构
江南大学理学院
-
出处
《计算机工程与科学》
CSCD
2008年第11期65-67,91,共4页
-
基金
国家自然科学基金资助项目(60575038)
-
文摘
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。
-
关键词
描述逻辑alc
中介逻辑
中介无穷值语义模型
-
Keywords
description logic alc medium logic
infinite valued model of medium proposition logic
-
分类号
O159
[理学—基础数学]
-
