Rule Acquisition in Formal Decision Contexts Based on Formal, Object-Oriented and Property-Oriented Concept Lattices

Algorithm 2

Deriving the nonredundant - mixed rules from a formal decision context.

Input: A formal decision context .

Output: All the nonredundant - mixed rules of .

   (1)  Initialize .

   (2) Construct the property-oriented concept lattice and the formal concept lattice .

   (3) For every with and , if and ,

      then .

   (4) Output and end the algorithm.