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

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. Non-redundant means that each attribute implication in the implication base...

Full description

Bibliographic Details
Main Authors: Taufiq Hidayat, Asmala Ahmad, Hea Choon Ngo
Format: Article
Language:English
Published: PeerJ Inc. 2024-01-01
Series:PeerJ Computer Science
Subjects:
Implicational base
Formal context
SAT problem
Attribute implication
Formal concept analysis
Online Access:https://peerj.com/articles/cs-1806.pdf

Internet

https://peerj.com/articles/cs-1806.pdf

Similar Items