Abstract
Formal concept analysis is able to visualize and represent knowledge using concept lattice and (attribute) implication. Decision implication is a counterpart of implication in the setting of decision-making. Decision implication canonical basis is a complete, non-redundant and optimal set of decision implications. At present, decision implication canonical basis can be generated with the help of minimal generators; however, this method is not efficient because of its exponential complexity. To solve this problem, we propose an algorithm to generate decision implication canonical basis based on true premises and analyze its time complexity. Experimental results verify the efficiency of this algorithm.
Similar content being viewed by others
References
Carpineto C, Romano G (2004) Concept data analysis: theory and applications. Wiley, New York
Ch AK, Dias SM, Vieira NJ (2015) Knowledge reduction in formal contexts using non-negative matrix factorization. Math Comput Simul 109:46–63 (2015)
Ganter B, Wille R (1999) Formal concept analysis: mathematical foundations. Springer, Berlin
Guigues J, Duquenne V (1986) Famille minimale d’implications informatives résultant d’un tableau de données binaires. Mathe’matiques et Sciences Humaines 24:5–18
Hu K, Lu Y, Shi C (2000) An integrated mining approach for classification and association rule based on concept lattice. J Softw 11:1479–1484
Ishigure H, Mutoh A, Matsui T (2015) Concept lattice reduction using attribute inference, pp 108–111
Li J, Mei C, Aswani KC, Zhang X (2013a) On rule acquisition in decision formal contexts. Int J Mach Learn Cybernet 4:721–731
Li J, Mei C, Lv Y (2011) Knowledge reduction in decision formal contexts. Knowl Based Syst 24:709–715
Li J, Mei C, Lv Y (2012a) Knowledge reduction in formal decision contexts based on an order-preserving mapping. Int J Gen Syst 41:143–161
Li J, Mei C, Lv Y (2012b) Knowledge reduction in real decision formal contexts. Inf Sci 189:191–207
Li J, Mei C, Lv Y (2013b) Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction. Int J Approx Reas 54:149–165
Li J, Mei C, Xu W, Qian Y (2015) Concept learning via granular computing: a cognitive viewpoint. Inf Sci 298:447–467
Ma Y, Zhang X, Chi C (2011) Compact dependencies and intent waned values. J Softw 22:962–971
Qi J, Qian T, Wei L (2016) The connections between three-way and classical concept lattices. Knowl-Based Syst 91:143–151
Qi J, Wei L, Yao Y (2014) Three-way formal concept analysis. In: Miao D, Pedrycz W, Ślȩzak D, Peters G, Hu Q, Wang R (eds) Rough sets and knowledge technology: 9th international conference, RSKT 2014. Springer International Publishing, Shanghai, pp 732–741
Qu K, Zhai Y, Liang J, Chen M (2007) Study of decision implications based on formal concept analysis. Int J Gen Syst 36:147–156
Ren R, Wei L (2016) The attribute reductions of three-way concept lattices. Knowl Based Syst 99:92–102
Roth C, Obiedkov S, Kourie D (2008) Towards concise representation for taxonomies of epistemic communities. In: Concept lattices and their applications, pp 240–255
Rudolf W (2009) Restructuring lattice theory: an approach based on hierarchies of concepts
Sahami M (1995) Learning classification rules using lattices. In: Machine learning: ECML-95,1995, pp. 343–346
Tilley T, Cole R, Becker P, Eklund P (2005) A survey of formal concept analysis support for software engineering activities. In: Formal concept analysis, pp 250–271
Wang Z, Hu K, Hu X, Liu Z, Zhang D (1999) General and incremental algorithms of rule extraction based on concept lattice. Chin J Comput 22:66–70
Wei L, Qi J, Zhang W (2008) Attribute reduction theory of concept lattice based on decision formal contexts. Sci China Ser F Inf Sci 51:910–923
Xia H, Chen Y, Gao H (2010) Concept lattice-based semantic web service matchmaking. In: Second international conference on communication software and networks. ICCSN’10. IEEE, New York, pp 439–443
Xu W, Li W (2016) Granular computing approach to two-way learning based on formal concept analysis in fuzzy datasets. IEEE Trans Cybernet 46:366–379
Xu W, Pang J, Luo S (2014) A novel cognitive system model and approach to transformation of information granules. Int J Approx Reas 55:853–866
Yu H, Zhang C, Wang G (2016) A tree-based incremental overlapping clustering method using the three-way decision theory. Knowl-Based Syst 91:189–203
Zhai Y, Li D, Qu K (2013) Fuzzy decision implications. Knowl-Based Syst 37:230–236
Zhai Y, Li D, Qu K (2014) Decision implications: a logical point of view. Int J Mach Learn Cybernet 5:509–516
Zhai Y, Li D, Qu K (2015a) Canonical basis for decision implications. Chin J Electron 43:18–23
Zhai Y, Li D, Qu K (2015b) Decision implication canonical basis: a logical perspective. J Comput Syst Sci 81:208–218
Zhi H, Li J (2016) Granule description based on formal concept analysis. Knowl-Based Syst 104:62–73
Acknowledgments
The works described in this paper are supported by the Project supported by the State Key Program of National Natural Science of China (No. 61432011, U1435212), National Natural Science Foundation of China (Nos. 61272095, 61573231, 61303107, 41401521 and 61175067), Shanxi Scholarship Council of China (2013–2014), the Natural Science Foundation of Shanxi, China (201601D021072) and Shanxi Science and Technology Infrastructure (2015091001-0102).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Li, D., Zhang, S. & Zhai, Y. Method for generating decision implication canonical basis based on true premises. Int. J. Mach. Learn. & Cyber. 8, 57–67 (2017). https://doi.org/10.1007/s13042-016-0575-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13042-016-0575-2