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

• 作者: 姬柳静 孟浩 覃裕初 钟艳如
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 模糊描述逻辑 Tableau算法 模糊空间推理
• 年，卷（期）: 2012,（1）
• 页码范围: 23-28
• 分类号: TP301
• 字数: 7063字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.01.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟艳如	桂林电子科技大学计算机科学与工程学院	96	668	13.0	21.0
2	覃裕初	桂林电子科技大学计算机科学与工程学院	5	68	3.0	5.0
3	姬柳静	桂林电子科技大学计算机科学与工程学院	1	1	1.0	1.0
4	孟浩	桂林电子科技大学计算机科学与工程学院	1	1	1.0	1.0