期刊
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
卷 81, 期 1, 页码 208-218出版社
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jcss.2014.06.001
关键词
Formal concept analysis; Decision implication; Decision context; Canonical basis
资金
- National Natural Science Foundation of China [61303107, 61272095, 61175067, 41101440, 61202018]
- Shanxi Scholarship Council of China [2013-014]
- National Science and Technology [2012BAH33B01]
- Natural Science Foundation of Shanxi [2013011066-4]
Due to its special role on logical deduction and practical applications of attribute implications, canonical basis has attracted much attention and been widely studied in Formal Concept Analysis. Canonical basis is constructed on pseudo-intents and, as an attribute implication basis, possesses of many important features, such as completeness, non-redundancy and minimality among all complete sets of attribute implications. In this paper, to deduce an analogous basis for decision implications, we introduce the notion of decision premise and form the so-called decision implication canonical basis. Furthermore, we show that the basis is complete, non-redundant and minimal among all complete sets of decision implications. We also present an algorithm to generate this canonical basis and analyze time complexity of this algorithm. (c) 2014 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据