The existence of a maximal solution to some typical fuzzy relational equations is proved in the paper, in case when the codomain lattice is complete and meet-continuous, which means that the infimum commutes with the supremum of chains. These results extend the existing results, which are mostly limited to the existence of a maximal solution to some typical fuzzy set and fuzzy relational inequations. In order to prove that the same holds for the corresponding relational equations, it is proved that the property of meet-continuity in the codomain lattice implies another property in the lattice of fuzzy relations, namely that the composition of fuzzy relations, defined as usual, commutes with the supremum of chains. This condition can also be taken instead of the meet-continuity of the codomain lattice as another sufficient condition for the existence of a maximal solution to the equations considered here. Two examples are given, which prove that these conditions do not imply the existence of the greatest solution to some of the considered equations.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Two Sufficient Conditions for Having a Maximal Solution to Fuzzy Relational Equations

  • Vanja Stepanović

摘要

The existence of a maximal solution to some typical fuzzy relational equations is proved in the paper, in case when the codomain lattice is complete and meet-continuous, which means that the infimum commutes with the supremum of chains. These results extend the existing results, which are mostly limited to the existence of a maximal solution to some typical fuzzy set and fuzzy relational inequations. In order to prove that the same holds for the corresponding relational equations, it is proved that the property of meet-continuity in the codomain lattice implies another property in the lattice of fuzzy relations, namely that the composition of fuzzy relations, defined as usual, commutes with the supremum of chains. This condition can also be taken instead of the meet-continuity of the codomain lattice as another sufficient condition for the existence of a maximal solution to the equations considered here. Two examples are given, which prove that these conditions do not imply the existence of the greatest solution to some of the considered equations.