Reducing concept lattices by means of a weaker notion of congruence
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916408390057984 |
|---|---|
| author | Aragón, Roberto G. Medina, Jesús Ramírez-Poussa, Eloísa |
| author_facet | Aragón, Roberto G. Medina, Jesús Ramírez-Poussa, Eloísa |
| contents | Attribute and size reductions are key issues in formal concept analysis. In this paper, we consider a special kind of equivalence relation to reduce concept lattices, which will be called local congruence. This equivalence relation is based on the notion of congruence on lattices, with the goal of losing as less information as possible and being suitable for the reduction of concept lattices. We analyze how the equivalence classes obtained from a local congruence can be ordered. Moreover, different properties related to the algebraic structure of the whole set of local congruences are also presented. Finally, a procedure to reduce concept lattices by the new weaker notion of congruence is introduced. This procedure can be applied to the classical and fuzzy formal concept analysis frameworks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_14915 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Reducing concept lattices by means of a weaker notion of congruence Aragón, Roberto G. Medina, Jesús Ramírez-Poussa, Eloísa Data Structures and Algorithms Attribute and size reductions are key issues in formal concept analysis. In this paper, we consider a special kind of equivalence relation to reduce concept lattices, which will be called local congruence. This equivalence relation is based on the notion of congruence on lattices, with the goal of losing as less information as possible and being suitable for the reduction of concept lattices. We analyze how the equivalence classes obtained from a local congruence can be ordered. Moreover, different properties related to the algebraic structure of the whole set of local congruences are also presented. Finally, a procedure to reduce concept lattices by the new weaker notion of congruence is introduced. This procedure can be applied to the classical and fuzzy formal concept analysis frameworks. |
| title | Reducing concept lattices by means of a weaker notion of congruence |
| topic | Data Structures and Algorithms |
| url | https://arxiv.org/abs/2409.14915 |