Non-redundant implicational base of many-valued context using SAT

• Main Authors: Hidayat, Taufiq, Ahmad, Asmala, Desa, Mohammad Ishak
• Format: Article
• Language: English
• Published: Slovak Academy of Sciences, Institute of Theatre and Film Research of the Center for Research in Art 2021
• Online Access: http://eprints.utem.edu.my/id/eprint/25504/3/5322-Article%20Text-14317-1-10-20211012.pdf; http://eprints.utem.edu.my/id/eprint/25504/; http://147.213.75.17/ojs/index.php/cai/article/view/2021_2_368
• Institution: Universiti Teknikal Malaysia Melaka

Some attribute implications in an implicational base of a derived con-text 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.