A Tableaux Procedure for the Implication Problem for Association Rules
Wendy MacCaull · Studies in fuzziness and soft computing · 2001
Using a relational approach, we investigate the implication problem for association rules for contexts with 1. We provide sufficient conditions on the relations in an information frame with semistrong relations for the construction of a context with 1. We develop a Rasiowa/Sikorski-style relational calculus which is sound and complete for the implication problem for association rules. We show that this implication problem is decidable.