arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1209.5569cs.AI
收藏

两类覆盖粗糙集下近似不动点的格结构

Lattice structures of fixed points of the lower approximations of two types of covering-based rough sets

Zhangzhou Normal University(漳州师范学院)

Qingyin Li, William Zhu

摘要:

覆盖是一种常见的数据结构,基于覆盖的粗糙集理论是处理这种数据的有效工具。格是一种重要的代数结构,在研究某些类型的广义粗糙集时有着广泛的应用。本文提出了两类集合,并研究了这两类集合成为格结构的条件。这两个集合分别由第一类覆盖粗糙集和第六类覆盖粗糙集的下近似的不动点组成。这两个集合分别称为邻域不动点集和覆盖不动点集。首先,对于任意覆盖,邻域不动点集是一个完备分配格,同时也是一个双p-代数。特别地,当邻域形成对宇宙的划分时,邻域的不动点集既是布尔格又是双Stone代数。第二,对任何覆盖,覆盖的不动点集都是完备格,当覆盖是一元时,覆盖的不动点集成为分配格和双p-代数。当复盖是一元时,它是分配格和双p-代数。特别地,当覆盖的约化形成论域的一个划分时,覆盖的不动点集既是布尔格又是双Stone代数。

英文摘要:

Covering is a common type of data structure and covering-based rough set theory is an efficient tool to process this data. Lattice is an important algebraic structure and used extensively in investigating some types of generalized rough sets. In this paper, we propose two family of sets and study the conditions that these two sets become some lattice structures. These two sets are consisted by the fixed point of the lower approximations of the first type and the sixth type of covering-based rough sets, respectively. These two sets are called the fixed point set of neighborhoods and the fixed point set of covering, respectively. First, for any covering, the fixed point set of neighborhoods is a complete and distributive lattice, at the same time, it is also a double p-algebra. Especially, when the neighborhood forms a partition of the universe, the fixed point set of neighborhoods is both a boolean lattice and a double Stone algebra. Second, for any covering, the fixed point set of covering is a complete lattice.When the covering is unary, the fixed point set of covering becomes a distributive lattice and a double p-algebra. a distributive lattice and a double p-algebra when the covering is unary. Especially, when the reduction of the covering forms a partition of the universe, the fixed point set of covering is both a boolean lattice and a double Stone algebra.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑