支持空间推理的模糊描述逻辑Fuzzy-ALCRP(D)

摘要：

描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理.通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP (D),给出Fuzzy-ALCRP (D)的Tableau判定算法,并给出一个Fuzzy-ALCRP (D)在模糊RCC8空间中的推理实例.

关键词：模糊描述逻辑、Tableau算法、模糊空间推理

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

在线出版日期：2012-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：23-28