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

摘要：

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

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

所属期刊栏目：38

分类号：TP181(自动化基础理论)

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

在线出版日期：2016-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1002-1006