Abstract
The paper presents addition of fuzzy numbers realised with the application of the multidimensional RDM arithmetic and horizontal membership functions (MFs). Fuzzy arithmetic (FA) is a very difficult task because operations should be performed here on multidimensional information granules. Instead, a lot of FA methods use α-cuts in connection with 1-dimensional classical interval arithmetic that operates not on multidimensional granules but on 1-dimensional intervals. Such approach causes difficulties in calculations and is a reason for arithmetical paradoxes. The multidimensional approach allows for removing drawbacks and weaknesses of FA. It is possible thanks to the application of horizontal membership functions which considerably facilitate calculations because now uncertain values can be inserted directly into equations without using the extension principle. The paper shows how the addition operation can be realised on independent fuzzy numbers and on partly or fully dependent fuzzy numbers with taking into account the order relation and how to solve equations, which can be a difficult task for 1-dimensional FAs.
1. Introduction
Fuzzy arithmetic [1–14] is used in uncertainty theory [15–20], grey systems [21, 22], granular computing [9, 23], computing with words [23–26], decision-making [27, 28], and other sciences and engineering branches [4, 26, 29, 30]. Authors of first concepts of the fuzzy arithmetic (shortly FA) based on L-R (left-right) fuzzy numbers were Dubois and Prade [1]. With years, FA has been improved and its new versions have been introduced, for example, the popular α-cuts' version [4, 6, 31], which in this paper will be called μ-cuts' FA. In general, all versions of FA can be divided [4] into elementary FA, standard FA, and advanced FA versions. Examples of advanced FA methods can be the generalized vertex method [32], constrained FA [7, 8, 21], algorithmic FA [9], transformation method and extended transformation method [4], and inverse FA [4]. It seems that mostly used FA versions are based on α-cuts [2] and on Moore's interval arithmetic (shortly IA) [33–35]. In the FA literature, many examples of practical FA applications can be found, for example, [4, 26, 27, 36, 37]. Practical problems require effective FAs which would enable solving uncertain linear and nonlinear equation systems, differential equations, integral calculations, and so forth [38, 39]. Therefore, many scientists investigate these problems and publish achieved results from this area [40–64]. However, almost always they emphasise that the achieved level of FA is not satisfactory and that further investigations are necessary. Therefore, investigations on IA and FA have been continued nonstop. It is testified by new publications in journals, conferences, and new books. Though FA has achieved many application successes, it further on has many weak points. For example, Dymova and Sevastjanov report in their papers [27, 61, 62] the present FA has considerable difficulties in solving even simple equations with one unknown variable. There exist also difficulties in defining neutral and inverse elements for addition and multiplication.
The most popular version of FA is the arithmetic based on α-cuts, where an α-cut of a fuzzy set A, denoted as A α , is defined by (1), where X means domain of the set and x means an element of this domain [4]. Consider
(1) |
FA based on α-cuts uses principles of the classical Moore's interval arithmetic [33, 34] for realisation of elementary arithmetic operations such as addition, subtraction, multiplication, and division. Though this arithmetic has many applications, its possibilities are limited, because of some drawbacks, which are commented on also by Moore himself in his books. For example, if X, Y, and Z are intervals, the distributive law,
(2) |
does not always hold. Additionally, an additive inverse of an interval is not defined. If , then .
As Dymowa shows in [27], there are great difficulties in solving even simple interval equations with one unknown. Let us assume that in a system there exists the dependence a + x = c. This dependence can be presented in few equivalent forms:
(3) |
If only approximate values of a and c are known, a ∈ [1,3] and c ∈ [2,5], and value x is not known, then, on the basis of (3), four interval equations (4)–(7) can be written:
(4) |
(5) |
(6) |
(7) |
Solving (4), two equations, and , are obtained. They give the solution . Solving (5), two equations, and , are obtained. They give the solution being an inverse interval. Solving (6), the solution [−1,4] is obtained and from (7) we get the solution [4, −1], which is also an inverse interval. Thus, various solutions, [1,2], [2,1], [−1,4], and [4,1], are obtained depending on extension form of the original dependence. In the case of more complicated mathematical dependencies, the solution number can be considerably higher.
Another paradox of FA based on μ-cuts and Moore arithmetic (shortly μ-cuts' FA) [33–35] is not satisfying the cancellation law for multiplication. For example, equation XZ = YZ in the general case does not mean that X = Z. It can be testified by an example shown below in which notation [1,2, 3] means the triangle membership function (shortly MF) with support beginning, core position, and support end. Consider
(8) |
but
(9) |
Because of this feature of μ-cuts' FA, transformations of formulas are not allowable. Why? It will be shown further on. Next important paradox of μ-cuts' FA is the observation that, during calculation of results of nonlinear formulas, for example, C = A − A 2, we obtain different, nonunique solutions depending on which form of the formula is used: C 1 = A − A 2, C 2 = A(1 − A), or C 3 = (A − 1)+(1 − A)(1 + A). For A = [0,1, 2], three different solutions are obtained: C 1 = [−4,0, 2], C 2 = [−2,0, 2], and C 3 = [−4,0, 4]; see Figure 4. Which solution is correct? The above phenomenon means that each transformation of an equation form, in the case of μ-cuts' FA, can change its solution and that solutions are not unique. Further on, it will be shown that in the case of the multidimensional RDM FA such paradoxes do not occur.
Figure 4.
Three different membership functions of “results” of the fuzzy formula C = A − A 2 written in three equivalent forms C 1 = A − A 2, C 2 = A(1 − A), C 3 = (A − 1)+(1 − A)(1 + A) obtained with μ-cuts' fuzzy arithmetic, where A = [μ, 2 − μ].
The above examples show that the classical IA, which is a basis of the μ-cut version of FA, is not ideal, though it can solve certain problems. Therefore, it can and should be further developed. Further on, a version of FA that is based on horizontal membership functions (MFs) and on μ-cuts will be presented. It also applies the multidimensional RDM arithmetic (M-RDM arithmetic) which has been elaborated by Andrzej Piegat. It has been developed together with coworkers: Marek Landowski, Marcin Pluciński, and Karina Tomaszewska [10, 37, 65–70].
2. Horizontal Membership Function
Fuzzy systems use vertical membership functions which were introduced by Zadeh [23]. They have the following form: μ = f(x), where x is an independent variable and μ is a dependent one. Figure 1 shows an example of the trapezoidal MF and formula (10) gives its description:
(10) |
Figure 1.
Trapezium membership function.
Vertical MF realises the mapping x → μ. The present fuzzy arithmetic is based on just such MFs. The idea of horizontal MFs has been elaborated by Andrzej Piegat. In this paper, an example of a trapezium MF will be presented but horizontal MFs can be used for all types of MFs. A function μ(x) is unambiguous in the direction of the variable μ (Figure 1) and ambiguous in the direction of x. Therefore, it seems impossible to define a membership function in the x-direction. The function from Figure 1 assigns two values of x, x L (μ) and x R (μ), for one value of μ. However, let us introduce the RDM variable: α x ∈ [0,1]. This variable has meaning of the relative-distance-measure and allows for determining of any point between two borders x L (μ) and x R (μ) of the function (Figure 2). RDM variable α x takes a value of zero on the left border and a value of 1 on the right border of the function. Between the left border and the right border it takes fractional values. The idea of RDM variables was successfully used in the multidimensional IA [37, 67–70]. The multidimensional IA has shown that full and precise solutions of granular problems have form of multidimensional granules that cannot be explained and understood in terms of 1-dimensional approaches.
Figure 2.
Visualization of the horizontal approach to fuzzy membership functions.
Formula (11) defines the left border and the right border of the trapezium MF (Figure 2). Consider
(11) |
RDM variable α x allows for a gradual transition of points between the left border and the right border. The interval x(μ) in Figure 2 is defined by the following formula:
(12) |
It can be noted in formula (12) that x = f(μ, α x ) is an unambiguous function existing in the 3D space, which can be seen in Figure 3.
Figure 3.
The horizontal membership function x = (1 + 2μ)+(4 − 3μ)α x , where α x , μ ∈ [0,1], corresponding to the function from Figure 2, in the 3D space as the unambiguous function.
It should be also noticed that RDM variables α i introduce the continuous Cartesian coordinate system in interval and fuzzy arithmetic calculations. In Moore's arithmetic and in μ-cuts' FA based on it, only borders of intervals or μ-cuts, for example, [a, b]+[c, d] = [a + b, c + d], take part in calculations. Insides of intervals are not taken into account. This fact hinders solving of more complicated problems and results in many paradoxes observed in IA and FA calculations. It also deprives IA and FA of many mathematical properties which the conventional mathematics of crisp numbers has. Few of these properties will be presented further on.
Thanks to the fact that RDM variables α i introduce in interval calculations local and continuous Cartesian coordinate system, RDM FA possesses almost the same mathematical properties as arithmetic of crisp numbers.
2.1. Additive Inverse Element −X of Element X
In μ-cuts' FA, trapezoidal membership function can be defined as a fuzzy interval with left border x L (μ) = a + (b − a)μ and right border x R (μ) = d − (d − c)μ (formula (13) and Figure 2). Consider
(13) |
A negative element −X is determined by the following formula:
(14) |
The subtraction result X(μ) − X(μ) determined by (15) is a fuzzy interval of nonzero span which means that, in μ-cuts' FA additive, inverse element does not exist. Consider
(15) |
In the case of RDM FA, the element X(μ, α x ) is determined by (16) and its negative element −X(μ, α x ) by (17). Consider
(16) |
(17) |
It is easy to check that the subtraction result X − X is exactly equal to zero:
(18) |
Thus, in the case of RDM FA, there exists the inverse additive element −X(μ, α x ).
2.2. Distributive Law of Multiplication
In the μ-cuts' FA, similarly as in Moore's interval arithmetic, the distributive law holds only in the limited form:
(19) |
In the multidimensional, continuous RDM FA, the distributive law holds fully. Consider
(20) |
Proof —
For any three intervals expressed in RDM notation, with α x , α y , α z ∈ [0,1],
(21) we have
(22)
2.3. Different Forms of Nonlinear Formulas
Let us consider results of μ-cuts' FA and RDM FA for the nonlinear formula C = A − A 2, where A is the fuzzy interval A = [0,1, 2] (Figure 4). This formula can take at least 3 forms: C 1 = A − A 2, C 2 = A(1 − A), and C 3 = (A − 1)+(1 − A)(1 + A). Fuzzy interval A has the form A = [a L (μ), a R (μ)] = [μ, 2 − μ]. Calculating value of C for particular forms, C 1, C 2, and C 3, with the application of μ-cuts' FA, three different results are obtained:
(23) |
Each of the results, C 1, C 2, and C 3, is different. For μ = 0, results mean spans (widths) of MF supports. They are equal to [−4,2], [−2,2], and [−4,4]. The differences are considerable. Thus, the formula C = A − A 2 cannot be calculated uniquely with μ-cuts' FA. If we use the multidimensional RDM FA, then interval A is expressed by (24) and its square A 2 by (25), where a is generic variable of A. One should notice that functions expressing A and A 2 are fully coupled (correlated); that is, values of a and α a have to be identical both in A and in A 2. Consider
(24) |
(25) |
Formula C 1 = A − A 2 can be determined by
(26) |
Formula C 2 = A(1 − A) can be determined by
(27) |
As can be seen, result for the second form C 2 is the same as for C 1. Result for the third form C 3 can be determined by
(28) |
The result C 3 is identical to C 1 and C 2. As the analysed example shows the multidimensional RDM FA provides unique solutions for nonlinear formulas independently of their mathematical form, it cannot be said about μ-cuts' FA. To better realise this fact, particular solutions will be visualised in Figure 4.
One can easily see that all three solutions, C 1, C 2, and C 3, are incorrect. According to the solution C 1, it is possible that the difference c = a − a 2 for a ∈ [0,2] could be equal to, for example, −4 or +2. However, these values cannot be obtained with any value of a ∈ [0,2]. According to the “result” C 2, possible values of c = a − a 2 could be equal to +1 or +2. But, in fact, these values are impossible. According to the “result” C 3, possible values of c are equal to −4 or +4. However, it is not true.
The full and precise 3D solution, in which formula (obtained with use of the RDM FA) is given by
(29) |
is shown in Figure 5.
Figure 5.
Full and complete 3D result of formula C = A − A 2, where A = [μ, 2 − μ], obtained with use of the multidimensional RDM FA (29), with marked upper (right) and lower (left) constraint of 2D membership function.
If we are interested in the simplified, traditional MF of the full 3D result in the horizontal version, it can be easily determined analytically on the basis of formula (30) for particular membership levels (μ-cuts). Consider
(30) |
where c(μ, α a ) is determined by formula (29). Extremes of c(μ, α a ) can be detected by usual, analytical function examination. However, one should remember that function extremes can lie not only on domain borders of variable α a (α a = 0, α a = 1) but also inside of the domain (fractional values of α a ). Then, the extremes can be detected by identification of critical points of the derivative dc(μ, α a )/dα a = 0.
In the analysed problem, examination of the function c(μ, α a ) has shown that its left border c L (μ) and right border c R (μ) have mathematical form expressed by the following formula:
(31) |
Membership function representing the span (width) of the full result c(μ, α a ) of the fuzzy formula C = A − A 2 is shown in Figure 6.
Figure 6.
Membership function representing the span of the full 3D result of the fuzzy formula C = A − A 2.
Comparison of MFs of results obtained with use of the μ-cuts' FA (Figure 4) and with use of the multidimensional RDM FA (Figure 6) shows that “results” provided by the popular μ-cuts' FA are excessively broad and false, because they suggest that certain values of the result c = a − a 2 are possible (e.g., −4, +2, +4, and others), whereas they in fact are impossible. It can be easily checked analytically or numerically for various allowed values of a ∈ [0,2].
Similarly, as the fuzzy formula C = A − A 2 has been solved with use of the multidimensional RDM FA, other linear and nonlinear formulas or equations can be solved also. Their solutions usually will be less uncertain than solutions obtained with not-multidimensional methods.
3. Addition of Two Independent Triangle Fuzzy Numbers
Triangle numbers (Figure 7) are used in practice very frequently. Two numbers “about 1.0” and “about 1.1” can represent weights of two stones, S1 and S2, that were weighed on the scales. The scales have shown x 1 = 1.0 kg for stone 1 and x 2 = 1.1 kg for stone 2. Because the scales have the maximal error ±0.1 kg, stone weights are uncertain and can be described by fuzzy numbers: X 1 is [0.9, 1.0, 1.1] and X 2 is [1.0, 1.1, 1.2].
Figure 7.
Membership functions of uncertain weights X 1 and X 2 of two stones S1 and S2.
Horizontal MF of the stone S1 is given by (32) and horizontal MF of the stone S2 is given by (33). Consider
(32) |
(33) |
If we want to calculate the sum y of weights of both stones, then the calculation with horizontal MFs can be made similarly as in a classical arithmetic, without use of the extension principle of Zadeh [37]. It is necessary only when vertical MFs are used. According to this principle, the membership function of the addition result is determined by (34), where A 1 and A 2 are fuzzy numbers [4, 10]. Consider
(34) |
If horizontal MFs are used, then the sum y = x 1 + x 2 is created directly by adding x 1 and x 2 determined by (32) and (33). Consider
(35) |
Formula (35) shows that the sum y = x 1 + x 2 is not 1-dimensional. It is a function defined in the 4D space because y = f(μ, α x 1 , α x 2 ). Thus, it cannot be visualised but it can be shown as the projection onto the 3D space: α x 1 × α x 2 × Y (Figure 8). The fourth dimension μ is shown in a form of μ-cuts. For μ = 0, sum (35) takes a form: y = 1.9 + 0.2(α x 1 + α x 2 ). For μ = 1, the sum has value y = 2.1 independently of values of α x 1 and α x 2 . Surfaces of both μ-cuts can be seen in Figure 8.
Figure 8.
Multidimensional granule of the addition result of two fuzzy numbers “about 1.0” and “about 1.1” being the set of quadruples {μ, α x 1 , α x 2 , y} determined by formula (35) and projected onto the 3D space α x 1 × α x 2 × Y.
The multidimensional result granule (Figure 8) contains an infinitive number of μ-cuts corresponding to particular fractional values of μ ∈ [0,1]. Figure 8 shows only two border cuts for μ = 0 and μ = 1. Apart from the 3D projection shown in Figure 8, other projections of the full 4D granule are also possible. Figure 9 shows the projection onto the 3D space X 1 × X 2 × μ. In this figure, addition results y = x 1 + x 2 are shown in a form of contour lines y = x 1 + x 2 = const.
Figure 9.
Projection of the full 4D addition result granule onto the 3D space X 1 × X 2 × μ with slant contour lines corresponding to particular addition results y = x 1 + x 2 = const.
Each of the contour lines y = const is the set of infinite number of tuples {x 1, x 2} satisfying the condition x 1 + x 2 = y. As can be seen in Figure 9, sum y = 2.3 can occur only for x 1 = 1.1 and x 2 = 1.2. Instead, sum y = 2.1 has considerably greater possibility of occurrence because the number of tuples {(x 1, x 2)∣x 1 + x 2 = y = 2.1} is infinitely large. The value y = 2.1 occurs, for example, for x 1 = 1.0 and x 2 = 1.1 and for x 1 = 1.01 and x 2 = 1.09. A cardinality of particular sets Y y [69] can be calculated with the following formula:
(36) |
where C is a contour line defined as
(37) |
The cardinality of particular sets Y y is equal to an area of y-cuts of the granule (Figure 9). It is easy to calculate. For example, the cardinality of the set Y 2.1 equals
(38) |
It is the greatest of all cardinalities (Max Abs Card(y)). It can be shown that the cardinality of particular sets is a square function of the sum y = x 1 + x 2 ((39) and (40)).
For y < a 1 + d 2,
(39) |
For y ≥ a 1 + d 2,
(40) |
The absolute cardinality of the sum y = x 1 + x 2 can take various numeric values. Therefore, it should be normalised to interval [0,1] for convenience ((41) and (42)). The normalised cardinality Norm Card(y) can also be called the relative cardinality Rel Card(y).
For y < a 1 + d 2,
(41) |
For y ≥ a 1 + d 2,
(42) |
It should be noticed that formulas (41) and (42) concern fuzzy numbers with an identical support. In the considered example, d 1 − a 1 = d 2 − a 2 = 0.2, so they take the following form:
(43) |
The cardinality distribution of particular values of the sum y = x 1 + x 2 for the considered example is shown in Figure 10.
Figure 10.
Normalised cardinality distribution Norm Card(y) of the occurrence of particular values of the sum y = x 1 + x 2 being the 2D representation of the 4D addition result of two independent fuzzy numbers “about 1.0” and “about 1.1” shown in Figure 7.
It should be emphasised once more that the distribution determined by formula (43) and shown in Figure 10 is not the addition result of two fuzzy numbers but only 2D information about the cardinality of particular sum values y = x 1 + x 2 derived from the full 4D addition result given by (35). The representation provided by Zadeh's extension principle (34) can also be obtained on the basis of the exact solution (35). The full 4D solution is given below. Consider
(44) |
The minimal value of the sum (the left border) y L for various levels of μ ∈ [0,1] is obtained for α x 1 = α x 2 = 0:
(45) |
The maximal sum value (the right border) y R is obtained for α x 1 = α x 2 = 1:
(46) |
The 2D representation of the addition result of two fuzzy numbers “about 1.0” and “about 1.1” obtained with formulae (45) and (46) is shown in Figure 11.
Figure 11.
2D representation of the full 4D addition result obtained with formulas (45) and (46) corresponding to the “result” obtained with Zadeh's extension principle (34).
The 2D representation obtained according to Zadeh's extension principle (34) informs only about the maximal spread of the full solution granule on particular μ-levels (Figure 9). Geometrically, the distribution from Figure 11 corresponds to the cross section going from the corner y = a 1 + a 2 = 1.9 to the corner y = d 1 + d 2 = 2.3 through the peak of the membership function in Figure 9.
4. Addition of Two Fuzzy Numbers with Taking into Account the Order Relation
Let us analyse an example of a fuzzy number addition similar to that in Section 3, but with small difference, with the additional knowledge that not only MFs of added numbers but also their order relation is known.
Thus, there are two stones S1 and S2 which had been weighed on spring scales with maximal error equal to 0.1 kg. Therefore, weights x 1 and x 2 of stones are uncertain and can be expressed in the form of fuzzy numbers: X 1 is [0.9,1.0,1.1] and X 2 is [1.0,1.1,1.2]. MFs of uncertain weights are shown in Figure 7. After weighting the stones on the spring scales, their weights were compared on balance scales. The scales showed that the weight x 2, though uncertain, is greater than x 1. Therefore, the weights order x 2 > x 1 is known and can be taken into account in the weights' adding. The knowledge of the order relation changes (constraints) the domain of possible weight tuples {x 1, x 2} in comparison with the example from Section 3. Now less tuples will be feasible (Figure 12).
Figure 12.
Domain of feasible tuples of weight values {x 1, x 2} which can take part in adding of fuzzy numbers x 1 and x 2.
In the considered example, uncertain weights x 1 and x 2 are expressed by the same horizontal MFs as given by formulas (32) and (33). However, the addition result y is determined by more constraints (formula (47)) as in the case without the weights' order relation. Consider
(47) |
Equations (47) determine the full and precise addition result y = f(α x 1 , α x 2 , μ) that has a form of the 4D information granule. This granule cannot be visualised. However, we can visualise its 3D projection onto the space X 1 × X 2 × Y that is shown in Figure 13.
Figure 13.
3D projection of the 4D granule of the addition result of two fuzzy numbers “about 1.0” and “about 1.1” onto the space X 1 × X 2 × Y.
A comparison of addition result granules obtained without (Figure 8) and with (Figure 13) taking into account the order relation x 2 > x 1 shows that it considerably changes the granules shape. Figure 14 shows other projection of the full 4D result granule onto the space X 1 × X 2 × μ. Values of the sum y = x 1 + x 2 are shown in this figure in a form of contour lines of constant y values.
Figure 14.
Projection of the full 4D result granule of the addition of two fuzzy numbers “about 1.0” and “about 1.1” with taking into account the order relation x 2 > x 1 onto the 3D space X 1 × X 2 × μ.
The granule of the addition result from Figure 14 can be compared to the result granule of addition without the order relation x 2 > x 1 shown in Figure 9. The comparison shows that the relation x 2 > x 1 considerably decreases the domain of possible solutions. At the same time, we can observe decrease of cardinalities of particular y values for y ∈ [2.0,2.2]. Now, formulas for cardinalities take new forms: (50)–(56). Consider
(48) |
For y ∈ [a 1 + a 2, a 1 + b 2] = [1.9,2.0],
(49) |
(50) |
For y ∈ [a 1 + b 2, a 1 + d 2] = [2.0,2.1],
(51) |
(52) |
For y ∈ [a 1 + d 2, b 1 + d 2] = [2.1,2.2],
(53) |
(54) |
For y ∈ [b 1 + d 2, d 1 + d 2] = [2.2,2.3],
(55) |
(56) |
Figures 15(a) and 15(b) show the comparison of 2D representations of full 4D addition results in a form of cardinality distributions Norm Card(y) determined by (50)–(56).
Figure 15.
2D representation of the full 4D result in a form of the cardinality distribution for the case of the addition of two independent fuzzy numbers (a) and for the case of the addition of two fuzzy numbers constrained by the order relation x 2 > x 1 (b).
It should be noticed that the 2D representation obtained with use of Zadeh's extension principle (34) is still identical and has the form shown in Figure 16 independently whether the addition is realised with or without taking into account the order relation x 2 > x 1.
Figure 16.
2D representation of the full 4D addition result obtained with use of the extension principle (34) both for the case of two independent numbers and dependent numbers constrained by the order relation x 2 > x 1.
The extension principle (34) does not “perceive” the domain loss (compare Figures 8 and 13) which is its important drawback. It provides even less information about the full 4D addition result than the 2D representation determined with formulas (50)–(56) and shown in Figure 15.
5. Addition of Two Fully Dependent Fuzzy Numbers
Correlations between variables have no significance in the case of an addition of two crisp numbers. However, in the case of intervals, fuzzy intervals, and fuzzy numbers, mutual dependencies are of great importance. Let us consider another example.
Small John did not know exactly how much money he had in his money box after a month of saving. He evaluated that the sum was about $10, at least $7, and no more than $13. This evaluation can be expressed by the fuzzy number [46, 49, 51]. His father promised to double the saved sum after 1 month. He opened the box, checked the sum, and added exactly the same sum to the box. However, father did not inform John of the sum he added. How much money does small John have in the box now?
Let us denote by x 1 the uncertain sum of money which small John had in the money box at the beginning: x 1 is “about 10” [46, 49, 51]. The horizontal MF of the set “about 10” can be determined on the base of formula (32):
(57) |
Though the precise value of the sum x 1 is not known for us and for John, his father knew it and added the same sum x 2 to John's money box. Because x 1 = x 2, then from (58) we can conclude that α x 1 = α x 2 . Consider
(58) |
It means that both RDM variables and also variables x 1 and x 2 are mutually fully coupled (correlated). The resulting sum y = x 1 + x 2 can be expressed by the following formula:
(59) |
and it is visualised in Figure 17.
Figure 17.
Visualization of the addition result of two fully dependent fuzzy numbers: “about 10” + “about 10” for which the condition α x 1 = α x 2 has to be satisfied.
As Figure 17 shows, the addition result “about 20” is in this case the flat and not 3D information granule as in the case of the addition of fully independent fuzzy numbers; see Figure 9. As before, the flat 2D representation in the form of the horizontal MF y = f(μ) can be determined on the basis of exact solution (59). This function can be characterized with left and right border functions y L (μ) and y R (μ). Both functions can be determined from the full result:
(60) |
The left, minimal function border is obtained for minimal values of RDM variables α x 1 = α x 2 = 0. Consider
(61) |
The right border of the 2D representation, the border of maximal y values, is obtained for maximal values of RDM variables α x 1 = α x 2 = 1. Consider
(62) |
2D representation of the full 4D addition result (59) is shown in Figure 18.
Figure 18.
2D representation of the full 4D result (59) y = f(μ, α x 1 , α x 2 ) of the addition of two fully dependent fuzzy numbers “about 10” + “about 10” satisfying the condition α x 1 = α x 2 .
6. Solving Additive Fuzzy Equation: A + X = C
As it was mentioned in Section 1, solving equations with one unknown x makes great difficulties even for the interval arithmetic which is considerably simpler than the fuzzy arithmetic. It will be shown in this section that solving fuzzy equations with use of horizontal MFs is possible and not difficult. Let us consider the last example.
Corn harvested from field 1 was weighed on the scales that have maximal error equal to 1 ton. The scales indicated 5 tons. Thus, the true weight a of the corn can be expressed in a form of the fuzzy number A = [4,5, 6]. Corn harvested from field 2 was not weighed on the field. Therefore, its true weight x was not known even approximately. Both crops were brought to a warehouse. There, they were mixed and weighed together on 3 scales that also have the maximal error equal to 1 ton. The scales indicated 15 tons. Thus, the sum c of crops can be expressed in a form of the fuzzy number C = [14,15,16]. How large is the weight x of the crop from field 2? The knowledge of a and x is important, because farmers 1 and 2 should be paid fairly for their delivery.
This problem cannot be solved uniquely with μ-cut method based on the traditional interval arithmetic. However, it can be solved with an application of horizontal MFs (63) which can be constructed on the basis of the general formula (12). Consider
(63) |
Value c, though known only approximately, is the result of the addition of also only approximately known values a and x. They are connected by a dependence a + x = c. Thus, the unknown value x of crop from field 2 can be calculated from the following formula:
(64) |
It can be easily noticed that formula (64) is four-dimensional: x = f(μ, α a , α c ). It cannot be expressed exactly in the 2D space, which is suggested by the extension principle and various versions of the fuzzy arithmetic. However, it can be visualised in a form of the 3D projection on subspaces, for example, on the subspace A × X × μ (variable α a is equivalent to variable a because of the transformation a = 4 + 2α a ) (Figure 19).
Figure 19.
3D projection of the full 4D solution of (64) from the space A × C × X × μ onto the space A × X × μ.
Figure 19 shows the support of the membership function of solution (64) being the μ-cut of this function on the level μ = 0. It can be noticed that this support does not have a shape of a rectangle but of a parallelogram, which is shown additionally in Figure 20.
Figure 20.
Support of the 3D membership function of the solution from Figure 19. TP1 = (5,9.5) and TP2 = (4.5,9) are examples of test points that can be used for the correctness testing of obtained solutions.
Figure 20 shows that the solution of the fuzzy equation A + X = C is not 1-dimensional one and therefore it is not possible to express it in a form of the interval which is usually done by these versions of fuzzy arithmetics that are based on the classical IA. Moore's IA provides us with two possible solutions: (65) and (66). The first result (65) is obtained if the equation A + X = C is solved for the cut μ = 0. Consider
(65) |
Solution (65) represents only one of many possible solution subsets: it is the subset containing tuples {(a, x)∣x = 10}. However, apart from this subset, there is also an infinitely large set of solution tuples {a, x} which satisfy the interval equation A + X = C. Example of such tuple is the test point TP1 (a, x) = (5.0,9.5) in Figure 20, because, for a = 5 ∈ [4,6], the sum a + x = c = 5 + 9.5 = 14.5 ∈ [14,16].
The second possible solution of the equation A + X = C for μ = 0 gives formula (66). Consider
(66) |
One can easily convince himself that this result is not the precise solution of the considered equation. It is only information about the greatest span [8,12] of the precise solution (64), which has a form of a parallelogram (Figure 20). As can be seen in Figure 20, for the interval , we can create an infinite number of tuples {a, x} which are not solutions of the considered equation. For example, the tuple (4.5,9) corresponding to the test point TP2 has coordinates a = 4.5 ∈ [4,6] and . Above-mentioned examples show that only multidimensional approach to the fuzzy and interval arithmetic can give correct problem solutions. It should be noticed that the maximal solution span [8,12] provided by Moore's arithmetic can be easily obtained from the multidimensional solution (64) of equation A + X = C. If we are interested in the solution span on the cut level μ = 0, then this value of μ can be inserted into (64) being 4D solution and, as a result, we obtain
(67) |
A simple analysis of this equation gives the conclusion that the minimal value occurs for α a = 1 and α c = 0. This value equals . The maximal value occurs for α a = 0 and α c = 1. It is equal to 12. Hence, the maximal solution span . Figure 21 shows 2D representation of the full 4D solution of the equation A + X = C in a form of the cardinality distribution of particular x values.
Figure 21.
2D distribution of the full 4D solution of the fuzzy equation A + X = C in a form of the cardinality distribution of particular x values, x ∈ [8,12].
7. Conclusions
The paper presents the new concept of horizontal MFs which were used for the addition as the exemplary operation on fuzzy numbers. The application of such functions in combination with the RDM arithmetic enables multidimensional approach to operations on fuzzy numbers and thereby it allows for removing some drawbacks and weaknesses of the fuzzy arithmetic. The use of horizontal MFs considerably facilitates calculations because now uncertain values can be inserted directly into equations without using the extension principle.
Additionally, the RDM arithmetic enables taking into account correlations occurring between arguments of mathematical operations which is not possible using one-dimensional approach offered by classic FA methods.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
References
- 1.Dubois D., Prade H. Operations on fuzzy numbers. International Journal of Systems Science . 1978;9(6):613–626. [Google Scholar]
- 2.Dutta P., Boruah H., Ali T. Fuzzy arithmetic with and without using α-cut method: a comparative study. International Journal of Latest Trends in Computing . 2011;2(1):99–107. [Google Scholar]
- 3.Fodor J., Bede B. Arithmetics with fuzzy numbers: a comparative overview. Proceedings of the 4th Slovakian-Hungarian Joint Symposium on Applied Machine Intelligence; 2006; Herlany, Slovakia. pp. 54–68. [Google Scholar]
- 4.Hanss M. Applied Fuzzy Arithmetic . Berlin, Germany: Springer; 2005. [Google Scholar]
- 5.Hanss M. Fuzzy arithmetic for uncertainty analysis. In: Seising R., Trillas E., Moraga C., Termini S., editors. On Fuzziness . Vol. 298. Berlin, Germany: Springer; 2013. pp. 235–240. (Studies in Fuzziness and Soft Computing). [DOI] [Google Scholar]
- 6.Kaufmann A., Gupta M. M. Introduction to Fuzzy Arithmetic: Theory and applications . New York, NY, USA: Van Nostrand Reinhold; 1991. [Google Scholar]
- 7.Klir G. J. Fuzzy arithmetic with requisite constraints. Fuzzy Sets and Systems . 1997;91(2):165–175. doi: 10.1016/s0165-0114(97)00138-3. [DOI] [Google Scholar]
- 8.Klir G. J., Pan Y. Constrained fuzzy arithmetic: basic questions and some answers. Soft Computing—A Fusion of Foundations, Methodologies and Applications . 1998;2(2):100–108. doi: 10.1007/s005000050038. [DOI] [Google Scholar]
- 9.Pedrycz W., Skowron A., Kreinovich V. Handbook of Granular Computing . Chichester, UK: John Wiley & Sons; 2008. [Google Scholar]
- 10.Piegat A. Fuzzy Modeling and Control . New York, NY, USA: Physica; 2001. [Google Scholar]
- 11.Stefanini L., Sorini L., Guerra M. L. Parametric representation of fuzzy numbers and application to fuzzy calculus. Fuzzy Sets and Systems . 2006;157(18):2423–2455. doi: 10.1016/j.fss.2006.02.002. [DOI] [Google Scholar]
- 12.Stefanini L., Sorini L., Guerra M. Fuzzy numbers and fuzzy arithmetic. In: Pedrycz W., Skowron A., Kreinovich V., editors. Handbook of Granular Computing . Chichester, UK: John Wiley & Sons; 2008. pp. 249–283. [Google Scholar]
- 13.Stefanini L. A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets and Systems . 2010;161(11):1564–1584. doi: 10.1016/j.fss.2009.06.009. [DOI] [Google Scholar]
- 14.Stefanini L. Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications . Vol. 81. Berlin, Germany: Springer; 2010. New tools in fuzzy arithmetic with fuzzy numbers; pp. 471–480. (Communications in Computer and Information Science). [DOI] [Google Scholar]
- 15.Gauger U., Turrin S., Hanss M., Gaul L. A new uncertainty analysis for the transformation method. Fuzzy Sets and Systems . 2008;159(11):1273–1291. doi: 10.1016/j.fss.2007.12.027. [DOI] [Google Scholar]
- 16.Giannini O., Hanss M. An interdependency index for the outputs of uncertain systems. Fuzzy Sets and Systems . 2008;159(11):1292–1308. doi: 10.1016/j.fss.2007.12.028. [DOI] [Google Scholar]
- 17.Haag T., Hanss M. Nondeterministic Mechanics . Vienna, Austria: Springer; 2012. Comprehensive modeling of uncertain systems using fuzzy set theory; pp. 193–226. [DOI] [Google Scholar]
- 18.Hanss M., Turrin S. ‘The future is fuzzy’—an approach to comprehensive modeling and analysis of systems with epistemic uncertainties. Proceedings of the Leuven Symposium on Applied Mechanics in Engineering (LSAME '08); 2008; Leuven, Belgium. [Google Scholar]
- 19.Liu B. Uncertainty Theory . Berlin, Germany: Springer; 2010. [Google Scholar]
- 20.Zadeh L. A. Toward a generalized theory of uncertainty (GTU)—an outline. Information Sciences . 2005;172(1-2):1–40. doi: 10.1016/j.ins.2005.01.017. [DOI] [Google Scholar]
- 21.Li Q.-X., Liu S.-F. The foundation of the grey matrix and the grey input-output analysis. Applied Mathematical Modelling . 2008;32(3):267–291. doi: 10.1016/j.apm.2006.12.002. [DOI] [Google Scholar]
- 22.Wu C. C., Chang N. B. Grey input-output analysis and its application for environmental cost allocation. European Journal of Operational Research . 2003;145(1):175–201. doi: 10.1016/S0377-2217(02)00174-1. [DOI] [Google Scholar]
- 23.Klir G., Yuan B., editors. Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems: Selected Papers by Lotfi A. Zadeh . Vol. 6. River Edge, NJ, USA: World Scientific Publishing; 1996. (Advances in Fuzzy Systems—Applications and Theory). [Google Scholar]
- 24.Zadeh L. A. Fuzzy logic = computing with words. IEEE Transactions on Fuzzy Systems . 1996;4(2):103–111. doi: 10.1109/91.493904. [DOI] [Google Scholar]
- 25.Zadeh L. A. From computing with numbers to computing with words—from manipulation of measurements to manipulation of perceptions. International Journal of Applied Mathematics and Computer Science . 2002;12(3):307–324. [Google Scholar]
- 26.Zhou C. Fuzzy-arithmetic-based Lyapunov synthesis in the design of stable fuzzy controllers: a computing-with-words approach. International Journal of Applied Mathematics and Computer Science . 2002;12(3):411–421. [Google Scholar]
- 27.Dymowa L. Soft Computing in Economics and Finance . Berlin, Germany: Springer; 2011. [Google Scholar]
- 28.Dymova L., Sevastjanov P., Tikhonenko A. An approach to generalization of fuzzy TOPSIS method. Information Sciences . 2013;238:149–162. doi: 10.1016/j.ins.2013.02.049. [DOI] [Google Scholar]
- 29.Hanss M. On the implementation of fuzzy arithmetical operations for engineering problems. Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society (NAFIPS ’99); July 1999; New York, NY, USA. pp. 462–466. [DOI] [Google Scholar]
- 30.Tomaszewska K., Piegat A. Application of the horizontal membership function to the uncertain displacement calculation of a composite massless rod under a tensile load. Proceedings of the International Conference on Advanced Computer Systems; October 2014; Międzyzdroje, Poland. [Google Scholar]
- 31.Goguen J. A. L-fuzzy sets. Journal of Mathematical Analysis and Applications . 1967;18(1):145–174. doi: 10.1016/0022-247x(67)90189-8. [DOI] [Google Scholar]
- 32.Dubois D., Fargier H., Fortin J. A generalized vertex method for computing with fuzzy intervals. Proceedings of the IEEE International Conference on Fuzzy Systems; July 2004; pp. 541–546. [Google Scholar]
- 33.Moore R. E. Interval Analysis . Englewood Cliffs, NJ, USA: Prentice-Hall; 1966. [Google Scholar]
- 34.Moore R., Kearfott R., Cloud M. Introduction to Interval Analysis . Philadelphia, Pa, USA: SIAM; 2009. [Google Scholar]
- 35.Moore R., Lodwick W. Interval analysis and fuzzy set theory. Fuzzy Sets and Systems . 2003;135(1):5–9. doi: 10.1016/s0165-0114(02)00246-4. [DOI] [Google Scholar]
- 36.Hanss M., Turrin S. A fuzzy-based approach to comprehensive modeling and analysis of systems with epistemic uncertainties. Structural Safety . 2010;32(6):433–441. doi: 10.1016/j.strusafe.2010.06.003. [DOI] [Google Scholar]
- 37.Piegat A., Tomaszewska K. Decision-making under uncertainty using Info-Gap Theory and a new multi-dimensional RDM interval arithmetic. Electrical Review . 2013;89(8):71–76. [Google Scholar]
- 38.Briggs F. E. On problems of estimation in Leontief models. Econometrica . 1957;25(3):444–455. doi: 10.2307/1907960. [DOI] [Google Scholar]
- 39.Leontief W. W. Quantitative input and output relations in the economic systems of the united states. The Review of Economics and Statistics . 1936;18(3):105–125. doi: 10.2307/1927837. [DOI] [Google Scholar]
- 40.Abbasbandy S., Asady B. Newton's method for solving fuzzy nonlinear equations. Applied Mathematics and Computation . 2004;159(2):349–356. doi: 10.1016/j.amc.2003.10.048. [DOI] [Google Scholar]
- 41.Abbasbandy S., Jafarian A. Steepest descent method for system of fuzzy linear equations. Applied Mathematics and Computation . 2006;175(1):823–833. doi: 10.1016/j.amc.2005.07.036. [DOI] [Google Scholar]
- 42.Abbasbandy S., Otadi M. Numerical solution of fuzzy polynomials by fuzzy neural network. Applied Mathematics and Computation . 2006;181(2):1084–1089. doi: 10.1016/j.amc.2006.01.073. [DOI] [Google Scholar]
- 43.Allahviranloo T. The Adomian decomposition method for fuzzy system of linear equations. Applied Mathematics and Computation . 2005;163(2):553–563. doi: 10.1016/j.amc.2004.02.020. [DOI] [Google Scholar]
- 44.Allahviranloo T. Successive over relaxation iterative method for fuzzy system of linear equations. Applied Mathematics and Computation . 2005;162(1):189–196. doi: 10.1016/j.amc.2003.12.085. [DOI] [Google Scholar]
- 45.Allahviranloo T., Ahmady E., Ahmady N., Alketaby K. S. Block Jacobi two-stage method with Gauss-Seidel inner iterations for fuzzy system of linear equations. Applied Mathematics and Computation . 2006;175(2):1217–1228. doi: 10.1016/j.amc.2005.08.047. [DOI] [Google Scholar]
- 46.Bhiwani R. J., Patre B. M. Solving first order fuzzy equations: a modal interval approach. Proceedings of the 2nd International Conference on Emerging Trends in Engineering and Technology (ICETET' 09); December 2009; IEEE Computer Society; pp. 953–956. [DOI] [Google Scholar]
- 47.Bisserier A., Boukezzoula R., Galichet S. Foundations of Reasoning under Uncertainty . Vol. 249. Berlin, Germany: Springer; 2010. Linear fuzzy regression using trapezoidal fuzzy intervals; pp. 1–22. (Studies in Fuzziness and Soft Computing). [DOI] [Google Scholar]
- 48.Bisserier A., Galichet S., Boukezzoula R. Fuzzy piecewise linear regression. Proceedings of the 5th IEEE World Congress on Computational Intelligence; June 2008; Hong Kong. pp. 2089–2094. [Google Scholar]
- 49.Boukezzoula R., Galichet S., Foulloy L. Inverse arithmetic operators for fuzzy intervals. 5th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2007; September 2007; cze. pp. 279–286. [Google Scholar]
- 50.Buckley J. J., Eslami E., Hayashi Y. Solving fuzzy equations using neural nets. Fuzzy Sets and Systems . 1997;86(3):271–278. doi: 10.1016/s0165-0114(96)00008-5. [DOI] [Google Scholar]
- 51.Buckley J. J., Feuring T., Hayashi Y. Solving fuzzy equations using evolutionary algorithms and neural nets. Soft Computing . 2002;6(2):116–123. doi: 10.1007/s005000100147. [DOI] [Google Scholar]
- 52.Buckley J. J., Qu Y. Solving linear and quadratic fuzzy equations. Fuzzy Sets and Systems . 1990;38(1):43–59. doi: 10.1016/0165-0114(90)90099-r. [DOI] [Google Scholar]
- 53.Calzi M. Towards a general setting for the fuzzy mathematics of finance. Fuzzy Sets and Systems . 1990;35(3):265–280. doi: 10.1016/0165-0114(90)90001-m. [DOI] [Google Scholar]
- 54.Dehghan M., Hashemi B. Iterative solution of fuzzy linear systems. Applied Mathematics and Computation . 2006;175(1):645–674. doi: 10.1016/j.amc.2005.07.033. [DOI] [Google Scholar]
- 55.Dymova L. Parallel Processing and Applied Mathematics . Vol. 6068. Springer; 2010. Fuzzy solution of interval nonlinear equations; pp. 418–426. (Lecture Notes in Computer Science). [Google Scholar]
- 56.Fullér R., Majlender P. On interactive fuzzy numbers. Fuzzy Sets and Systems . 2004;143(3):355–369. doi: 10.1016/s0165-0114(03)00180-5. [DOI] [Google Scholar]
- 57.Jafarian A., Nia S. M. On the nonlinear fuzzy equations system by fuzzy neural networks method. International Journal of Fuzzy Systems . 2013;15(3):388–393. [Google Scholar]
- 58.Mazarbhuiya F. A., Mahanta A. K., Baruah H. K. Solution of the fuzzy equation A + X = B using the method of superimposition. Applied Mathematics . 2011;2(8):1039–1045. doi: 10.4236/am.2011.28144. [DOI] [Google Scholar]
- 59.Muzzioli S., Reynaerts H. Fuzzy linear systems of the form A 1 x + b 1 = A 2 x + b 2 . Fuzzy Sets and Systems . 2006;157(7):939–951. [Google Scholar]
- 60.Rzeżuchowski T., Wasowski J. Solutions of fuzzy equations based on Kaucher arithmetic and AE-solution sets. Fuzzy Sets and Systems . 2008;159(16):2116–2129. doi: 10.1016/j.fss.2008.01.033. [DOI] [Google Scholar]
- 61.Sevastjanov P., Dymova L. Parallel Processing and Applied Mathematics: 7th International Conference, PPAM 2007, Gdansk, Poland, September 9–12, 2007 Revised Selected Papers . Vol. 4967. Berlin, Germany: Springer; 2008. Fuzzy solution of interval linear equations; pp. 1392–1399. (Lecture Notes in Computer Science). [DOI] [Google Scholar]
- 62.Sevastjanov P., Dymova L. A new method for solving interval and fuzzy equations: linear case. Information Sciences . 2009;179(7):925–937. doi: 10.1016/j.ins.2008.11.031. [DOI] [Google Scholar]
- 63.Tomaszewska K. The application of horizontal membership function to fuzzy arithmetic operations. Proceedings of the 11th Polish Conference of Students and Young Scientists; May 2014; Szczecin, Poland. pp. 1–8. [Google Scholar]
- 64.Zheng B., Wang K. General fuzzy linear systems. Applied Mathematics and Computation . 2006;181(2):1276–1286. doi: 10.1016/j.amc.2006.02.027. [DOI] [Google Scholar]
- 65.Landowski M. Differences between Moore and RDM interval arithmetic. Proceedings of the 13th International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets (IWIFSGN ’14); September 2014; Warsaw, Poland. [Google Scholar]
- 66.Piegat A. Cardinality approach to fuzzy number arithmetic. IEEE Transactions on Fuzzy Systems . 2005;13(2):204–215. doi: 10.1109/tfuzz.2004.840098. [DOI] [Google Scholar]
- 67.Piegat A., Landowski M. Is the conventional intervalarithmetic correct? Journal of Theoretical and Applied Computer Science . 2012;6(2):27–44. [Google Scholar]
- 68.Piegat A., Landowski M. New Trends in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Vol. II: Applications . Warsaw, Poland: System Research Institute of Polish Academy of Sciences; 2013. Multidimensional approach to interval-uncertainty calculations; pp. 137–152. [Google Scholar]
- 69.Piegat A., Landowski M. Two interpretations of multidimensional RDM interval arithmetic: multiplication and division. International Journal of Fuzzy Systems . 2013;15(4):486–496. [Google Scholar]
- 70.Piegat A., Landowski M. Correctness-checking of uncertain-equation solutions on example of the interval-modal method. In: Atanassov T., editor. Modern Approaches in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Volume I: Foundations . Warsaw, Poland: IBS PAN; 2014. pp. 159–170. [Google Scholar]