Incremental Computation of Concept Diagrams
Abstract
Suppose a formal context K=(G,M,I) is given, whose concept lattice B(K) with an attribute-additive concept diagram is already known, and an attribute column C=(G,{n},J) shall be inserted to or removed from it. This paper introduces and proves an incremental update algorithm for both tasks.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2019
- DOI:
- 10.48550/arXiv.1903.02593
- arXiv:
- arXiv:1903.02593
- Bibcode:
- 2019arXiv190302593K
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Supplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania