期刊
KNOWLEDGE-BASED SYSTEMS
卷 21, 期 5, 页码 429-433出版社
ELSEVIER SCIENCE BV
DOI: 10.1016/j.knosys.2008.03.001
关键词
formal context; formal concept analysis; implication; non-redundant set; minimal generator
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据