基于形式概念分析的粗糙描述逻辑研究

来源：计算机工程与科学杂志2016年第5期北京时间：

作者：闫之焕

单位：电子科技大学数学科学学院,成都 611731

摘要：以往的粗糙描述逻辑(RDL)都是基于传统的粗糙集理论。实际上,经常会出现用形式概念表示一个概念的情况,此时一个自然的问题就是如何处理可能出现的不确定概念。把形式概念分析与粗糙集理论联系起来做为基础,给出可定义概念和不可定义概念的定义,并给出不可定义概念的上近似和下近似,这里的近似定义虽然不同于传统的粗糙近似算子形式,但是有很好的实用性。基于新的上下近似定义,把一组近似算子引入到描述逻辑的结构中，形成一种新的粗糙描述逻辑。给出了相应的语法和语义,最后还给出了扩展的Tableau算法,可以用来解决相应的推理问题。关键词：

关键词：形式概念,上(下)近似,粗糙集,描述逻辑,Tableau算法,

基金资助：国家自然科学基金(11201053,11026081)