1 Introduction

The concept of a horizontal membership function (HMF) is used in the multidimensional fuzzy arithmetic (MFA) (Piegat and Landowski 2013, 2015; Piegat and Pluciński 2015, 2017), which in first publications was called RDM fuzzy arithmetic (from relative–distance–measure). MFA due to its multidimensional approach to fuzzy calculations is more difficult to understand than 2D types of the fuzzy arithmetic (FA). Therefore, MFA requires a thorough explanation of its essence and details, supported by examples. The scientific team studying MFA has carefully explained how to perform each arithmetic operation in successive papers. Piegat and Landowski (2013) present the implementation of multiplication and division operations, Piegat and Pluciński (2015) present addition, and Piegat and Pluciński (2017) present the division operation, which is slightly more difficult than the other arithmetic operations. Piegat and Landowski (2015) presents the first applications of HMF.

An important advantage of using MFA is its ability to find algebraic solutions of equations, including systems of equations with multiple unknowns. Solving fuzzy equations is very difficult and there are many publications on this subject. Kołodziejczyk et al. (2020) show the advantage of HMF and MFA over one of the methods of solving nonlinear fuzzy equations known in the literature.

Solving differential equations is also a very difficult problem—there are a lot of publications in this area as well. The application of HMF and MFA to this task allowed to obtain precise solutions of differential equations, which are very important in the modeling, study and control of dynamic systems. Mazandarani and Zhao (2019), Najariyan and Zhao (2020) and Mazandarani and Xiu (2021) present the results of this type of research.

This paper compares HMF used in MFA and the inverse membership function (InvMF) used to create gradual numbers (GN) used in the gradual interval arithmetic (GIA). GIA can be considered somewhat competitive to MFA. The concept of gradual elements of fuzzy sets was introduced by Dubois and Prade (2008), and the concept of gradual numbers and the fundamentals of GIA were presented by Fortin et al. (2008). Currently, GIA is being developed by, among others (Boukezzoula et al. 2021). An extended notion of GIA—thick gradual intervals, which is equivalent to type-2 fuzzy intervals used in the fuzzy arithmetic, has also been developed (Boukezzoula et al. 2019). In turn, Piegat and Landowski (2021a) present a new MFA based on type-2 HMFs which are extensions of type-1 HMFs. Application examples are also presented in this paper.

The fact, that MFA is more difficult to understand than 2D types of the fuzzy arithmetic has sometimes resulted in erroneous comments about it expressed in some FA papers and in opinions of some reviewers. One of the objections against MFA is the assumption that HMF used in MFA and and inverse membership function (InMF) used in the gradual interval arithmetic (GIA) (Boukezzoula et al. 2021; Dubois and Prade 2008; Fortin et al. 2008) are one and the same. More precisely, that HMF in the theory of gradual numbers is called the assignment function (AF) of a gradual number. The authors of this objection also propose that HMF should be treated as the inverse membership function.

Such opinions have not only theoretical, but also practical implications. Authors of publications on various applications of MFA and HMF inform us about erroneous comments made in reviews of their papers that lead to an unfair evaluation. Erroneous opinions about MFA and HMF are also shared either verbally or by correspondence. Therefore, a strong motivation for the preparation of this paper is to prevent the spread of misinformation and the downgrading of HMF and MFA.

The main contribution of this paper is the detailed analysis of the properties of InvMF used in GIA and HMF used in HMA and the identification of the differences between them. It can be noted at the very beginning that the basic and main difference between InvMF and HMF is the different dimensionality of these two functions resulting from their nature. The higher dimensionality of HMF provides advantages in solving difficult FA problems such as solving systems of equations (Kołodziejczyk et al. 2020), solving fuzzy differential equations (Mazandarani and Zhao 2019; Najariyan and Zhao 2020; Mazandarani and Xiu 2021), implementing operations in type-2 arithmetic (Piegat and Landowski 2021a, b).

In the paper, we want to make it clear that HMF and InvMF are not the same. In Sect. 2, we will explain what HMF is and how it is used in MFA. Sect. 3 will explain the concept of an assignment function, InvMF, a gradual number (GN), a gradual interval (GI) and will show how these terms are used in GIA. Section 4 will explain the differences between HMF and the assignment function. Section 5 will give examples of calculations using HMFs and InMFs and Sect. 6 presents conclusions.

Notations used in the paper: AF—assignment function, CI—constrained interval, FI—fuzzy interval, FN—fuzzy number, FS—fuzzy set, GA—gradual arithmetic, GIA—gradual interval arithmetic, GN—gradual number, MF—membership function, HMF—horizontal membership function, IA—interval arithmetic, InvMF—inverse membership function, MFA—multidimensional fuzzy arithmetic, RDM—relative-distance-measure, RDM-FA—RDM-fuzzy arithmetic, SIA—standard interval arithmetic.

2 Horizontal membership function

Figure 1 shows a trapezoidal MF defined by a quadruple \((a_1, a_2, a_3, a_4)\). This MF presents the knowledge about the value of the variable a that is not known exactly.

Fig. 1
figure 1

The trapezoidal membership function is defined by quadruple \((a_1, a_2, a_3, a_4) = (3,6,8,10)\), where \(\mu ^{-}(a)\) means the left border and \(\mu ^{+}(a)\) the right border of MF

The traditional, most commonly used, vertical MF (VMF) \(\mu (a)\) is defined by the formula (1).

$$\begin{aligned} \mu (a) = \left\{ \begin{array}{lll} \mathrm {for} &{} a \in [a_1, a_2] &{} \ \mu (a) = \mu ^{-}(a) = \frac{a - a_1}{a_2 - a_1} \\ \mathrm {for} &{} a \in [a_2, a_3] &{} \ \mu (a) = 1 \\ \mathrm {for} &{} a \in [a_3, a_4] &{} \ \mu (a) = \mu ^{+}(a) = \frac{a_4 - a}{a_4 - a_3} \end{array} \right. \end{aligned}$$
(1)

This MF corresponds to the first definition of the fuzzy set (FS) by Zadeh (1965). It defines borders of FS and for each value of the variable a it assigns the degree of membership \(\mu (a)\) as the output. On the basis of vertical models of the left \(\mu ^{-}(a)\) and right \(\mu ^{+}(a)\) borders, it is possible to calculate inverse functions \(a^{-}(\mu )\) and \(a^{+}(\mu )\) defined by the formula (2).

$$\begin{aligned} a^{-}(\mu )&= a_1 + \mu (a_2 - a_1), \quad \mu \in [0,1] \nonumber \\ a^{+}(\mu )&= a_4 - \mu (a_4 - a_3), \quad \mu \in [0,1] \end{aligned}$$
(2)

In inverse functions, the informational output is not the degree of membership \(\mu \) but the value of the variable a, Fig. 2.

Fig. 2
figure 2

Notations used in HMF: \(\gamma _a\)—RDM-variable, \(a^{-}(\mu )\)—left border, and \(a^{+}(\mu )\)—right border

RDM-variable \(\gamma _a\) specifies a set of points that lay at an equal, relative distance from the left border \(a^{-}(\mu )\). Figure 2 shows the exemplary set that is located at the distance \(\gamma _a = 0.5\) from the left border. The RDM-variable allows to enter the same (normalized to the range [0,1]) distance of a point located on any \(\alpha \)-cut of MF. Using the concept of the RDM-variable it is possible to define HMF (3) for the fuzzy set A.

$$\begin{aligned}&A: \ a \in A \nonumber \\&\quad a(\mu , \gamma _a) = a^{-}(\mu ) + \gamma _a [a^{+}(\mu ) - a^{-}(\mu )], \quad \mu , \gamma _a \in [0,1] \nonumber \\&\quad a(\mu , \gamma _a) = a_1 + \mu (a_2 - a_1) \nonumber \\&\qquad \qquad \qquad \;\;+ \gamma _a [a_4-a_1 - \mu (a_4 - a_3 - a_2 + a_1)], \quad \mu , \gamma _a \in [0,1] \end{aligned}$$
(3)

The formula (3) looks complicated, but after substituting the numerical values of coefficients given in Fig. 1, it is simplified to the formula (4).

$$\begin{aligned}&A: \ a \in A \nonumber \\&a(\mu , \gamma _a) = 3 + 3 \mu + \gamma _a [7 - 5 \mu ], \quad \mu , \gamma _a \in [0,1] \end{aligned}$$
(4)

Formulas (3) and (4) defining HMF allow to specify each point lying inside the fuzzy set A with the coordinates \((\mu , \gamma _a)\). For example at the level \(\mu = 0.5\) and \(\gamma _a = 0.5\), there is a point with the coordinate \(a = 6.75\), Fig. 2. Since the relation \(\mu , \gamma _a \in [0,1]\) is valid, HMF (3) is a mathematical model not only of borders of MF, but also of its entire interior (body) (Fig. 3).

Fig. 3
figure 3

Illustration of the modeling by HMF (3) of the entire area of the fuzzy set A together with its borders

The HMF shown in Fig. 3 results from the second definition of the fuzzy set of Zadeh (1975), according to which FS can be composed of its horizontal \(\alpha \)-cuts. Modeling of the entire area of FS is possible only due to the fact that in HMF (3) the value of the variable \(a(\mu , \gamma _a)\) depends not on one but on 2 variables: \(\mu \) and \(\gamma _a\). This means that HMF exists in 3D-space, Fig. 4. Figure 3 shows only a projection of this function from 3D to a 2D-space.

Fig. 4
figure 4

HMF of the fuzzy set A in the full 3D-space \(a \times \mu \times \gamma _a\)

HMFs, unlike VMFs, are particularly suitable for performing arithmetic operations, which are simply performed on values of variables a and b that occur in such operations. In the case of HMFs, the objection is sometimes raised that the membership function should be a function having the degree of membership \(\mu (a)\) as the output and that the output should not be the value of the variable a itself. In opinion of authors, this objection is rather incorrect, because MF can also be interpreted as a function providing information about the set of values of the variable a belonging to the fuzzy set under consideration and describing the \(\alpha \)-cut of this set at the level \(\mu = \alpha \). For example: HMF (4) from Fig. 2 provides information that at the level \(\alpha = 0.5\), the set A includes \(\alpha \)-cut (interval) [4.5, 9].

Using HMFs of fuzzy numbers, we can perform arithmetic operations according to the formula (5).

$$\begin{aligned}&A: \ a \in A, \quad B: \ b \in B \nonumber \\&a = a(\mu , \gamma _a), \quad b = b(\mu , \gamma _b), \quad \mu , \gamma _a, \gamma _b \in [0,1] \nonumber \\&A \odot B = X, \quad X: \ x \in X, \quad \odot \in \{ +, -, \times , \div \} \nonumber \\&a(\mu , \gamma _a) \odot b(\mu , \gamma _b) = x(\mu , \gamma _a, \gamma _b) \end{aligned}$$
(5)

The algebraic result \(x(\mu , \gamma _a, \gamma _b)\) exists in the 4D-space and it is an universal result, i.e. one that satisfies all possible forms of the mathematical formula in which it occurs. For example, for addition \(A + B = X\), the result X satisfies the following forms: \(A + B = X\), \(A = X-B\), \(B = X-A\), \(A + B-X = 0\). When performing complex mathematical calculations that are realized in parts, only multidimensional intermediate results should be inserted into the final formula and not the spans of these intermediate results, as it is done today. The span \(SP_x(\mu )\) is just a simplified two-dimensional information about the full multidimensional result. The span \(SP_x(\mu )\) is calculated using the formula (6).

$$\begin{aligned}&X: \ x(\mu , \gamma _a, \gamma _b) \in X \nonumber \\&\mathrm{SP}_x(\mu ) = \left[ \min _{\gamma _a, \gamma _b} x(\mu , \gamma _a, \gamma _b), \max _{\gamma _a, \gamma _b} x(\mu , \gamma _a, \gamma _b) \right] \end{aligned}$$
(6)

Further information about performing arithmetic operations on FN with HMFs can be found in authors’ publications (Piegat and Landowski 2013, 2015; Piegat and Pluciński 2015, 2017).

3 Assignment function used in gradual numbers and the gradual arithmetic

As noted in Sect. 1, it is sometimes alleged that HMF used in MFA is the same as InvMF, also referred to as the assignment function (AF), used in the gradual interval arithmetic (GIA). Therefore, it is necessary to explain exactly what AF is. In publications (Boukezzoula et al. 2021; Dubois and Prade 2008; Fortin et al. 2008) their authors presented the concept of GIA, in which gradual intervals (GIs) are used, which contain gradual numbers (GNs) as their components. Detailed definitions of above terms and various explanations related to them are presented by (Boukezzoula et al. 2021; Dubois and Prade 2008; Fortin et al. 2008). In this paper, the GIA concept will be presented only briefly and we will use the original notations from cited papers. The authors of the GIA concept claim that imprecise value (which in FA is called a fuzzy number) should rather be called a fuzzy interval (FI) (Fortin et al. 2008). According to them, FIs are a subclass of GIs, which are a broader concept, because the left border of GI does not have to be a non-decreasing function and the right border does not have to be a non-increasing function, as is the case of FIs. Hence, every FI is GI but not every GI is FI. Figure 5 shows a trapezoidal and a triangular FI which is also GI.

Fig. 5
figure 5

Trapezoidal and triangular fuzzy interval which is also a gradual interval: their left and right borders are gradual numbers

The fuzzy interval (FI = GI) has left and right borders being gradual numbers (GNs) by definition. “A gradual number allows to look at fuzzy intervals as crisp intervals on the set of gradual real numbers” (Fortin et al. 2008). Such an interpretation of GIs enables the application of all existing methods of interval arithmetic (IA) in GIA. Boukezzoula et al. (2021) list the following methods of IA:

  1. 1.

    Standard interval arithmetic (SIA).

  2. 2.

    Instantiated interval arithmetic (IIA).

  3. 3.

    Extended interval arithmetic (EIA).

  4. 4.

    Non-standard interval arithmetic (NIA).

  5. 5.

    Generalized Hukuhara interval arithmetic (GHIA).

  6. 6.

    Optimistic interval arithmetic (OIA).

  7. 7.

    Constrained interval arithmetic (CIA).

  8. 8.

    Single level constrained interval arithmetic (SCIA).

  9. 9.

    Requisite constrained interval arithmetic (RCIA).

In the case of FIs shown in Fig. 5, their left and right borders can be described using traditional vertical MFs given by formulas (7) (Fortin et al. 2008):

$$\begin{aligned} \mu _M^{-}(m) = \frac{m - m_0^{-}}{m_1^{-} - m_0^{-}}, \quad \mu _M^{+}(m) = \frac{m_0^{+} - m}{m_0^{+} - m_1^{+}} . \end{aligned}$$
(7)

The input information in the formula (7) are values of the variable m and the output information are degrees of membership \(\mu ^{-}(m)\) and \(\mu ^{+}(m)\). From vertical MFs (7) we can determine InvMFs (8), where \(\alpha \) denotes the degree of membership \(\mu \) (\(\alpha \)-cuts).

$$\begin{aligned}&\left( \mu _M^{-} \right) ^{-1} = m^{-} = m_0^{-} + \alpha (m_1^{-} - m_0^{-}), \quad \alpha \in (0,1] \nonumber \\&\left( \mu _M^{+} \right) ^{-1} = m^{+} = m_0^{+} + \alpha (m_0^{+} - m_1^{+}), \quad \alpha \in (0,1] \end{aligned}$$
(8)

MFs (8) can be called inverse MFs, because the output information here is the value of the variable m corresponding to the membership degree \(\alpha \). In the case of FIs, each border, left or right, corresponds to only one InvMF (in the case of GIs there may be more) and then the whole function can be defined as the “assignment function” (Fortin et al. 2008). “The assignment function \(A_{\tilde{r}}\), for each value \(\alpha \in (0,1]\) assigns a real number \(r = A_{\tilde{r}}(\alpha )\).” AFs allow to define borders of FIs, which (Fortin et al. 2008) call “gradual real numbers”. The definition of the gradual number is as follows. “A gradual real number r is defined by an assignment function \(A_{\tilde{r}}\) from (0, 1] (the unit interval minus 0) to the reals.” Inverse functions \(( \mu _M^{-} )^{-1}\) and \(( \mu _M^{+} )^{-1}\) are special cases of GNs. Figure 6 shows 2 examples of GNs.

Fig. 6
figure 6

An example of two gradual numbers \(\tilde{r}\) and \(\tilde{s}\) with their assignment functions \(A_{\tilde{r}}\) and \(A_{\tilde{s}}\)

When performing arithmetic operations on FIs in accordance with the rules of GIA, calculations are performed on borders of FIs, i.e. on GNs. Further on, definitions of addition and multiplication of GNs (Fortin et al. 2008) will be given.

3.1 Addition of GNs

The sum of GNs \(\tilde{r}\) and \(\tilde{s}\) is defined by summing their assignment functions. For \(\tilde{r} + \tilde{s}\) and \(\alpha \in (0,1]\) we have:

$$\begin{aligned} A_{\tilde{r} + \tilde{s}}(\alpha ) = A_{\tilde{r}}(\alpha ) + A_{\tilde{s}}(\alpha ) \, . \end{aligned}$$
(9)

An example of adding GNs from Fig. 6 is given by the formula (10).

$$\begin{aligned} A_{\tilde{r}}&= r_0 + \alpha (r_1 - r_0) = 1 + \alpha , \quad \alpha \in (0,1] \nonumber \\ A_{\tilde{s}}&= s_0 + \alpha (s_1 - s_0) = 3 + 2 \alpha , \quad \alpha \in (0,1] \nonumber \\ A_{\tilde{r} + \tilde{s}}&= A_{\tilde{r}} + A_{\tilde{s}} = (r_0 + s_0) + \alpha [(r_1 - r_0)+(s_1 - s_0)] \nonumber \\&= 4 + 3 \alpha , \quad \alpha \in (0,1] \end{aligned}$$
(10)

The result of adding is GN with a shape similar to \(\tilde{r}\) and \(\tilde{s}\) (Fig. 6), but with a wider support. The subtraction operation can be realized as adding \(\tilde{r} + (-\tilde{s})\).

3.2 Multiplication of GNs

The product and the quotient of GNs can be defined in a similar way (with caution when dividing by a gradual number \(\tilde{r}\) such that \(A_{\tilde{r}}(\alpha ) = 0\) for some \(\alpha \)). If two GNs \(\tilde{r}\) and \(\tilde{s}\) are given (10), then their product \(A_{\tilde{r} \tilde{s}}\) is determined by the formula (11).

$$\begin{aligned} A_{\tilde{r} \tilde{s}}(\alpha ) &= [r_0 + \alpha (r_1 - r_0)][s_0 + \alpha (s_1 - s_0)] \nonumber \\ &= (1+\alpha )(3+2\alpha ), \quad \alpha \in (0,1] \end{aligned}$$
(11)

The operation \(A_{\tilde{r}} / A_{\tilde{s}}\) can be performed as a multiplication operation \(A_{\tilde{r}} (1 / A_{\tilde{s}})\).

3.3 Gradual interval arithmetic

Knowing the arithmetic of GNs, it is now possible to present the arithmetic of FIs based on GIA principles (FI is a special case of GI). In the GIA arithmetic operations are performed similarly to the interval arithmetic, using for calculations one of existing types of the interval arithmetic. Boukezzoula et al. (2021) describes this principle as follows. “If borders of conventional interval \([a] = [a^{-}, a^{+}]\) are replaced by assignment functions \(a^{-}(\alpha )\) and \(a^{+}(\alpha )\) representing two GNs, we get gradual interval \([a(\alpha )] = [a^{-}(\alpha ), a^{+}(\alpha )]\) which borders are used in interval arithmetic operations”. Figure 7 shows two FIs that will be used in the addition example.

Fig. 7
figure 7

Fuzzy intervals \([a(\alpha )]\) and \([b(\alpha )]\) used in the addition operation \([a(\alpha )] + [b(\alpha )]\)

Fuzzy interval \([a(\alpha )]\) is defined by two border GNs represented by two assignment functions \(a^{-}(\alpha )\) and \(a^{+}(\alpha )\) given by (12).

$$\begin{aligned}{}[a(\alpha )] &= [a^{-}(\alpha ), a^{+}(\alpha )] \nonumber \\ &= [1+2\alpha , 6-2\alpha ], \quad \alpha \in (0,1] \end{aligned}$$
(12)

Similarly, FI \([b(\alpha )]\) is given by (13).

$$\begin{aligned}{}[b(\alpha )] &= [b^{-}(\alpha ), b^{+}(\alpha )] \nonumber \\ &= [5+2\alpha , 9-2\alpha ], \quad \alpha \in (0,1] \end{aligned}$$
(13)

The sum of intervals \([a(\alpha )] + [b(\alpha )] = [x(\alpha )]\) is given by the formula (14) and shown in Fig. 8.

$$\begin{aligned}{}[a(\alpha )] + [b(\alpha )] &= [1+2\alpha , 6-2\alpha ]+ [5+2\alpha , 9-2\alpha ] \nonumber \\ &= [6+4\alpha , 15-4\alpha ], \quad \alpha \in (0,1] \end{aligned}$$
(14)
Fig. 8
figure 8

Result of the addition of two fuzzy intervals from Fig. 7 using the gradual interval arithmetic based on assignment functions

Note, that adding FIs \([a(\alpha )]\) and \([b(\alpha )]\) using GIA resulted in a fuzzy interval \([x(\alpha )]\) containing not one but two assignment functions. Next, we will see if it is the same in calculations using HMFs.

4 Comparison of the assignment function used in GIA and horizontal membership function used in MFA

There are differences between AF and HMF which will be presented now. The mathematical model of the fuzzy interval used in GIA consists of two assignment functions \(a^{-}(\alpha )\) and \(a^{+}(\alpha )\):

$$\begin{aligned}{}[a(\alpha )] = [a^{-}(\alpha ), a^{+}(\alpha )], \quad \alpha \in (0,1] \, . \end{aligned}$$
(15)

In the case of the trapezoidal fuzzy interval from Fig. 7, it takes the form (16).

$$\begin{aligned}{}[a(\alpha )] = [1+2\alpha , 6-2\alpha ], \quad \alpha \in (0,1] \end{aligned}$$
(16)

The model \([a(\alpha )]\) is 2-dimensional, see Fig. 7. In the case of MFA, the model of FI is called HMF and is 3-dimensional, (17).

$$\begin{aligned}&A: \ a \in A \nonumber \\&\quad a(\alpha , \gamma _a) = a^{-}(\alpha ) + \gamma _a [a^{+}(\alpha ) - a^{-}(\alpha )] \nonumber \\&\quad = (1+2\alpha ) + \gamma _a (5-4\alpha ) \quad \alpha , \gamma _a \in [0,1] \end{aligned}$$
(17)
Fig. 9
figure 9

Illustration of the difference between the gradual interval membership function \([a(\alpha )]\) and the horizontal membership function \(a(\alpha , \gamma _a)\)

The difference between the two mathematical models is illustrated in Fig. 9. Gradual interval \([a(\alpha )]\) represents only borders \(a^{-}(\alpha )\) and \(a^{+}(\alpha )\) of the fuzzy interval. For this reason, only borders are used in arithmetic calculations. However, the interior of FI between these borders is not included in calculations. This affects calculation results in many cases. Using HMF, which represents both borders and the interior of FI, we obtain sometimes identical and sometimes different results than in the case of using gradual interval models \([a(\alpha )]\). Examples illustrating this fact can be found in publications of the authors on MFA. Examples will also be given in the next section to illustrate the difference in results of both methods. In gradual arithmetic, borders (AFs) of FI \(a^{-}(\alpha )\) and \(a^{+}(\alpha )\) take part in arithmetic operations separately. In the case of HMFs, these borders are combined in a uniform function \(a(\alpha , \gamma _a) = a^{-}(\alpha ) + \gamma _a [a^{+}(\alpha ) - a^{-}(\alpha )]\) forming a geometrically single whole and only this unity takes part in calculations. This has a significant impact on obtained results.

5 Examples illustrating differences in results obtained with the use of gradual interval and horizontal membership function models

First example will consist in solving the equation \(A + X = B\), where fuzzy intervals A and B represent the knowledge about the uncertain values of the variables a and b. The intervals \([a(\alpha )]\) and \([b(\alpha )]\) are shown in Fig. 7. These intervals have the following form: \([a(\alpha )] = [a^{-}(\alpha ), a^{+}(\alpha )] = [1+2\alpha , 6-2\alpha ]\) and \([b(\alpha )] = [b^{-}(\alpha ), b^{+}(\alpha )] = [5+2\alpha , 9-2\alpha ]\). Interval insides include AFs of left and right borders of intervals. First, the equation will be solved using GIA, and SIA of Warmus-Sunaga-Moore will be used as the interval arithmetic. It should be noted that in the case of GIA it is assumed that the solution of the equation is 2D gradual interval \([x(\alpha )] = [x^{-}(\alpha ), x^{+}(\alpha )]\), i.e. the same mathematical form as in the case of intervals \([a^{-}(\alpha ), a^{+}(\alpha )]\) and \([b^{-}(\alpha ), b^{+}(\alpha )]\).

$$\begin{aligned}&[a^{-}(\alpha ), a^{+}(\alpha )] + [x^{-}(\alpha ), x^{+}(\alpha )] = [b^{-}(\alpha ), b^{+}(\alpha )] \nonumber \\&[1+2\alpha , 6-2\alpha ] + [x^{-}(\alpha ), x^{+}(\alpha )] = [5+2\alpha , 9-2\alpha ] \end{aligned}$$
(18)

Solving Eq. (18) according to the SIA rules, we obtain two equations (19).

$$\begin{aligned}&(1+2\alpha ) + x^{-}(\alpha ) = (5+2\alpha ) \nonumber \\&(6-2\alpha ) + x^{+}(\alpha ) = (9-2\alpha ) \end{aligned}$$
(19)

The solution of Eq. (19) is \(x^{-}(\alpha ) = 4\) and \(x^{+}(\alpha ) = 3\), which is the improper interval \([x(\alpha )] = [x^{-}(\alpha ), x^{+}(\alpha )] = [4,3]\). This ‘solution’ means that there is no real value of x satisfying equation (18), because the value of x would have to satisfy the condition \(x \ge 4\) and \(x \le 3\), what is impossible. However, let’s check, using the common sense method of Instance Testing, whether there is actually any solution to the equation under study. At the level \(\alpha = 0\) the values \(a = 1\) and \(b = 9\) are possible, resulting in \(x = b-a = 8\). Hence, at least one instance solution is possible: \((a, b, x = b-a) = (1,9,8)\). We will see further that there are not only this one, but an infinite number of other possible solutions of the equation under study. For this purpose, MFA and HMFs will be used. The formulation of the task in terms of MFA is given by the formula (20).

$$\begin{aligned}&A: \ a(\alpha , \gamma _a) \in A, \ \ B: \ b(\alpha , \gamma _b) \in B \nonumber \\&A + X = B \nonumber \\&X: \ x(\alpha , \gamma _a, \gamma _b) \in X \nonumber \\&a(\alpha , \gamma _a) = (1+2\alpha ) + \gamma _a (5-4\alpha ), \quad \alpha , \gamma _a \in [0,1] \nonumber \\&b(\alpha , \gamma _b) = (5+2\alpha ) + \gamma _b (4-4\alpha ), \quad \alpha , \gamma _b \in [0,1] \nonumber \\&x(\alpha , \gamma _a, \gamma _b) = b(\alpha , \gamma _b) - a(\alpha , \gamma _a) \nonumber \\&\quad = 4 - \gamma _a (5-4\alpha )+ \gamma _b (4-4\alpha ) \end{aligned}$$
(20)

The solution of the problem is the set \((A, B, X = B-A)\) of triples \((a, b, x = b-a)\) defined by the formula (21).

$$\begin{aligned} (A, B, X = B-A) &= \{ a(\alpha , \gamma _a), b(\alpha , \gamma _b), x(\alpha , \gamma _a, \gamma _b)\nonumber \\ &= b(\alpha , \gamma _b) - a(\alpha , \gamma _a) \ \mid \ \alpha , \gamma _a, \gamma _b \in [0,1] \} \end{aligned}$$
(21)

The variable \(x(\alpha , \gamma _a, \gamma _b)\) is a result variable that exists in 4D-space and cannot be seen directly. However, it is possible to determine and see the span \(SP_x\) of this variable defined by the formula (22).

$$\begin{aligned}&SP_x = \left[ \min _{\gamma _a, \gamma _b} x(\alpha , \gamma _a, \gamma _b), \max _{\gamma _a, \gamma _b} x(\alpha , \gamma _a, \gamma _b) \right] , \quad \gamma _a, \gamma _b \in [0,1], \end{aligned}$$
(22)

where: \(x(\alpha , \gamma _a, \gamma _b) = 4 - \gamma _a (5-4\alpha )+ \gamma _b (4-4\alpha )\), see formula (20).

Minimum \(x(\alpha , \gamma _a, \gamma _b)\) is obtained for \(\gamma _a = 1\), \(\gamma _b = 0\) and maximum for \(\gamma _a = 0\), \(\gamma _b = 1\). Finally, the span of the result variable is given by the formula (23) and its visualization is shown in Fig. 10.

$$\begin{aligned} SP_x = \left[ -1+4\alpha , 8-4\alpha \right] \end{aligned}$$
(23)
Fig. 10
figure 10

Span \(SP_x(\alpha )\) of the set \(X(\alpha , \gamma _a, \gamma _b)\) of the result variable x of the Eq. (20)

Formula (21) makes it possible to generate all possible states of the system realizing the dependence \(a + x = b\) for each level of membership \(\mu = \alpha \). For \(\alpha = 0\) possible states are e.g. \((a, b, x = b-a)\): \((6,5,-1)\), (3, 6, 3), (1, 5, 4), (1, 9, 8). In general, there are an infinite number of possible states \((a, b, x = b-a)\) satisfying the relationship \(A + X = B\). Why was GIA based on gradual intervals unable to detect any of these states? This is due to the misconception that the correct span of the result variable x can always be detected by 2D computations without finding a multidimensional solution, as MFA does. Kołodziejczyk et al. (2020) present an example of the use of HMF and MFA to solve system of equations of the order higher than 1. The paper shows that MFA made it possible to find algebraic solutions in tasks where other kinds of fuzzy arithmetic have failed.

In the second example, a real object moving in uniformly decelerated motion will be considered. Let us assume a deceleration \(a = -0.5 \frac{m}{s^2}\) and an initial velocity \(V_0 = 22 \frac{m}{s}\). Our task will be to determine what distance the vehicle will travel after about 50s of movement.

Time of movement is defined imprecisely as ‘about 50s’ and we will define it using the triangular fuzzy number shown in Fig. 11. We can describe the time using HMF as:

$$\begin{aligned} t = 40 + 10 \mu + \gamma _t (20 - 20 \mu ), \quad \mu , \gamma _t \in [0,1] \, . \end{aligned}$$
Fig. 11
figure 11

Triangular fuzzy number defining time \(t = \) ‘about 50s

The distance can be calculated from the formula:

$$\begin{aligned} d = 0.5 a t^2 + V_0 t \, . \end{aligned}$$

After substituting time t, we have:

$$\begin{aligned} d(\mu , \gamma _t) &= 0.5 a (40 + 10 \mu + \gamma _t (20 - 20 \mu ))^2 \\&\quad+ V_0 (40 + 10 \mu + \gamma _t (20 - 20 \mu )) \, . \end{aligned}$$

The solution \(d(\mu , \gamma _t)\) is a function of two variables: \(\mu \) and \(\gamma _t\). Now, we can determine the span:

$$\begin{aligned} \mathrm{SP}_t(\mu ) = \left[ \min _{\gamma _t} d(\mu , \gamma _t), \max _{\gamma _t} d(\mu , \gamma _t) \right] , \quad \gamma _t \in [0,1] \, . \end{aligned}$$

The plot of the span is presented in Fig. 12.

Fig. 12
figure 12

Plot of the span determined with use of MFA

We can perform similar calculations using GIA. The time defined using InvMF has the form:

$$\begin{aligned} t = [40+10\mu , 60 - 10\mu ] \, . \end{aligned}$$

We can now determine formulas for the left and right borders of the resulting membership function, which is shown in Fig. 13.

$$\begin{aligned}&d^{-}(\mu ) = 0.5 a (40+10\mu )^2 + V_0 (40+10\mu ) \\&d^{+}(\mu ) = 0.5 a (60 - 10\mu )^2 + V_0 (60 - 10\mu ) \end{aligned}$$
Fig. 13
figure 13

Plot of the membership function determined with use of GIA

From the Fig. 13, we can see that the resulting fuzzy number determined using GIA is not consistent with the definition of a fuzzy number, unlike the result determined using MFA (Fig. 12). This is because MFA takes into account not only borders but also interiors of the fuzzy numbers in its calculations.

6 Conclusions

The paper presents a discussion with the view found among some fuzzy arithmetic researchers proclaiming the identity of the inverse membership function used in GIA and the horizontal membership function used in MFA. The similarity of InvMF and HMF also indirectly suggests the similarity (or even identity) of GIA and HMA. The paper shows that there are fundamental differences between InvMF (which is part of the gradual number used in GIA) and HMF. The gradual number is a mathematical object defined in 2D-space, and the InvMFs that are its elements (GN borders) are also 2D objects. In gradual arithmetic, arithmetic calculations are performed using boundaries of GNs. On the other hand, HMF is a mathematical object defined in 3D-space, including not only the borders but also the interior of the membership function. This has a great impact on the computational results that are obtained.

AFs, as models of borders of MF, are used in GIA to calculate the results separately, while HMF is a single overall model of MF which takes part in the calculations as one whole, without dividing it into parts. In general, this often leads to different computational results provided by GIs-based and HMFs-based fuzzy arithmetic types. First of all, the results of calculations in MFA are objects with dimensionality 3 or higher, while GIA always provides results with dimensionality 2. This fact causes MFA to be able to provide, for example, algebraic solutions to equations that verify them after substitution. In the case of GIA, this is not always true, as shown by the simple example presented in the paper. The spans of multidimensional solutions provided by MFA are always consistent with the definition of a fuzzy number, while the solutions provided by GIA are sometimes inconsistent, as shown in the example and what is reported in the literature (Boukezzoula et al. 2021).