基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
由于传统的描述逻辑系统不适于表示不确定的、模糊的知识,本文将基于粗糙集语义的下近似和上近似引入描述逻辑系统中,使用一种简单的方法将传统描述逻辑进行扩展,介绍了粗糙描述逻辑的概念,在粗糙描述逻辑系统中我们可以使用适当的子概念和超概念来对某些模糊的知识进行约束表示.本文主要讨论描述逻辑ALC的粗糙扩展,介绍扩展后所得到的粗糙描述逻辑RALC的语法、语义和相关推理问题,探讨了使用粗糙描述逻辑来对不精确概念进行建模的基本思想,最后提出了一个RALC的可满足性问题的推理算法.本文的工作可以使得在描述逻辑中对不确定的知识进行形式化描述和推理更加方便.
推荐文章
描述逻辑的动态时序扩展
动态时序描述逻辑
动作推理
表判定算法
语义Web服务
基于扩展投影时序逻辑的组合Web服务描述与验证
组合Web服务
投影时序逻辑
形式化验证
一种基于扩展描述逻辑的事件实例检测方法
描述逻辑
事件实例检测
事件
事件类
Tableau算法在粗糙描述逻辑中的扩展应用
粗糙集
等价关系
描述逻辑
Tableau算法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 描述逻辑的粗糙扩展研究
来源期刊 计算机工程与科学 学科 工学
关键词 粗糙描述逻辑 描述逻辑 粗糙集 近似概念
年,卷(期) 2011,(2) 所属期刊栏目
研究方向 页码范围 137-141
页数 分类号 TP18
字数 4110字 语种 中文
DOI 10.3969/j.issn.1007-130X.2011.02.027
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王岁花 河南师范大学计算机与信息技术学院 45 312 8.0 16.0
2 赵爱玲 河南师范大学计算机与信息技术学院 4 24 2.0 4.0
3 魏涛 河南师范大学计算机与信息技术学院 1 9 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (3)
共引文献  (1)
参考文献  (5)
节点文献
引证文献  (9)
同被引文献  (9)
二级引证文献  (8)
1982(1)
  • 参考文献(1)
  • 二级参考文献(0)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(2)
  • 引证文献(2)
  • 二级引证文献(0)
2016(7)
  • 引证文献(4)
  • 二级引证文献(3)
2017(3)
  • 引证文献(1)
  • 二级引证文献(2)
2018(2)
  • 引证文献(0)
  • 二级引证文献(2)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
粗糙描述逻辑
描述逻辑
粗糙集
近似概念
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导