Enumerating Pseudo-Intents in a Partial Order
Alexandre Bazin, Jean‐Gabriel Ganascia · Concept Lattices and their Applications · 2013
The enumeration of all the pseudo-intents of a formal context is usually based on a linear order on attribute sets, the lectic order. We propose an algorithm that uses the lattice structure of the set of intents and pseudo-intents to compute the Duquenne-Guigues basis. We argue that this method allows for ecient optimizations that reduce the required number of logical closures. We then show how it can be easily modified to also compute the Luxenburger basis.