Journal
KNOWLEDGE-BASED SYSTEMS
Volume 21, Issue 5, Pages 429-433Publisher
ELSEVIER SCIENCE BV
DOI: 10.1016/j.knosys.2008.03.001
Keywords
formal context; formal concept analysis; implication; non-redundant set; minimal generator
Categories
Ask authors/readers for more resources
In this paper, a necessary and sufficient condition on which a set of implications is complete is proposed with the help of the notion of model from logic. Besides, using the closure of an attribute subset to a set of implications, we present a formal method to remove the redundant implications from a complete set. Subsequently, we provide an algorithm to generate a complete set of implications and an illustrative example guarantees the availability of the algorithm. Crown Copyright (c) 2008 Published by Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available