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

Taufiq Hidayat, Asmala bin Ahmad, Mohammad Ishak bin Desa

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)368-386
Number of pages19
JournalComputing and Informatics
Issue number2
Publication statusPublished - 1 Oct 2021
Externally publishedYes


  • Attribute implication
  • Background knowledge
  • SAT problem


Dive into the research topics of 'Non-redundant implicational base of many-valued context using sat'. Together they form a unique fingerprint.

Cite this