A base for a knowledge space is a minimal family of knowledge states spanning the knowledge space, i.e., the base includes the minimal states sufficient to reconstruct the full knowledge space. A knowledge structure has a base only if it is a knowledge space.
Returns
A kbase, i.e. a set of sets where each subset represents one knowledge state of the base.