Multi-adjoint relation equations: Definition, properties and solutions using concept lattices

This paper generalizes fuzzy relation equations following the multi-adjoint philosophy. Moreover, the solutions of these general fuzzy relation equations and the concepts of a multi-adjoint property-oriented concept lattice are related, and several results are obtained from the theory of concept lattices. As a consequence of this relevant relation, more properties about these general equations can be proven from the theory of concept lattices and the algorithms developed to compute concept lattices can be used to obtain solutions. Furthermore, an interesting application to fuzzy logic programming has been introduced, in which an important problem in this topic has been interpreted in terms of solving a multi-adjoint relation equation.

[1]  Irina Perfilieva,et al.  Fuzzy function as an approximate solution to a system of fuzzy relation equations , 2004, Fuzzy Sets Syst..

[2]  Pablo Cordero,et al.  A New Algebraic Tool for Automatic Theorem Provers , 2004, Annals of Mathematics and Artificial Intelligence.

[3]  Jesús Medina,et al.  Concept Lattices in Fuzzy Relation Equations , 2011, CLA.

[4]  Mihail Benado.  Les ensembles partiellement ordonnés et le théorème de raffinement de Schreier. II. Théorie des multistructures , 1954 .

[5]  Ladislav J. Kohout,et al.  Semantics of implication operators and fuzzy relational products , 1980 .

[6]  Anna Maria Radzikowska,et al.  A comparative study of fuzzy rough sets , 2002, Fuzzy Sets Syst..

[7]  Irina Perfilieva.  Fuzzy Relation Equations in Semilinear Spaces , 2010, IPMU.

[8]  Elie Sanchez,et al.  Resolution of Composite Fuzzy Relation Equations , 1976, Inf. Control..

[9]  Radim Belohlávek,et al.  Concept lattices and order in fuzzy logic , 2004, Ann. Pure Appl. Log..

[10]  Manuel Ojeda-Aciego,et al.  Formal concept analysis via multi-adjoint concept lattices , 2009, Fuzzy Sets Syst..

[11]  R. Belohlavek,et al.  Concept Equations , 2004, J. Log. Comput..

[12]  W. Pedrycz,et al.  Fuzzy Relation Equations and Their Applications to Knowledge Engineering , 1989, Theory and Decision Library.

[13]  Jesús Medina,et al.  Multi-adjoint property-oriented and object-oriented concept lattices , 2012, Inf. Sci..

[14]  Bernard De Baets,et al.  Computing the Lattice of All Fixpoints of a Fuzzy Closure Operator , 2010, IEEE Transactions on Fuzzy Systems.

[15]  Manuel Ojeda-Aciego,et al.  Fuzzy logic programming via multilattices , 2007, Fuzzy Sets Syst..

[16]  Jesús Medina.  Towards Multi-adjoint Property-Oriented Concept Lattices , 2010, RSKT.

[17]  Radim Bělohlávek,et al.  Lattices of Fixed Points of Fuzzy Galois Connections , 2001 .

[18]  Ivo Düntsch,et al.  Modal-style operators in qualitative data analysis , 2002, 2002 IEEE International Conference on Data Mining, 2002. Proceedings..

[19]  Manuel Ojeda-Aciego,et al.  Multi-adjoint Logic Programming with Continuous Semantics , 2001, LPNMR.

[20]  Jesús Medina,et al.  Solving systems of fuzzy relation equations by fuzzy property-oriented concepts , 2013, Inf. Sci..

[21]  Jun-Lin Lin,et al.  On fuzzy relational equations and the covering problem , 2011, Inf. Sci..

[22]  Radim Belohlávek,et al.  Sup-t-norm and inf-residuum are one type of relational product: Unifying framework and consequences , 2012, Fuzzy Sets Syst..

[23]  Jerzy W. Grzymala-Busse,et al.  Rough Sets , 1995, Commun. ACM.

[24]  Ivo Düntsch,et al.  Approximation Operators in Qualitative Data Analysis , 2003, Theory and Applications of Relational Structures as Knowledge Instruments.

[25]  Radim Belohlávek,et al.  Sup-t-norm and inf-residuum are a single type of relational equations , 2011, Int. J. Gen. Syst..

[26]  A. Meystel,et al.  Intelligent Systems , 2001 .

[27]  Dexue Zhang,et al.  Concept lattices of fuzzy contexts: Formal concept analysis vs. rough set theory , 2009, Int. J. Approx. Reason..

[28]  Andrei Popescu,et al.  Non-dual fuzzy connections , 2004, Arch. Math. Log..

[29]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[30]  R. Belohlavek,et al.  Isotone Galois connections and concept lattices with hedges , 2008, 2008 4th International IEEE Conference Intelligent Systems.

[31]  Bih-Sheue Shieh,et al.  Solution to the covering problem , 2013, Inf. Sci..

[32]  Bernard De Baets,et al.  Lindig's Algorithm for Concept Lattices over Graded Attributes , 2007, MDAI.

[33]  Jesús Medina,et al.  Fuzzy Formal Concept Analysis via Multilattices: First Prospects and Results , 2012, CLA.

[34]  Irina Perfilieva,et al.  System of fuzzy relation equations with inf-> composition: Complete set of solutions , 2008, Fuzzy Sets Syst..

[35]  K. Peeva,et al.  Resolution of fuzzy relational equations - Method, algorithm and software with applications , 2013, Inf. Sci..

[36]  Jesús Medina,et al.  A comparative study of adjoint triples , 2013, Fuzzy Sets Syst..

[37]  Jesús Medina,et al.  Multi-adjoint t-concept lattices , 2010, Inf. Sci..

[38]  Manuel Ojeda-Aciego,et al.  Towards Biresiduated Multi-adjoint Logic Programming , 2003, CAEPIA.