# Rough concepts

## TL;DR

This paper introduces a novel approach to unify Rough Set Theory and Formal Concept Analysis by leveraging algebraic modal logic, viewing approximation spaces as enriched formal contexts.

## Contribution

It presents a new framework that connects Rough Set Theory and Formal Concept Analysis through algebraic modal logic and enriched formal contexts.

## Key findings

- Rough approximation spaces are modeled as enriched formal contexts.
- The approach bridges the gap between Rough Set Theory and Formal Concept Analysis.
- Provides a new algebraic perspective on approximation spaces.

## Abstract

The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based on formal contexts from Formal Concept Analysis.