Journal
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
Volume 81, Issue 1, Pages 208-218Publisher
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jcss.2014.06.001
Keywords
Formal concept analysis; Decision implication; Decision context; Canonical basis
Funding
- 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]
Ask authors/readers for more resources
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.
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