The Birkhoff Completion of Finite Lattices

被引:0
作者
Abdulla, Mohammad [1 ,2 ]
Hirth, Johannes [1 ,2 ]
Stumme, Gerd [1 ,2 ]
机构
[1] Univ Kassel, Knowledge & Data Engn Grp, Kassel, Germany
[2] Univ Kassel, Interdisciplinary Res Ctr Informat Syst Design, Kassel, Germany
来源
CONCEPTUAL KNOWLEDGE STRUCTURES, CONCEPTS 2024 | 2024年 / 14914卷
关键词
Formal Concept Analysis; Distributive Lattices; Implicational Theories;
D O I
10.1007/978-3-031-67868-4_2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We introduce the Birkhoff completion as the smallest distributive lattice in which a given finite lattice can be embedded as semilattice. We discuss its relationship to implicational theories, in particular to R. Wille's simply-implicational theories. By an example, we show how the Birkhoff completion can be used as a tool for ordinal data science.
引用
收藏
页码:20 / 35
页数:16
相关论文
共 11 条
[1]   The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey [J].
Caspard, N ;
Monjardet, B .
DISCRETE APPLIED MATHEMATICS, 2003, 127 (02) :241-269
[2]  
Davey B.A., 2002, Introduction to Lattices and Order
[3]  
Ganter B., 1999, Formal concept analysis mathematical foundations, DOI DOI 10.1007/978-3-642-59830-2
[4]   A study of algorithms relating distributive lattices, median graphs, and Formal Concept Analysis [J].
Gely, Alain ;
Couceiro, Miguel ;
Miclet, Laurent ;
Napoli, Amedeo .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2022, 142 :370-382
[5]  
Hanika Tom, 2019, ICFCA SUPPLEMENTS CE, V2378, P70
[6]  
Priss U, 2013, LECT NOTES ARTIF INT, V7735, P311
[7]  
Stumme G, 1998, ORDER, V14, P179
[8]  
Wikipedia, 2024, British isles Euler diagram
[9]  
Wikipedia, 2024, Administrative geography of the United Kingdom
[10]   Truncated distributive lattices: Conceptual structures of simple-implicational theories - In memory of Ivan Rival [J].
Wille, R .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2003, 20 (03) :229-238