Cover Image

Non-redundant implicational base of formal context with constraints using SAT

An implicational base is knowledge extracted from a formal context. The implicational base of a formal context consists of attribute implications which are sound, complete, and non-redundant regarding to the formal context. Nonredundant means that each attribute implication in the implication base c...

Full description

Saved in:
Bibliographic Details
Main Authors: Hidayat, Taufiq, Ngo, Hea Choon, Ahmad, Asmala
Format: Article
Language:English
Published: PeerJ Inc. 2024
Online Access:http://eprints.utem.edu.my/id/eprint/27587/2/peerj-cs-1806.pdf
http://eprints.utem.edu.my/id/eprint/27587/
https://peerj.com/articles/cs-1806/#
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utem.eprints.27587
record_format eprints
spelling my.utem.eprints.275872024-07-24T12:15:55Z http://eprints.utem.edu.my/id/eprint/27587/ Non-redundant implicational base of formal context with constraints using SAT Hidayat, Taufiq Ngo, Hea Choon Ahmad, Asmala An implicational base is knowledge extracted from a formal context. The implicational base of a formal context consists of attribute implications which are sound, complete, and non-redundant regarding to the formal context. Nonredundant means that each attribute implication in the implication base cannot be inferred from the others. However, sometimes some attribute implications in the implication base can be inferred from the others together with a prior knowledge. Regarding knowledge discovery, such attribute implications should be not considered as new knowledge and ignored from the implicational base. In other words, such attribute implications are redundant based on prior knowledge. One sort of prior knowledge is a set of constraints that restricts some attributes in data. In formal context, constraints restrict some attributes of objects in the formal context. This article proposes a method to generate non-redundant implication base of a formal context with some constraints which restricting the formal context. In this case, non-redundant implicational base means that the implicational base does not contain all attribute implications which can be inferred from the others together with information of the constraints. This article also proposes a formulation to check the redundant attribute implications and encoding the problem into satisfiability (SAT) problem such that the problem can be solved by SAT Solver, a software which can solve a SAT problem. After implementation, an experiment shows that the proposed method is able to check the redundant attribute implication and generates a nonredundant implicational base of formal context with constraints. PeerJ Inc. 2024-01 Article PeerReviewed text en http://eprints.utem.edu.my/id/eprint/27587/2/peerj-cs-1806.pdf Hidayat, Taufiq and Ngo, Hea Choon and Ahmad, Asmala (2024) Non-redundant implicational base of formal context with constraints using SAT. PeerJ Computer Science, 10. 01-37. ISSN 2376-5992 https://peerj.com/articles/cs-1806/# 10.7717/peerj-cs.1806
institution Universiti Teknikal Malaysia Melaka
building UTEM Library
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknikal Malaysia Melaka
content_source UTEM Institutional Repository
url_provider http://eprints.utem.edu.my/
language English
description An implicational base is knowledge extracted from a formal context. The implicational base of a formal context consists of attribute implications which are sound, complete, and non-redundant regarding to the formal context. Nonredundant means that each attribute implication in the implication base cannot be inferred from the others. However, sometimes some attribute implications in the implication base can be inferred from the others together with a prior knowledge. Regarding knowledge discovery, such attribute implications should be not considered as new knowledge and ignored from the implicational base. In other words, such attribute implications are redundant based on prior knowledge. One sort of prior knowledge is a set of constraints that restricts some attributes in data. In formal context, constraints restrict some attributes of objects in the formal context. This article proposes a method to generate non-redundant implication base of a formal context with some constraints which restricting the formal context. In this case, non-redundant implicational base means that the implicational base does not contain all attribute implications which can be inferred from the others together with information of the constraints. This article also proposes a formulation to check the redundant attribute implications and encoding the problem into satisfiability (SAT) problem such that the problem can be solved by SAT Solver, a software which can solve a SAT problem. After implementation, an experiment shows that the proposed method is able to check the redundant attribute implication and generates a nonredundant implicational base of formal context with constraints.
format Article
author Hidayat, Taufiq
Ngo, Hea Choon
Ahmad, Asmala
spellingShingle Hidayat, Taufiq
Ngo, Hea Choon
Ahmad, Asmala
Non-redundant implicational base of formal context with constraints using SAT
author_facet Hidayat, Taufiq
Ngo, Hea Choon
Ahmad, Asmala
author_sort Hidayat, Taufiq
title Non-redundant implicational base of formal context with constraints using SAT
title_short Non-redundant implicational base of formal context with constraints using SAT
title_full Non-redundant implicational base of formal context with constraints using SAT
title_fullStr Non-redundant implicational base of formal context with constraints using SAT
title_full_unstemmed Non-redundant implicational base of formal context with constraints using SAT
title_sort non-redundant implicational base of formal context with constraints using sat
publisher PeerJ Inc.
publishDate 2024
url http://eprints.utem.edu.my/id/eprint/27587/2/peerj-cs-1806.pdf
http://eprints.utem.edu.my/id/eprint/27587/
https://peerj.com/articles/cs-1806/#
_version_ 1806430048788414464
score 13.211869

Similar Items