NON-REDUNDANT IMPLICATIONAL BASE OF MANY-VALUED CONTEXT USING SAT

Some attribute implications in an implicational base of a derived context of many-valued context can be inferred from some other attribute implications together with its scales. The scales are interpretation of some values in the many valued context therefore they are a prior or an existing knowledge. In knowledge discovery, the such attribute implications are redundant and cannot be considered as new knowledge. Therefore the attribute implicational should be eliminated. This paper shows that the redundancy problem exists and formalizes a model to check the redundancy.

Automated summary

In the derived context of a many-valued context, some attribute implications can be inferred from other attribute implications and their scales. These scales represent the interpretation of values in the many-valued context, which are considered as existing knowledge. This paper reveals the redundancy issue in such attribute implications and proposes a model to tackle this problem.