Constructing a Knowledge Base for Gene Regulatory Processes by Attribute Exploration
Johannes Wollbold, Ulrike Gausmann, Bernhard Ganter · 2008
Interactive algorithm.Generates implications A !B between attribute sets of a givenformal context.An expert or a computer program decides about the general validityof the rule.No y counterexample.Yes y add A !B to the stem base of the context (sound, complete,minimal).Always yes: automatic algorithm.