-
题名描述逻辑的粗糙扩展研究
被引量：4
- 1
-
-
作者
王岁花
赵爱玲
魏涛
-
机构
河南师范大学计算机与信息技术学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2011年第2期137-141,共5页
-
基金
河南省重点科技攻关计划资助项目(102102210409)
河南省教育厅基础研究项目(2009B520014)
-
文摘
由于传统的描述逻辑系统不适于表示不确定的、模糊的知识,本文将基于粗糙集语义的下近似和上近似引入描述逻辑系统中,使用一种简单的方法将传统描述逻辑进行扩展,介绍了粗糙描述逻辑的概念,在粗糙描述逻辑系统中我们可以使用适当的子概念和超概念来对某些模糊的知识进行约束表示。本文主要讨论描述逻辑ALC的粗糙扩展,介绍扩展后所得到的粗糙描述逻辑RALC的语法、语义和相关推理问题,探讨了使用粗糙描述逻辑来对不精确概念进行建模的基本思想,最后提出了一个RALC的可满足性问题的推理算法。本文的工作可以使得在描述逻辑中对不确定的知识进行形式化描述和推理更加方便。
-
关键词
粗糙描述逻辑
描述逻辑
粗糙集
近似概念
-
Keywords
rough description logic
description logic
rough set
approximate concept
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于形式概念分析的粗糙描述逻辑研究
被引量：1
- 2
-
-
作者
闫之焕
-
机构
电子科技大学数学科学学院
-
出处
《计算机工程与科学》
CSCD
北大核心
2016年第5期1002-1006,共5页
-
基金
国家自然科学基金(11201053
11026081)
-
文摘
以往的粗糙描述逻辑(RDL)都是基于传统的粗糙集理论。实际上,经常会出现用形式概念表示一个概念的情况,此时一个自然的问题就是如何处理可能出现的不确定概念。把形式概念分析与粗糙集理论联系起来做为基础,给出可定义概念和不可定义概念的定义,并给出不可定义概念的上近似和下近似,这里的近似定义虽然不同于传统的粗糙近似算子形式,但是有很好的实用性。基于新的上下近似定义,把一组近似算子引入到描述逻辑的结构中,形成一种新的粗糙描述逻辑。给出了相应的语法和语义,最后还给出了扩展的Tableau算法,可以用来解决相应的推理问题。
-
关键词
形式概念
上(下)近似
粗糙集
描述逻辑
TABLEAU算法
-
Keywords
formal concept
upper and lower approximations
rough set
description logic （DL）
Tab-leaux algorithm.
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名粗描述逻辑RALCQ的Tableau推理
- 3
-
-
作者
许禾
苗长运
-
机构
广西师范大学计算机科学与信息工程学院
-
出处
《电脑与电信》
2009年第12期73-75,共3页
-
文摘
基于描述逻辑ALCQ,通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及推理复杂性。
-
关键词
描述逻辑
粗描述逻辑
RALCQ
TABLEAU算法
-
Keywords
description logic
rough description logic
RALCQ
Tableau reasoning algorithm
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141
[自动化与计算机技术—控制科学与工程]
-
-
题名改进的粗糙描述逻辑框架
- 4
-
-
作者
闫之焕
雷银彬
-
机构
电子科技大学数学科学学院
-
出处
《计算机科学》
CSCD
北大核心
2016年第5期214-218,共5页
-
基金
国家自然科学基金项目(11201053
11026081)资助
-
文摘
已有的粗糙描述逻辑(RDLs)都是基于经典的粗糙集理论,也就是在讨论可以处理不确定信息的粗糙描述逻辑前首先要定义出论域中元素间的某种等价关系。事实上,人们经常会遇到用形式概念表示的对象域,这种情况下一个自然的问题就是:如何处理可能出现的不确定性概念?把形式概念分析与粗糙集理论联系起来作为基础,建立了两种新的粗糙描述逻辑。把文献[14]中Y.Y.Yao等提出的方法应用于新的RDLs,其中的上(下)近似算子分别用格论算子和集合论算子来定义。这里的近似的定义虽然不同于传统的粗糙近似算子形式,但是有很好的实用性。基于这个新颖的上(下)近似的定义,把这两组近似算子引入到描述逻辑的结构中形成两种粗糙描述逻辑FlALC和FsALC。给出了相应的语法和语义,最后还给出了扩展的Tableaux算法,其可以用来解决相应的推理问题。
-
关键词
形式概念
上近似
下近似
粗糙集
描述逻辑
-
Keywords
Formal concept
Upper approximation
Lower approximations
rough set
description logic
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名Tableau算法在粗糙描述逻辑中的扩展应用
- 5
-
-
作者
闫之焕
-
机构
电子科技大学数学科学学院
-
出处
《计算机技术与发展》
2015年第12期10-13,共4页
-
基金
国家自然科学基金资助项目(11201053
11026081)
-
文摘
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法,但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况,有的学者是把粗糙描述逻辑先通过一个转换函数转换为标准描述逻辑,然后再用Tableau算法实现推理,这就需要在Tableau算法中增加一些规则,这增加了算法不必要的工作。文中给出了粗糙描述逻辑中概念包含关系的一种新的推理的Tableau算法,在这种改进的算法中只需用到概念的子概念和出现在概念中的角色就可以判断一个概念的可满足性,并证明了它的正确性,通过实例说明了它的有效性。
-
关键词
粗糙集
等价关系
描述逻辑
TABLEAU算法
-
Keywords
rough set
equivalence relation
description logic
Tableau algorithm
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
