Fuzzy Relational Equations with Min-Biimplication Composition.

Pingke Li,Qingwei Jin
DOI: https://doi.org/10.1007/s10700-012-9122-0
2012-01-01
Abstract:This paper discusses fuzzy relational equations with min-biimplication composition where the biimplication is the biresiduation operation with respect to the Łukasiewicz t-norm. It is shown that determining whether a finite system of fuzzy relational equations with min-biimplication composition has a solution is NP-complete. Moreover, a system of such equations can be fully characterized by a system of integer linear inequalities and consequently its solution set can be expressed in the terms of the minimal solutions of this system of integer linear inequalities.
What problem does this paper attempt to address?