1. 首页
  2. 数据库
  3. 其它
  4. 支持空间推理的模糊描述逻辑Fuzzy ALCRP(D)

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

上传者: 2021-02-23 21:21:31上传 PDF文件 425.12KB 热度 15次
描述逻辑ALCRP(D)在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过以描述逻辑ALCRP(D)的模糊扩展为例,构建出模糊描述逻辑Fuzzy-ALCRP(D),给出Fuzzy-ALCRP(D)的Tableau判定算法,并给出一个Fuzzy-ALCRP(D)在模糊RCC8空间中的推理实例。
用户评论