On functionals measuring the fuzziness of solutions in relational equations (Q802554)

Studied is a fuzzy relational equation \[ (1)\quad T(x_ i,z_ k)=(R\circ Q)(x_ i,z_ k)=\bigvee^{m}_{j=1}(R(x_ i,y_ j)\wedge Q(y_ j,z_ k)). \] R, Q, T stand for fuzzy relations defined in finite universes of discourse, namely, R:X\(\times Y\to L'\), Q:Y\(\times Z\to L'\), T:X\(\times Z\to L'\), \(card(X)=n\), \(card(Y)=m\), \(card(Z)=p\), while \(L'=(L,\wedge,\vee,\leq)\) denotes a totally ordered lattice. All the solutions of (1), say \({\mathcal R}\), \({\mathcal R}=\{R:X\times Y\to L'| R\circ Q=T\}\) for T, Q given, having a minimal and maximal value of fuzziness (measure of fuzziness) are specified and characterized. Special attention is paid to energy and entropy measures of fuzziness in case L being the interval [0,1].