Skip to main content
Erschienen in: International Journal of Machine Learning and Cybernetics 1/2017

06.08.2016 | Original Article

Method for generating decision implication canonical basis based on true premises

verfasst von: Deyu Li, Shaoxia Zhang, Yanhui Zhai

Erschienen in: International Journal of Machine Learning and Cybernetics | Ausgabe 1/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Weitere Produktempfehlungen anzeigen
Literatur
1.
Zurück zum Zitat Carpineto C, Romano G (2004) Concept data analysis: theory and applications. Wiley, New York Carpineto C, Romano G (2004) Concept data analysis: theory and applications. Wiley, New York
2.
Zurück zum Zitat Ch AK, Dias SM, Vieira NJ (2015) Knowledge reduction in formal contexts using non-negative matrix factorization. Math Comput Simul 109:46–63 (2015) Ch AK, Dias SM, Vieira NJ (2015) Knowledge reduction in formal contexts using non-negative matrix factorization. Math Comput Simul 109:46–63 (2015)
3.
Zurück zum Zitat Ganter B, Wille R (1999) Formal concept analysis: mathematical foundations. Springer, BerlinCrossRefMATH Ganter B, Wille R (1999) Formal concept analysis: mathematical foundations. Springer, BerlinCrossRefMATH
4.
Zurück zum Zitat 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 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
5.
Zurück zum Zitat 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 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
6.
Zurück zum Zitat Ishigure H, Mutoh A, Matsui T (2015) Concept lattice reduction using attribute inference, pp 108–111 Ishigure H, Mutoh A, Matsui T (2015) Concept lattice reduction using attribute inference, pp 108–111
7.
Zurück zum Zitat Li J, Mei C, Aswani KC, Zhang X (2013a) On rule acquisition in decision formal contexts. Int J Mach Learn Cybernet 4:721–731CrossRef Li J, Mei C, Aswani KC, Zhang X (2013a) On rule acquisition in decision formal contexts. Int J Mach Learn Cybernet 4:721–731CrossRef
8.
Zurück zum Zitat Li J, Mei C, Lv Y (2011) Knowledge reduction in decision formal contexts. Knowl Based Syst 24:709–715CrossRefMATH Li J, Mei C, Lv Y (2011) Knowledge reduction in decision formal contexts. Knowl Based Syst 24:709–715CrossRefMATH
9.
Zurück zum Zitat 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–161MathSciNetCrossRefMATH 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–161MathSciNetCrossRefMATH
11.
Zurück zum Zitat Li J, Mei C, Lv Y (2013b) Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction. Int J Approx Reas 54:149–165MathSciNetCrossRefMATH Li J, Mei C, Lv Y (2013b) Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction. Int J Approx Reas 54:149–165MathSciNetCrossRefMATH
12.
Zurück zum Zitat Li J, Mei C, Xu W, Qian Y (2015) Concept learning via granular computing: a cognitive viewpoint. Inf Sci 298:447–467MathSciNetCrossRef Li J, Mei C, Xu W, Qian Y (2015) Concept learning via granular computing: a cognitive viewpoint. Inf Sci 298:447–467MathSciNetCrossRef
14.
Zurück zum Zitat Qi J, Qian T, Wei L (2016) The connections between three-way and classical concept lattices. Knowl-Based Syst 91:143–151CrossRef Qi J, Qian T, Wei L (2016) The connections between three-way and classical concept lattices. Knowl-Based Syst 91:143–151CrossRef
15.
Zurück zum Zitat 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 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
16.
Zurück zum Zitat Qu K, Zhai Y, Liang J, Chen M (2007) Study of decision implications based on formal concept analysis. Int J Gen Syst 36:147–156MathSciNetCrossRefMATH Qu K, Zhai Y, Liang J, Chen M (2007) Study of decision implications based on formal concept analysis. Int J Gen Syst 36:147–156MathSciNetCrossRefMATH
17.
Zurück zum Zitat Ren R, Wei L (2016) The attribute reductions of three-way concept lattices. Knowl Based Syst 99:92–102CrossRef Ren R, Wei L (2016) The attribute reductions of three-way concept lattices. Knowl Based Syst 99:92–102CrossRef
18.
Zurück zum Zitat Roth C, Obiedkov S, Kourie D (2008) Towards concise representation for taxonomies of epistemic communities. In: Concept lattices and their applications, pp 240–255 Roth C, Obiedkov S, Kourie D (2008) Towards concise representation for taxonomies of epistemic communities. In: Concept lattices and their applications, pp 240–255
19.
Zurück zum Zitat Rudolf W (2009) Restructuring lattice theory: an approach based on hierarchies of concepts Rudolf W (2009) Restructuring lattice theory: an approach based on hierarchies of concepts
20.
Zurück zum Zitat Sahami M (1995) Learning classification rules using lattices. In: Machine learning: ECML-95,1995, pp. 343–346 Sahami M (1995) Learning classification rules using lattices. In: Machine learning: ECML-95,1995, pp. 343–346
21.
Zurück zum Zitat 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 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
22.
Zurück zum Zitat 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 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
23.
Zurück zum Zitat 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–923MathSciNetCrossRefMATH 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–923MathSciNetCrossRefMATH
24.
Zurück zum Zitat 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 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
25.
Zurück zum Zitat 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–379CrossRef 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–379CrossRef
26.
Zurück zum Zitat 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–866MathSciNetCrossRefMATH 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–866MathSciNetCrossRefMATH
27.
Zurück zum Zitat 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–203CrossRef 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–203CrossRef
28.
Zurück zum Zitat Zhai Y, Li D, Qu K (2013) Fuzzy decision implications. Knowl-Based Syst 37:230–236CrossRef Zhai Y, Li D, Qu K (2013) Fuzzy decision implications. Knowl-Based Syst 37:230–236CrossRef
29.
Zurück zum Zitat Zhai Y, Li D, Qu K (2014) Decision implications: a logical point of view. Int J Mach Learn Cybernet 5:509–516CrossRef Zhai Y, Li D, Qu K (2014) Decision implications: a logical point of view. Int J Mach Learn Cybernet 5:509–516CrossRef
30.
Zurück zum Zitat Zhai Y, Li D, Qu K (2015a) Canonical basis for decision implications. Chin J Electron 43:18–23 Zhai Y, Li D, Qu K (2015a) Canonical basis for decision implications. Chin J Electron 43:18–23
31.
32.
Zurück zum Zitat Zhi H, Li J (2016) Granule description based on formal concept analysis. Knowl-Based Syst 104:62–73CrossRef Zhi H, Li J (2016) Granule description based on formal concept analysis. Knowl-Based Syst 104:62–73CrossRef
Metadaten
Titel
Method for generating decision implication canonical basis based on true premises
verfasst von
Deyu Li
Shaoxia Zhang
Yanhui Zhai
Publikationsdatum
06.08.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal of Machine Learning and Cybernetics / Ausgabe 1/2017
Print ISSN: 1868-8071
Elektronische ISSN: 1868-808X
DOI
https://doi.org/10.1007/s13042-016-0575-2

Weitere Artikel der Ausgabe 1/2017

International Journal of Machine Learning and Cybernetics 1/2017 Zur Ausgabe

Neuer Inhalt