Method with horizontal fuzzy numbers for solving real fuzzy linear systems

The paper presents a method for solving real fuzzy systems of linear equations with the usage of horizontal fuzzy numbers (HFNs). Based on the multidimensional RDM interval arithmetic and a fuzzy number in a parametric form, the definition of a horizontal fuzzy number with nonlinear left and right borders was given. Additionally, the paper presents the properties of basic algebraic operations on these numbers. The usage of horizontal fuzzy numbers with linear and nonlinear borders was illustrated in the examples with n×n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n \times n $$\end{document} fuzzy linear systems. The obtained results are multidimensional and satisfy the fuzzy linear systems. Calculated solutions of fuzzy linear systems were compared with the results of other methods. The solution obtained with horizontal fuzzy numbers satisfies any equivalent form of fuzzy linear system, whereas the results of existing methods do not satisfy the equivalent forms of the system. The presented examples also show that the method with HFN delivers a full multidimensional solution (direct solution). The analyzed results of standard methods, which are only a part of span (indicator, indirect solution) of a full solution and/or include values that do not satisfy the fuzzy linear systems, are underestimated or overestimated. The proposed method gives a possibility to obtain a crisp solution together with a crisp system of equations; other methods do not possess these properties.


Introduction
Fuzzy sets and fuzzy arithmetic play an important role in the problems where variables are uncertain. It helps to describe real problems in the form of mathematical models and finds a solution of tasks with uncertain variables. Fuzzy arithmetic and fuzzy sets are used in the uncertainty theory (Bhiwani and Patre 2009), computing with words (Zadeh 2002), grey systems (Liu and Forest 2010), granular computing (Pedrycz et al. 2008).
The idea of fuzzy numbers and arithmetic on fuzzy numbers was first presented in (Chang and Zadeh 1972;Mizumoto and Tanaka 1976;Dubois and Prade 1978). Currently, the most popular and often used fuzzy numbers have vertical form and are used to solve, e.g., fuzzy equations (Bhi-  Buckley and Qu 1990;Buckley et al. 2002), fuzzy nonlinear equations with an uncertain variable (Abbasbandy and Asady 2004;Dymova 2010;Jafarian and Nia 2013). However, fuzzy systems of linear equations describe systems from the real world with parameters that are rather fuzzy than crisp numbers. These systems appear in different areas, for example in mathematics, engineering, physics and economics. The usage of fuzzy numbers for solving fuzzy system of linear equations is presented in, e.g., (Abbasbandy and Alavi 2005;Abbasbandy and Jafarian 2006;Behera and Chakraverty 2012;Dehghan et al. 2006;Friedman et al. 1998;Jafari et al. 2009;Yeh 2007;Lodwick and Dubois 2015); in these papers the triangular or trapezoidal fuzzy numbers are considered. In Boroujeni et al. (2015), the method for solving the fuzzy systems of dual form with triangular fuzzy numbers is presented.
The standard fuzzy arithmetic is based on vertical fuzzy sets (Aliev et al. 2012;Dubois and Prade 1978;Hanss 2005;Klir 1997;Nguyen 2006;Rajati and Mendel 2012;Rajati et al. 2011;Zadeh 1996Zadeh , 2002Zadeh , 2007. Unfortunately, there were gaps because more complicated operations on the verti-cal representation of fuzzy numbers, e.g., a solution of fuzzy system of linear equations, provide the results that are not a full solution or are just a span of the solution (indirect result). Standard methods give the results which preclude obtaining the crisp solutions that satisfy the system of equations. Existing versions of fuzzy arithmetic assume that only vertical fuzzy number is the result of operations on fuzzy numbers. This assumption leads to many computational paradoxes observed in fuzzy arithmetic.
Why is the differentiation of direct and indirect solution important? Because the use of indirect results (e.g., span [x, x]), leads to imprecise, false or partly false solution. In Example 1, the differences between the results obtained by standard interval arithmetic (S-IA) and multidimensional RDM interval arithmetic were shown. The concept of the multidimensional Relative Distance Measure interval arithmetic (RDM-IA) was developed by A. Piegat Landowski 2013, 2017b;Landowski 2015Landowski , 2017. Solution X does not satisfy the equation. RDM interval arithmetic-multidimensional solution Intervals A and B in RDM notation have a form: RDM solution X (α A , α B ) satisfies the equation. It is true solution of the equation.
Deriving span from RDM solution To fill the gaps, the article presents the method with the usage of horizontal fuzzy number (HFN) to find the solution of fuzzy system of linear equations.

Spans comparison
The main contributions of the paper are as follows: 1. In the paper, the definition and the examples of the horizontal fuzzy number where the left and right borders can be nonlinear were presented. The previous papers Landowski 2015, 2017a, c) considered only triangular and trapezoidal horizontal fuzzy numbers. 2. The proofs of the properties of basic algebraic operations on horizontal fuzzy numbers are given. 3. The paper presents the multidimensional approach to the solution of the fuzzy linear system. The proposed method gives a possibility to solve the fuzzy linear systems with various types of fuzzy numbers, not only with triangular or trapezoidal fuzzy numbers. 4. The presented method gives the multidimensional solution which has a possibility of generation of every crisp solution of the fuzzy systems of linear equations and can also generate crisp system of linear equations from fuzzy linear system for the considered crisp solution. 5. In the article, it is shown that in multidimensional approach the solution of the fuzzy system of linear equations in a vertical fuzzy number form is only the secondary information (indicator); the direct solution is a multidimensional set. 6. The examples show that the methods in the cited papers do not give full solutions and/or generate results that do not satisfy the equivalent forms of the fuzzy linear systems. The proposed method gives full solutions which satisfy the fuzzy systems of linear equations and their equivalent forms.
The correctness of the results obtained in the examples is easy to check by substituting calculated values to a given problem. Many researchers do not check the correctness of the results in presented examples. This way of comparing of the obtained solutions by method with horizontal fuzzy numbers with results by other methods is called the testing point method (TP method). By using the TP method, the points in incorrect solution that does not satisfy the fuzzy linear system or points that are solutions but are not included in the obtained results can be found.

Horizontal fuzzy number
In the following section, the theoretical foundations of the horizontal fuzzy number and its arithmetic are presented.
In RDM interval arithmetic, a given value x from interval X = x, x is described using RDM variable α x , where α x ∈ [0, 1], as shown in (1).
Definition 1 (Landowski 2015) In notation RDM, the interval X = x, x is described as a set of numbers given by (2).
A fuzzy number in a parametric form is defined as intervals for every r -cut.
Definition 2 (Friedman et al. 1998) An arbitrary fuzzy number is an ordered pair of functions (u(r ), u(r )), 0 ≤ r ≤ 1, which satisfy the following requirements: Fuzzy number is a model of uncertain value of variable. Based on RDM interval notation and parametric definition of fuzzy number, a horizontal fuzzy number with linear or/and nonlinear left and right borders can be defined as: Definition 3 A horizontal fuzzy number U r of an arbitrary fuzzy number (u(r ), u(r )) is a set of numbers u r for every r , α u ∈ [0, 1] given by (3).
The variable α u gives a possibility to obtain any value between left border u(r ) and right border u(r ) of a fuzzy number. For α u = 0 value of the left endpoint u(r ) of s fuzzy number and for α u = 1 the right endpoint u(r ) of a fuzzy number are obtained.
where α a , α b , r ∈ [0, 1]. Figures 1 and 2 show fuzzy numbers A and B in standard and horizontal forms.
Basic operations on horizontal fuzzy numbers X r , Y r and Z r hold the algebraic properties.
In horizontal fuzzy number arithmetic, there exist neutral elements of addition and multiplication. For addition the neutral element is a degenerate fuzzy number 0; for multiplication the neutral element is a degenerate fuzzy number 1. For any fuzzy horizontal number X r hold Eq. (7).
The horizontal fuzzy number in HFN arithmetic has an additive inverse element (8).
In HFN arithmetic, there exists a multiplicative inverse element, so for In HFN arithmetic for every HFNs The cancelation law for addition (11) holds for horizontal fuzzy numbers.
Proof For any horizontal fuzzy numbers Adding to the both sides additive inverse element −Z r = −z(r , α z ) there is: Also, for horizontal fuzzy numbers the multiplicative cancelation law (12) Proof For any horizontal fuzzy numbers Multiplying the obtained equation by multiplicative inverse element 1/Z r = 1/[z(r , α z )] there is: The direct solution obtained with horizontal fuzzy numbers is presented by formula (granule of information), and also solution can be shown by result indicators (indirect solutions) like span, cardinality distribution or the center of gravity.
Definition 5 (span, secondary solution) For the direct solution Z r = z(r , α u 1 , . . . , α u n ) of the basic arithmetic operations on n horizontal fuzzy numbers span is a fuzzy number given by (13).
The special cases of fuzzy numbers are triangular U = (a, b, c) and trapezoidal V = (a, b, c, d) fuzzy numbers.
The triangular and trapezoidal horizontal fuzzy numbers are presented in Landowski (2015, 2017a) as:
a n1 x 1 + · · · + a nn x n = y n where the coefficients matrix A = (a i j ), 1 ≤ i, j ≤ n is a n × n matrix and each y i , 1 ≤ i ≤ n, is a fuzzy number in parametric form which is called a fuzzy linear system in parametric form (FLS).
Steps to find the solution and the span of solution (indicator of solution) by the method with horizontal fuzzy numbers are as follows: Step 1: Write the given fuzzy numbers in algebraic system of equations in the HFN notation using HFN variables.
Step 2: Calculate direct solution using algebraic operations.
Step 3: To obtain span (indirect solution, indicator, secondary solution) of the solution find border values for HFN variable of the solution.
Step 4: For border values find minimum and maximum that are span (secondary solution, indicator) of the direct solution.
The representation of the solution can be a span, but span is only the result indicator. Any two values from the span are not a pair of crisp solution. The choice of the crisp solution is possible for unique HFN variable α 1 , α 2 ∈ [0, 1]. For example, from formula (17) one of the crisp point solutions is a pair of numbers (x 1 (0.5, 0, 0), x 2 (0.5, 0, 0)) = (1.5, 1), r = 0.5.  To find the span of the solution, border values should be calculated. Table 1 presents border values solution (17) for variables α 1 and α 2 .
x 1 = (r , 2 − r ) + x 2 , Substituting x 1 and x 2 from (19) to the right side of the equations of the fuzzy linear system in the form of (20) is: Similarly it can be shown that results (19) do not satisfy other forms of fuzzy linear system (15).
The solution obtained with horizontal fuzzy number (17) satisfies any equivalent form of fuzzy linear system (15) and the universality conditions.
Results (19) are just spans (indicators, indirect solutions). From (19), it is difficult to find a pair of (x 1 , x 2 ) that satisfies the system of Eq. (15).
It can be proved that solution (23) is corrected by substituting (23) to the fuzzy system of equations (21). For the first equation starting from the left side: the right side is obtained.
Similarly, it can be shown that solution (23) satisfies the second and third equations, so the solution obtained using horizontal fuzzy numbers satisfies the fuzzy system of linear equations (21) and also its equivalent form.

Fig. 5
Spans of horizontal fuzzy number solutions of 3×3 fuzzy system of linear equations used in practice because x 2 ≤ x 2 and x 3 ≤ x 3 . Lodwick and Dubois (2015) wrote that improper intervals are not accepted. Changing the borders in x 2 and x 3 , the indicator of "solution" Table 3 Spans for r = 0 of the solution obtained using horizontal fuzzy numbers and of the "weak solution" by methods presented in (Friedman et al. 1998;Behera and Chakraverty 2012) Solution Span of the solution using HFN The "weak solution" Results (25) from (Friedman et al. 1998; Behera and Chakraverty 2012) do not satisfy fuzzy linear system (21). Substituting x 1 , x 2 and x 3 from (25) to the left side of fuzzy system of linear equations (21), there is: Also results (25) do not satisfy any fuzzy linear system equivalent to (21).
Obtained fuzzy numbers in (Friedman et al. 1998;Behera and Chakraverty 2012) include values that are not a solution, and it is difficult to indicate the three points of solution of fuzzy linear system (21). For example, let us consider crisp solution from the obtained results in (Friedman et al. 1998;Behera and Chakraverty 2012). For r = 0 values x 1 = −2, x 2 = −1.2 and x 3 = 1 belong to the solution presented in Table 3 and in (25), but these values do not satisfy system (21): Spans in the form of intervals of HFN solution in (24) and for r = 0 in Table 3 are just the representations (indicators) of the full solution.
In this case, where the solution is a plan of diet for animals obtained values should be greater than or equal to zero. So the values that satisfy this condition should be picked from the solution. With HFN method, the crisp solution where values are greater than or equal to zero can be obtained. One of this crisp solution equals (x 1 , x 2 , x 3 , x 4 , x 5 , x 6 , x 7 ) = (0.29, 0.22, 0.05, 0.05, 0, 0.13, 0.15); it can be obtained for r = 0, α 1 = 0, α 2 = 0, α 3 = 0.5, α 4 = 0, α 5 = 0, α 6 = 1 and α 7 = 0. Because of the knowledge of the values r and α i , the system of linear equations for this crisp solution can be obtained.

Conclusions
The paper presents a method with horizontal fuzzy number for solving fuzzy systems of linear equations. The definition and the examples of horizontal fuzzy number where border values are nonlinear were given. Also it was proved that operations on horizontal fuzzy numbers hold basic algebraic properties. The solved numerical examples show that the solution is multidimensional and satisfies fuzzy linear systems. The solutions calculated with horizontal fuzzy numbers are associated, which means that every crisp value of a solution corresponds with other crisp values of solutions.
The solution obtained with the proposed method with HFN variables gives a possibility to calculate a crisp solution and a crisp system of linear equations which corresponds with this solution. This possibility is impossible with the methods that use vertical fuzzy numbers, because in these cases the results do not bring any information about crisp solution. Also it was proved that the obtained multidimensional solution satisfies the fuzzy system of linear equations. Moreover, in the analyzed examples it was shown that the obtained results as fuzzy numbers in (Friedman et al. 1998;Behera and Chakraverty 2012) are not full solutions and are underestimated or overestimated.
Existing methods for solving fuzzy linear systems assume that the direct solution is a vertical fuzzy number. This assumption leads to paradoxes. In the article, it was shown that the result in a vertical fuzzy number form is only the secondary information (indicator, indirect solution) of the solution being a multidimensional set. The method with horizontal fuzzy numbers gives a correct full multidimensional solution.
To show the applicability of the proposed method also the practical fuzzy system of linear equations and system with a fuzzy number where borders are nonlinear were solved. The proposed method solves the fuzzy linear system given in different equivalent forms. The methods with vertical fuzzy numbers for equivalent forms of fuzzy linear systems give different results.