Non-Redundant Implicational Base of Many-Valued Context Using SAT

Authors

  • Taufiq Hidayat Fakulti Teknologi Maklumat dan Komunikasi, Universiti Teknikal Malaysia Melaka, Hang Tuah Jaya, 76100 Durian Tunggal, Melaka, Malaysia and Department of Informatics, Islamic University of Indonesia, 55584 Yogyakarta, Indonesia
  • Asmala bin Ahmad Fakulti Teknologi Maklumat dan Komunikasi, Universiti Teknikal Malaysia Melaka, Hang Tuah Jaya, 76100 Durian Tunggal, Melaka, Malaysia
  • Mohammad Ishak bin Desa Fakulti Teknologi Maklumat dan Komunikasi, Universiti Teknikal Malaysia Melaka, Hang Tuah Jaya, 76100 Durian Tunggal, Melaka, Malaysia

DOI:

https://doi.org/10.31577/cai_2021_2_368

Keywords:

Attribute implication, background knowledge, SAT problem

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2021-10-12

How to Cite

Hidayat, T., bin Ahmad, A., & Ishak bin Desa, M. (2021). Non-Redundant Implicational Base of Many-Valued Context Using SAT. Computing and Informatics, 40(2), 368–386. https://doi.org/10.31577/cai_2021_2_368