粗集中上下近似运算的逻辑性质  

The Logical Properties of Lower and Upper Approximation Operations in Rough Sets

作　　者：祝峰[1] 何华灿[1] 

机构地区：[1]西北工业大学计算机系,西安710072

出　　处：《计算机科学》2000年第11期79-81,78,共4页Computer Science

基　　金：国家教委博士点基金;陕西省自然科学基金

摘　　要：1 引论近年来,粗集理论的实际应用与理论探讨已成为计算机科学中的一个热点问题。1995年Pawlak曾在文[6]中指出,粗集的逻辑性质研究将是今后粗集理论的一个重要同题。本文正是通过深入研究拓扑布尔代数与粗集的关系,给出了关于有限拓扑布尔代数的表示定理,从逻辑上全面刻画了粗集中上下近似运算这一核心概念。In this paper,we discuss the logical properties of rough sets through topological boolean algebras and closure topological boolean algebras. We get representation theorems of finite topological boolean algebras and closure topological boolean algebras under the upper-lower relation condition, which establish the relationship between topological boolean algebras or closure topological boolean algebras and rough sets in the general sets are similar to the Stone's representation theorem of boolean algebras.

关 键 词：粗集 上下近似运算 逻辑性质 布尔代数 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]