Fuzzy decision implications

The aim of this paper is to provide the semantical and syntactical characteristics of fuzzy decision implications, an expression concerning two systems of fuzzy-sets. This Pavelka-style fuzzy logic starts from a fuzzy set of fuzzy decision implications and makes deductions from partially true decision implications. Following this idea, in semantical aspect, we present some basic results concerning completeness and more importantly, introduce the notion of ''unite closure'', which is in fact important not only in semantical aspect but also in syntactical aspect. Besides, we derive three deduction rules, namely (F-Transformation), (F-Add) and (F-Sh@6) for syntactical aspect of fuzzy decision implications, which are proved to be sound and complete with respect to semantical aspect. The result ensures that one can obtain a closed fuzzy set of fuzzy decision implications by the semantical way or by the syntactical way, i.e., by the three deduction rules.

[1]  Vilém Vychodil,et al.  Fuzzy equational logic , 2005, Arch. Math. Log..

[2]  Min Chen,et al.  Study of decision implications based on formal concept analysis , 2007, Int. J. Gen. Syst..

[3]  Silke Pollandt.  Fuzzy Begriffe: formale Begriffsanalyse von unscharfen Daten , 1997 .

[4]  Jinhai Li,et al.  A heuristic knowledge-reduction method for decision formal contexts , 2011, Comput. Math. Appl..

[5]  Vilém Vychodil,et al.  Pavelka-style Fuzzy Logic for Attribute Implications , 2006, JCIS.

[6]  Gerd Stumme,et al.  Fast Computation of Concept lattices Using Data Mining Techniques , 2000, KRDB.

[7]  Petr Hájek,et al.  On very true , 2001, Fuzzy Sets Syst..

[8]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[9]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[10]  Xiangping Kang,et al.  A multi-instance ensemble learning model based on concept lattice , 2011, Knowl. Based Syst..

[11]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[12]  E. Turunen.  Mathematics Behind Fuzzy Logic , 1999 .

[13]  Vilém Vychodil,et al.  Attribute Implications in a Fuzzy Setting , 2006, ICFCA.

[14]  Ling Wei,et al.  Relation between concept lattice reduction and rough set reduction , 2010, Knowl. Based Syst..

[15]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[16]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[17]  Jinhai Li,et al.  Knowledge reduction in formal decision contexts based on an order-preserving mapping , 2012, Int. J. Gen. Syst..

[18]  Bernhard Ganter,et al.  Two Basic Algorithms in Concept Analysis , 2010, ICFCA.

[19]  Vilém Vychodil,et al.  Similarity issues in attribute implications from data with fuzzy attributes , 2006, 2006 IEEE International Conference on Information Reuse & Integration.

[20]  Lifeng Li,et al.  Attribute reduction in fuzzy concept lattices based on the T implication , 2010, Knowl. Based Syst..

[21]  Michal Baczynski,et al.  Fuzzy Implications , 2008, Studies in Fuzziness and Soft Computing.