Abstract:Covering-based rough set theory is a useful tool to deal with inexact, uncertain, or vague knowledge in information systems. Geometric lattice has been widely used in diverse fields, especially search algorithm design, which plays an important role in covering reductions. In this paper, we construct three geometric lattice structures of covering-based rough sets through matroids and study the relationship among them. First, a geometric lattice structure of covering-based rough sets is established through the transversal matroid induced by a covering. Then its characteristics, such as atoms, modular elements, and modular pairs, are studied. We also construct a one-to-one correspondence between this type of geometric lattices and transversal matroids in the context of covering-based rough sets. Second, we present three sufficient and necessary conditions for two types of covering upper approximation operators to be closure operators of matroids. We also represent two types of matroids through closure axioms and then obtain two geometric lattice structures of covering-based rough sets. Third, we study the relationship among these three geometric lattice structures. Some core concepts such as reducible elements in covering-based rough sets are investigated with geometric lattices. In a word, this work points out an interesting view, namely, geometric lattice, to study covering-based rough sets.

Matroids Arising From Nested Sequences of Flats In Projective And Affine Geometries

Unavoidable Flats in Matroids Representable over Prime Fields

Geometric Lattice Structure of Covering-Based Rough Sets Through Matroids

Decompositions of [math]-Matroids Using Cyclic Flats

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Matroids and amplitudes

Graph Curve Matroids

Finitary affine oriented matroids

Multimatroids and rational curves with cyclic action

Adjoints of matroids

Computing the Tutte Polynomial of a Matroid from its Lattice of Cyclic Flats

Self-dual matroids from canonical curves

Projective Geometries and Simple Pointed Matroids as $\mathbb{F}_1$-modules

Extending matroid classes closed under flats

Liftable Point-Line Configurations: Defining Equations and Irreducibility of Associated Matroid and Circuit Varieties

The cyclic flats of a q-matroid

An Intersection Matrix for Affine Hyperplane Arrangements

Regular polygons, line operators, and elliptic modular surfaces as realization spaces of matroids

Badly approximable grids and k-divergent lattices

Matroids arisen from labeled seeds