Arithmetic fuzzy models

Abstract—It is well known that a fuzzy rule base can be interpreted in different ways. From a logical point of view, the conjunctive interpretation is preferred, while from a practical point of view, the disjunctive interpretation has been dominantly present. Each of these interpretations results in a specific fuzzy relation modelling the fuzzy rule base. Basic interpolation re-quirements naturally suggest a corresponding inference mecha-nism: the direct image for the conjunctive interpretation, and the subdirect image for the disjunctive interpretation. Interpolation then corresponds to solvability of some system of fuzzy relational equations. In this paper, we show that other types of fuzzy relations, closely related to Takagi–Sugeno models, are of major interest as well. These fuzzy relations are based on addition and multiplication only, whence the name arithmetic fuzzy models. Under some mild requirements, these fuzzy relations turn out to be solutions of the same systems of fuzzy relational equations. The impact of these results is both theoretical and practical: there exist simple solutions to systems of fuzzy relational equations, other than the extremal solutions that have received all the attention so far, that are moreover easy to implement. Index Terms—Direct image, fuzzy relational equation, fuzzy rule base, interpolation, subdirect image. I