Software for solving inverse problems in the form of fuzzy correspondence composition

A formal setting of the inverse problem for fuzzy general relational equations is proposed. Analysis of possibility of using triangular norms and implicators induced by them as implication was carried out. Compositions of fuzzy correspondences most commonly used in practice are presented. Software has been developed to solve fuzzy diagnostics problems in the Wolfram Mathematica symbolic mathematics package environment. Practical testing of the software complex was carried out.