Abstract
We consider the set \(\mathcal {P}\) of real parameters associated to a fuzzy number, in a general form which includes the most important characteristics already introduced for fuzzy numbers. We find the set \(\mathcal {P}_{\mathrm{s}}\subset \mathcal {P}\) with the property that for any given fuzzy number there exists at least a symmetric triangular fuzzy number which preserves a fixed parameter \(p\in \mathcal {P}\). We compute the symmetric triangular approximation of a fuzzy number which preserves the parameter \(p\in \mathcal {P }_{\mathrm{s}}\). The uniqueness is an immediate consequence; therefore, an approximation operator is obtained. The properties of scale and translation invariance, additivity and continuity of this operator are studied. Some applications related with value and expected value, as important parameters, are given too.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
The calculus, existence and uniqueness of trapezoidal or triangular approximations, as well as some properties (additivity, continuity, scale and translation invariance, etc.) included in a list of criteria which should possess the generated trapezoidal or triangular approximation operators (see Grzegorzewski and Mrówka 2005) were studied by many authors (see Abbasbandy et al. 2010; Allahviranloo and Adabitabar Firozja 2007; Ban 2008, 2011; Ban et al. 2011; Ban and Coroianu 2012, 2014; Chanas 2001; Coroianu 2011, 2012; Grzegorzewski and Mrówka 2005, 2007; Grzegorzewski 2008; Li et al. 2012; Yeh 2007, 2008a, b, 2009; Zeng and Li 2007).
In the present paper we consider parameters in the general form
where \(a,b,c,d\in \mathbb {R}\) and \([ l_{\mathrm{e}}(A),u_{\mathrm{e}}(A),x_{\mathrm{e}}(A),y_{\mathrm{e}}(A)] \) is the extended trapezoidal approximation of a fuzzy number A. It is worth noting that this form includes the most important characteristics of fuzzy numbers (expected value, ambiguity, value, width, right and left-hand ambiguity, etc.) as well as the linear combinations of them. We obtain the set \(\mathcal {P}_{\mathrm{s}}\) of parameters in the general form (1) such that for every fuzzy number A there exists a symmetric triangular fuzzy number X, with the property \(p(A) =p(X)\). We compute the nearest symmetric triangular fuzzy number, which, in addition, preserves the parameter \(p\in \mathcal {P}_{\mathrm{s}}\) of a given fuzzy number. The average Euclidean distance between fuzzy numbers is considered. The uniqueness of approximation is an immediate consequence. We prove that the obtained approximation operators are continuous and translation invariant. Some properties of scale invariance and additivity are given too. We apply these results when p is the value (that is \(a=b=\frac{1}{2},c= \frac{1}{12},d=-\frac{1}{12}\) in (1)) and p is the expected value (that is \(a=b=\frac{1}{2},c=d=0\) in (1)).
2 Preliminaries
We recall some basic notions and notations used in this paper.
Definition 1
(see Dubois and Prade 1978) A fuzzy number A is a fuzzy subset of the real line \(\mathbb {R}\) with the membership function A which is:
-
(i)
normal (i.e. there exists an element \(x_{0}\) such that \( A(x_{0}) =1\));
-
(ii)
fuzzy convex (i.e. \(A(\lambda x_{1}+( 1-\lambda ) x_{2}) \ge \min (A(x_{1}), A( x_{2})) \), for every \(x_{1},x_{2}\in \mathbb {R}\) and \(\lambda \in [0,1] \));
-
(iii)
upper semicontinuous on \(\mathbb {R}\) (i.e. \( \forall \varepsilon >0,\exists \delta >0\) such that \(A(x)-A(x_{0}) <\varepsilon \), whenever \(\vert x-x_{0}\vert <\delta \) );
-
(iv)
\(\mathrm{cl}\{ x\in \mathbb {R}:A(x) >0\} \) is compact, where \(\mathrm{cl}(M) \) denotes the closure of the set M.
The \(\alpha \)-cut, \(\alpha \in (0,1] \), of a fuzzy number A is a crisp set defined as
The support suppA and the 0-cut \(A_{0}\) of a fuzzy number A are defined as
and
Every \(\alpha \)-cut, \(\alpha \in [0,1],\) of a fuzzy number A is a closed interval
where
for any \(\alpha \in (0,1]\) and \([A_{\mathrm{L}}(0),A_{\mathrm{U}}(0)]=A_{0}.\) We denote by \(F( \mathbb {R)}\) the set of all fuzzy numbers.
Let \(A,B\in F(\mathbb {R}) ,A_{\alpha }=[ A_{\mathrm{L}}(\alpha ) ,A_{\mathrm{U}}(\alpha )] ,B_{\alpha }=[ B_{\mathrm{L}}(\alpha ),B_{\mathrm{U}}(\alpha )] ,\alpha \in [0,1] \) and \(\lambda \in \mathbb {R}\). We consider the sum \(A+B\) and the scalar multiplication \(\lambda \cdot A\) by (see e.g. Diamond and Kloeden 1994, p. 40)
and
for \(\lambda \ge 0\) and
for \(\lambda <0.\)
Expected value EV, ambiguity Amb, value Val, width w, left-hand ambiguity \(\mathrm{Amb}_{\mathrm{L}}\) and right-hand ambiguity \(\mathrm{Amb}_{\mathrm{R}}\) were introduced in Chanas (2001); Delgado et al. 1998), Dubois and Prade (1987), Grzegorzewski (2008), Heilpern (1992) and subsequently accepted as important characteristics associated with a fuzzy number \(A,A_{\alpha }=[A_{\mathrm{L}}(\alpha ),A_{\mathrm{U}}(\alpha )],\) \(\alpha \in [0,1]\), by
The average Euclidean distance between fuzzy numbers is an extension of the Euclidean distance. It is defined by Grzegorzewski (1998) as
The most often used fuzzy numbers are the trapezoidal fuzzy numbers denoted by
where \(t_{1}\le t_{2}\le t_{3}\le t_{4}\), and given by
and
for every \(\alpha \in [0,1].\) When \(t_{2}=t_{3}\) we obtain a triangular fuzzy number. If, in addition, \(t_{4}-t_{3}=t_{2}-t_{1}\) we obtain a symmetric triangular fuzzy number. We denote by \(F^{\mathrm{T}}(\mathbb {R)}\), \(F^{\mathrm{t}}( \mathbb {R)}\) and \(F^{\mathrm{s}}(\mathbb {R)}\) the set of all trapezoidal fuzzy numbers, triangular fuzzy numbers and symmetric triangular fuzzy numbers, respectively.
Sometimes (see Yeh 2008b) another notation for trapezoidal fuzzy numbers is useful, namely
with \(l,u,x,y\in \mathbb {R}\) and
It is immediate that
and
for every \(\alpha \in [0,1]\). Then
or, equivalently,
The distance introduced in (11) between \(T=[l,u,x,y]\) and \( T^{\prime }=[l^{\prime },u^{\prime },x^{\prime },y^{\prime }]\) becomes (see Yeh 2008a)
It is obvious that a trapezoidal fuzzy number \(T=[l,u,x,y]\) is triangular if and only if
and symmetric triangular if and only if (27) and
are satisfied simultaneously.
The addition and scalar multiplication in \(F^{\mathrm{T}}\left( \mathbb {R}\right) \) become (from (2)–(4))
for \(\lambda \ge 0\) and
for \(\lambda <0.\)
The below version of the well-known Karush–Kuhn–Tucker theorem is an important tool in the approximation of fuzzy numbers by trapezoidal or triangular fuzzy numbers (see Ban 2008, 2011; Grzegorzewski and Mrówka 2007).
Theorem 1
(see Rockafeller 1970, pp. 281–283) Let \(f,g_{1},\ldots ,g_{m}: \mathbb {R}^{n}\rightarrow \mathbb {R}\) be convex and differentiable functions. Then \(\overline{x}\) solves the convex programming problem
if and only if there exists \(\xi _{i},i\in \left\{ 1,...,m\right\} ,\) such that
-
(i)
\(\bigtriangledown f\left( \overline{x}\right) +\sum _{i=1}^{m}\xi _{i}\bigtriangledown g_{i}\left( \overline{x} \right) =0\)
-
(ii)
\(g_{i}\left( \overline{x}\right) -h_{i}\le 0\)
-
(iii)
\(\xi _{i}\ge 0\)
-
(iv)
\(\xi _{i}\left( h_{i}-g_{i}\left( \overline{x}\right) \right) =0.\)
3 Extended trapezoidal approximation operator and properties
According with its definition in Yeh (2008a), an extended trapezoidal fuzzy number is an ordered pair of polynomial functions of degree less than or equal to 1. We denote by \(F_{\mathrm{e}}^{\mathrm{T}}(\mathbb {R)}\) the set of all extended trapezoidal fuzzy numbers. The \(\alpha \)-cuts of an extended trapezoidal fuzzy number have the same form as in (16)–(17), but l, u, x, y may fail to satisfy (13)–(15); therefore, \(F^{\mathrm{T}}(\mathbb { R)\subset }F_{\mathrm{e}}^{\mathrm{T}}(\mathbb {R)}\). The distance between two extended trapezoidal fuzzy numbers is similarly defined as in (11) or (26).
The extended trapezoidal approximation \( T_{\mathrm{e}}(A)=[l_{\mathrm{e}}(A), u_{\mathrm{e}}(A),x_{\mathrm{e}}(A),y_{\mathrm{e}}(A)]\) of a fuzzy number A is the extended trapezoidal fuzzy number which minimizes the distance d(A, X), where \(X\in F_{\mathrm{e}}^{\mathrm{T}}(\mathbb {R)}\). It is not always a fuzzy number (see Allahviranloo and Adabitabar Firozja 2007) and it is determined by (see Yeh 2008a)
It is known that
(see Yeh 2008a, Lemma 2.1 or Ban 2008, Lemma 1)
and (see Ban et al. 2011, Theorem 5)
for every \(A\in F\left( \mathbb {R}\right) \).
In addition, the following distance properties were proved.
Proposition 1
(Yeh 2007, Proposition 4.4.) Let A be a fuzzy number. Then
for any trapezoidal fuzzy number B.
Proposition 2
(Yeh 2007, Proposition 4.4.) For all fuzzy numbers A and B,
At the end of this section we mention that, from (5)–(10) and (32)–(35) we immediately obtain
therefore, all these parameters have the form
where \(a,b,c,d\in \mathbb {R}\).
4 Symmetric triangular approximation under a general condition
Let us denote
In Ban and Coroianu (2014), Theorem 7, the set
was determined as
where
Our aim is to find the set
and, in addition, to find the nearest symmetric triangular approximation of \( A\in F\left( \mathbb {R}\right) \), with respect to d, which preserves \(p\in \mathcal {P}_{\mathrm{s}}\). Because any symmetric triangular fuzzy number is a trapezoidal fuzzy number we have \(\mathcal {P}_{\mathrm{s}}\subseteq \mathcal {P}_{\mathrm{T}}\). The inclusion is strict as the following example proves.
Example 1
Let us consider
Because \(a=b=0\) we have \(p\in P_{2}\subset \mathcal {P}_{\mathrm{T}}\). If \(A=\left( 0,1,1,1\right) \), that is \(A_{\mathrm{L}}\left( \alpha \right) =\alpha \) and \( A_{\mathrm{U}}\left( \alpha \right) =1,\alpha \in \left[ 0,1\right] ,\) then
On the other hand,
for every symmetric triangular fuzzy number \(X=\left( t_{1},t_{2},t_{3}\right) \), therefore, the equation \(p\left( A\right) =p\left( X\right) \) has no solutions in \(F^{\mathrm{s}}\left( \mathbb {R}\right) \), which means \(p\notin \mathcal {P}_{\mathrm{s}}.\)
Let us denote
The main result of the present paper is the following.
Theorem 2
where
In addition, for every \(p\in \mathcal {P}_{\mathrm{s}}\) there exists a unique symmetric triangular fuzzy number
nearest to a given fuzzy number A with respect to metric d, having the extended trapezoidal approximation
such that \(p\left( A\right) =p( s_{\mathrm{p}}\left( A\right) ) \), as follows
-
(i)
If \(p\in Q_{1}\) and \(A\in \Phi _{a,b,c,d}\) then
$$\begin{aligned} l_{\mathrm{s}}&=\frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}}+\frac{d }{a+b}y_{\mathrm{e}} \end{aligned}$$(55)$$\begin{aligned} u_{\mathrm{s}}&=\frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}}+\frac{d }{a+b}y_{\mathrm{e}} \end{aligned}$$(56)$$\begin{aligned} x_{\mathrm{s}}&=y_{\mathrm{s}}=0. \end{aligned}$$(57)If \(p\in Q_{1}\) and \(A\in F\left( \mathbb {R}\right) {\setminus }\Phi _{a,b,c,d}\) then
$$\begin{aligned} l_{\mathrm{s}}= & {} \frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}} +\frac{d}{a+b}y_{\mathrm{e}}\nonumber \\&-\frac{b+c+d}{a+b}x_{\mathrm{s}}, \end{aligned}$$(58)$$\begin{aligned} u_{\mathrm{s}}= & {} \frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}} +\frac{d}{a+b}y_{\mathrm{e}}\nonumber \\&+\frac{a-c-d}{a+b}x_{\mathrm{s}}, \end{aligned}$$(59)$$\begin{aligned} x_{\mathrm{s}}= & {} y_{\mathrm{s}}=-\frac{a^{2}+b^{2}+\left( c+d\right) \left( b-a\right) }{ \left( b+c+d\right) ^{2}+\left( a-c-d\right) ^{2}+\frac{1}{6}\left( a+b\right) ^{2}}\nonumber \\&\times \left( l_{\mathrm{e}}-u_{\mathrm{e}}\right) \nonumber \\&+\frac{2c^{2}+2cd+c\left( b-a\right) +\frac{1}{6}\left( a+b\right) ^{2}}{ \left( b+c+d\right) ^{2}+\left( a-c-d\right) ^{2}+\frac{1}{6}\left( a+b\right) ^{2}}x_{\mathrm{e}} \nonumber \\&+\frac{2d^{2}+2cd+d\left( b-a\right) +\frac{1}{6}\left( a+b\right) ^{2}}{ \left( b+c+d\right) ^{2}+\left( a-c-d\right) ^{2}+\frac{1}{6}\left( a+b\right) ^{2}}y_{\mathrm{e}}. \nonumber \\ \end{aligned}$$(60) -
(ii)
If \(p\in Q_{2}\) then
$$\begin{aligned} l_{\mathrm{s}}&=\frac{7}{8}l_{\mathrm{e}}+\frac{1}{8}u_{\mathrm{e}}-\frac{1}{16}x_{\mathrm{e}}-\frac{1}{16} y_{\mathrm{e}} \end{aligned}$$(61)$$\begin{aligned} u_{\mathrm{s}}&=\frac{1}{8}l_{\mathrm{e}}+\frac{7}{8}u_{\mathrm{e}}+\frac{1}{16}x_{\mathrm{e}}+\frac{1}{16} y_{\mathrm{e}} \end{aligned}$$(62)$$\begin{aligned} x_{\mathrm{s}}&=y_{\mathrm{s}}=-\frac{3}{4}l_{\mathrm{e}}+\frac{3}{4}u_{\mathrm{e}}+\frac{1}{8}x_{\mathrm{e}}+\frac{1 }{8}y_{\mathrm{e}}. \end{aligned}$$(63) -
(iii)
If \(p\in Q_{3}\) then
$$\begin{aligned} l_{\mathrm{s}}&=\frac{1}{2}l_{\mathrm{e}}+\frac{1}{2}u_{\mathrm{e}}-\frac{c}{2\left( c+d\right) } x_{\mathrm{e}}-\frac{d}{2\left( c+d\right) }y_{\mathrm{e}} \end{aligned}$$(64)$$\begin{aligned} u_{\mathrm{s}}&=\frac{1}{2}l_{\mathrm{e}}+\frac{1}{2}u_{\mathrm{e}}+\frac{c}{2\left( c+d\right) } x_{\mathrm{e}}+\frac{d}{2\left( c+d\right) }y_{\mathrm{e}} \end{aligned}$$(65)$$\begin{aligned} x_{\mathrm{s}}&=y_{\mathrm{s}}=\frac{c}{c+d}x_{\mathrm{e}}+\frac{d}{c+d}y_{\mathrm{e}}. \end{aligned}$$(66) -
(iv)
If \(p\in Q_{4}\) then
$$\begin{aligned} l_{\mathrm{s}}&=\frac{c+d-2a}{2\left( c+d-a\right) }l_{\mathrm{e}}+\frac{c+d}{2\left( c+d-a\right) }u_{\mathrm{e}} \nonumber \\&\quad -\frac{c}{2\left( c+d-a\right) }x_{\mathrm{e}}-\frac{d}{2\left( c+d-a\right) } y_{\mathrm{e}} \end{aligned}$$(67)$$\begin{aligned} u_{\mathrm{s}}&=\frac{c+d}{2\left( c+d-a\right) }l_{\mathrm{e}}+\frac{c+d-2a}{2\left( c+d-a\right) }u_{\mathrm{e}} \nonumber \\&\quad +\frac{c}{2\left( c+d-a\right) }x_{\mathrm{e}}+\frac{d}{2\left( c+d-a\right) } y_{\mathrm{e}} \end{aligned}$$(68)$$\begin{aligned} x_{\mathrm{s}}&=y_{\mathrm{s}}=\frac{a}{c+d-a}l_{\mathrm{e}}-\frac{a}{c+d-a}u_{\mathrm{e}}\nonumber \\&\quad +\frac{c}{c+d-a}x_{\mathrm{e}}+\frac{d}{c+d-a}y_{\mathrm{e}}. \end{aligned}$$(69)
Proof
First of all, we recall (see Ban and Coroianu 2014) that \(p\left( T\right) =al+bu+cx+dy\), for any \(p\in \mathcal {P}\) and \(T=\left[ l,u,x,y\right] \in F^{\mathrm{T}}\left( \mathbb {R}\right) \). By Proposition 1 it follows that
for any \(B\in F^{\mathrm{s}}\left( \mathbb {R}\right) \). Since \(d^{2}\left( A,T_{\mathrm{e}}\left( A\right) \right) \) is constant and taking into account (13), (14), (26), (27) and (28) it results that \(\left[ l_{\mathrm{s}},u_{\mathrm{s}},x_{\mathrm{s}},y_{\mathrm{s}}\right] \) is the symmetric triangular approximation of \(A\in F\left( \mathbb {R}\right) \), preserving the parameter p, if and only if \(l_{\mathrm{s}},u_{\mathrm{s}},x_{\mathrm{s}},y_{\mathrm{s}}\) minimize the function
and the following conditions are satisfied
-
(i)
If \(a+b\ne 0\) then from (70)–(75) we obtain
$$\begin{aligned} l_{\mathrm{s}}&=\frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}} \nonumber \\&\quad +\frac{d}{a+b}y_{\mathrm{e}}-\frac{b+c+d}{a+b}x_{\mathrm{s}} \end{aligned}$$(76)$$\begin{aligned} u_{\mathrm{s}}&=\frac{a}{a+b}l_{\mathrm{e}}+\frac{b}{a+b}u_{\mathrm{e}}+\frac{c}{a+b}x_{\mathrm{e}} \nonumber \\&\quad +\frac{d}{a+b}y_{\mathrm{e}}+\frac{a-c-d}{a+b}x_{\mathrm{s}} \end{aligned}$$(77)and
$$\begin{aligned} y_{\mathrm{s}}=x_{\mathrm{s}}, \end{aligned}$$(78)where \(x_{\mathrm{s}}\) is a solution of the problem
$$\begin{aligned}&\min \left\{ \left( \frac{b+c+d}{a+b}x+\frac{b}{a+b}l_{\mathrm{e}}-\frac{b}{a+b} u_{\mathrm{e}}-\frac{c}{a+b}x_{\mathrm{e}}-\frac{d}{a+b}y_{\mathrm{e}}\right) ^{2}\right. \\&\quad \left. +\left( \frac{a-c-d}{a+b}x+\frac{a}{a+b}l_{\mathrm{e}}-\frac{a}{a+b}u_{\mathrm{e}}+ \frac{c}{a+b}x_{\mathrm{e}}+\frac{d}{a+b}y_{\mathrm{e}}\right) ^{2}\right. \\&\quad \left. +\frac{1}{12}\left( x-x_{\mathrm{e}}\right) ^{2}+\frac{1}{12}\left( x-y_{\mathrm{e}}\right) ^{2}\right\} \\&x \ge 0. \end{aligned}$$It is easy to see that \(x_{\mathrm{s}}=0\) if \(A\in \Phi _{a,b,c,d}\) and \(x_{\mathrm{s}}\) is given by (60), contrariwise, that is \(A\in F\left( \mathbb {R}\right) {\setminus }\Phi _{a,b,c,d}\). We obtain \(l_{\mathrm{s}},u_{\mathrm{s}}\) and \(y_{\mathrm{s}}\) from (76)–(78).
-
(ii)
Relation (75) does not furnish any information. We have \(y_{\mathrm{s}}=x_{\mathrm{s}},u_{\mathrm{s}}=l_{\mathrm{s}}+x_{\mathrm{s}}\) and \(\left( l_{\mathrm{s}},x_{\mathrm{s}}\right) \) is the minimum point of the function
$$\begin{aligned} h_{1}\left( l,x\right)= & {} (l-l_{\mathrm{e}})^{2}+(l+x-u_{\mathrm{e}})^{2} \\&+\frac{1}{12}(x-x_{\mathrm{e}})^{2}+\frac{1}{12}(x-y_{\mathrm{e}})^{2} \end{aligned}$$under condition \(x\ge 0.\) To solve this problem we use the Karush–Kuhn–Tucker theorem (see Theorem 1). We obtain \(\left( l_{\mathrm{s}},x_{\mathrm{s}}\right) \) is a solution if and only if there exists \(\mu \) such that the following system is satisfied
$$\begin{aligned}&2\left( l_{\mathrm{s}}-l_{\mathrm{e}}\right) +2\left( l_{\mathrm{s}}+x_{\mathrm{s}}-u_{\mathrm{e}}\right) =0 \end{aligned}$$(79)$$\begin{aligned}&2\left( l_{\mathrm{s}}+x_{\mathrm{s}}-u_{\mathrm{e}}\right) +\frac{1}{6}(x_{\mathrm{s}}-x_{\mathrm{e}}) \end{aligned}$$(80)$$\begin{aligned}&\quad +\frac{1}{6}(x_{\mathrm{s}}-y_{\mathrm{e}})-\mu =0 \nonumber \\&x_{\mathrm{s}}\ge 0 \end{aligned}$$(81)$$\begin{aligned}&\mu \ge 0 \end{aligned}$$(82)$$\begin{aligned}&\mu x_{\mathrm{s}}=0. \end{aligned}$$(83)If \(\mu \ne 0\) then \(x_{\mathrm{s}}=0\) and
$$\begin{aligned} l_{\mathrm{s}}=\frac{1}{2}l_{\mathrm{e}}+\frac{1}{2}u_{\mathrm{e}}. \end{aligned}$$$$\begin{aligned} \mu =l_{\mathrm{e}}-u_{\mathrm{e}}-\frac{1}{6}x_{\mathrm{e}}-\frac{1}{6}y_{\mathrm{e}}<0\text {,} \end{aligned}$$therefore, we have not a solution in this case. If \(\mu =0\) then
$$\begin{aligned} l_{\mathrm{s}}&=\frac{7}{8}l_{\mathrm{e}}+\frac{1}{8}u_{\mathrm{e}}-\frac{1}{16}x_{\mathrm{e}}-\frac{1}{16} y_{\mathrm{e}} \\ x_{\mathrm{s}}&=-\frac{3}{4}l_{\mathrm{e}}+\frac{3}{4}u_{\mathrm{e}}+\frac{1}{8}x_{\mathrm{e}}+\frac{1}{8} y_{\mathrm{e}}\ge 0 \end{aligned}$$ -
(iii)
In this case \(c+d\ne 0\) and (73)–(75) imply
$$\begin{aligned} x_{\mathrm{s}}&=y_{\mathrm{s}}=\frac{c}{c+d}x_{\mathrm{e}}+\frac{d}{c+d}y_{\mathrm{e}} \\ u_{\mathrm{s}}&=\frac{c}{c+d}x_{\mathrm{e}}+\frac{d}{c+d}y_{\mathrm{e}}+l_{\mathrm{s}}. \end{aligned}$$We obtain \(l_{\mathrm{s}}\) as the minimum point of the function
$$\begin{aligned} h_{2}\left( l\right)&=\left( l-l_{\mathrm{e}}\right) ^{2}+\left( l+\frac{c}{c+d} x_{\mathrm{e}}+\frac{d}{c+d}y_{\mathrm{e}}-u_{\mathrm{e}}\right) ^{2} \\&=2l^{2}-2l\left( l_{\mathrm{e}}+u_{\mathrm{e}}-\frac{c}{c+d}x_{\mathrm{e}}-\frac{d}{c+d}y_{\mathrm{e}}\right) \\&\quad +l_{\mathrm{e}}^{2}+\left( \frac{c}{c+d}x_{\mathrm{e}}+\frac{d}{c+d}y_{\mathrm{e}}-u_{\mathrm{e}}\right) ^{2}. \end{aligned}$$We immediately obtain \(l_{\mathrm{s}}\) and \(u_{\mathrm{s}}\) as in (64) and (65).
-
(iv)
If \(a+b=0,a\ne 0,c/a\le 1/6\) and \(d/a\le 1/6\) then \( \frac{c}{a}+\frac{d}{a}-1<0\) and ((37)–(39) are used here)
$$\begin{aligned} l_{\mathrm{e}}-u_{\mathrm{e}}+\frac{c}{a}x_{\mathrm{e}}+\frac{d}{a}y_{\mathrm{e}}\le & {} -\frac{1}{6}x_{\mathrm{e}}-\frac{1}{6}y_{\mathrm{e}}\\&+\frac{c}{a}x_{\mathrm{e}}+\frac{d}{a} y_{\mathrm{e}}\le 0. \end{aligned}$$
and
We obtain \(l_{\mathrm{s}}\) as the minimum point of the function
that is \(l_{\mathrm{s}}\) is given by (67). We get (68) from (84).
Because \(\mathcal {P}_{\mathrm{s}}\subset \mathcal {P}_{\mathrm{T}}\), the proof is complete if for any \(\left( a,b,c,d\right) \in \mathbb {R}^{4}\) in the following two cases we find \(A\in F\left( \mathbb {R}\right) \) such that the equation \(p\left( A\right) =p\left( X\right) \) has no solutions in \(F^{\mathrm{s}}\left( \mathbb {R} \right) \) (see (46)–(50) and (51)–(54)):
-
(a)
\(a=b=0,cd<0\)
-
(b)
\(a+b=0,a\ne 0,( \frac{c}{a}>\frac{1}{2}\text { or }\frac{d}{a}> \frac{1}{2}) \).
In the case (a), let us consider \(c<0\) and \(d>0\) (the case \(c>0\) and \(d<0\) is similar). If \(c+d<0\) then we take \(A\in F\left( \mathbb {R}\right) \) such that \(A_{\mathrm{L}}\) is constant, that is \(x_{\mathrm{e}}\left( A\right) =0\), and \( y_{\mathrm{e}}\left( A\right) >0\). From (71), (72), (74) and (75) we obtain
therefore, it does not exist as a symmetric triangular fuzzy number
such that
Contrariwise, if \(c+d>0\), then we take \(A\in F\left( \mathbb {R}\right) \) such that \(A_{\mathrm{U}}\) is constant, that is \(y_{\mathrm{e}}\left( A\right) =0\), and \( x_{\mathrm{e}}\left( A\right) >0\). From (71), (72), (74) and (75) we obtain
therefore, we have the same conclusion as above.
From (73)–(75), in case (b) we obtain
In the hypothesis \(\frac{c}{a}\ge \frac{1}{2}\) and \(\frac{d}{a}\ge \frac{1 }{2}\) we do not find \(X\in F^{\mathrm{s}}\left( \mathbb {R}\right) \) such that \( p\left( A\right) =p\left( X\right) \). Indeed, by considering \(x_{1},x_{2}\in \mathbb {R},x_{1}<x_{2}\) and \(A\in F\left( \mathbb {R}\right) \) given by
and (85) cannot be satisfied. Now, let us consider \(\frac{c}{a}>\frac{1 }{2}\) and \(\frac{d}{a}<\frac{1}{2}\) (or \(\frac{c}{a}<\frac{1}{2}\) and \(\frac{ d}{a}>\frac{1}{2}\)). Let \(y_{1},y_{2}\in \mathbb {R},y_{1}<y_{2}\) and \(B,C\in F\left( \mathbb {R}\right) \) given by \(B_{\mathrm{L}}\left( \alpha \right) =y_{1}+\left( y_{2}-y_{1}\right) \alpha ,B_{\mathrm{U}}\left( \alpha \right) =y_{2}\) and \(C_{\mathrm{L}}\left( \alpha \right) =y_{1},C_{\mathrm{U}}\left( \alpha \right) =y_{2}-\alpha \left( y_{2}-y_{1}\right) ,\alpha \in \left[ 0,1\right] \), respectively. Then (see (32)–(35))
and
respectively. Taking into account (85) we obtain
and
respectively, where \(x_{\mathrm{s}}\left( B\right) \ge 0\) and \(x_{\mathrm{s}}\left( C\right) \ge 0\) (see (13)). In our hypothesis (86) and (87) cannot be satisfied simultaneously; therefore, either \(p\left( B\right) =p\left( X\right) \) or \(p\left( C\right) =p\left( X\right) \) has no solution in \(F^{\mathrm{s}}\left( \mathbb {R}\right) .\) \(\square \)
Remark 1
Passing to the \(\alpha \)-cut representation of a fuzzy number (see (32)–(35)) in Theorem 2 we immediately obtain the nearest symmetric triangular fuzzy number of a given fuzzy number preserving \(p\in \mathcal {P}_{\mathrm{s}}\) in terms of its \(\alpha \)-cuts.
5 Properties
Throughout in this section we denote by \(s_{\mathrm{p}},p\in \mathcal {P}_{\mathrm{s}}\) the well-defined (according with Theorem 2) symmetric triangular approximation operator \(s_{\mathrm{p}}:F(\mathbb {R)\rightarrow }F^{\mathrm{s}}(\mathbb {R)}\), where \(s_{\mathrm{p}}(A)\) is the unique nearest symmetric triangular fuzzy number of A, with respect to the average Euclidean metric d, which preserves p, that is
In the sequel we discuss the main properties of \(s_{\mathrm{p}},p\in \mathcal {P}_{\mathrm{s}}\): identity, translation invariance, scale invariance, additivity and continuity, considered as important for a such approximation operator (see Grzegorzewski and Mrówka 2005). According with the definitions of the properties, our aim is to find the sets
and
5.1 Identity
If \(A\in F^{\mathrm{s}}\left( \mathbb {R}\right) \) then
that is \(s_{\mathrm{p}}(A)=A\), for every \(p\in \mathcal {P}_{\mathrm{s}}\). We get \(\mathcal {P} _{\mathrm{s}}^{\mathrm{I}}=\mathcal {P}_{\mathrm{s}}.\)
5.2 Translation invariance
Because
for every \(A\in F\left( \mathbb {R}\right) \) and \(z\in \mathbb {R}\), and, in addition (see (29)),
for \(\left[ l,u,x,y\right] \in F^{\mathrm{T}}\left( \mathbb {R}\right) \) and \(z\in \mathbb {R}\), the translation invariance can be easily obtained by a direct proof taking into account Theorem 2. We have
Proposition 3
\(s_{\mathrm{p}}\left( A+z\right) =s_{\mathrm{p}}\left( A\right) +z\), for every \(p\in \mathcal {P}_{\mathrm{s}},A\in F\left( \mathbb {R}\right) \) and \(z\in \mathbb {R}\), that is \(\mathcal {P}_{\mathrm{s}}^{\mathrm{TI}}=\mathcal {P}_{\mathrm{s}}.\)
5.3 Scale invariance
Properties of scale invariance can be obtained by direct proofs taking into account Theorem 2, (30), (31) and the following properties:
for every \(A\in F\left( \mathbb {R}\right) \) and \(\lambda \in \mathbb {R} ,\lambda \ge 0,\)
for every \(A\in F\left( \mathbb {R}\right) \) and \(\lambda \in \mathbb {R} ,\lambda <0\). The following result is obvious.
Proposition 4
\(s_{\mathrm{p}}\left( \lambda \cdot A\right) =\lambda \cdot s_{\mathrm{p}}\left( A\right) \), for every \(p\in \mathcal {P}_{\mathrm{s}},A\in F\left( \mathbb {R}\right) \) and \( \lambda \ge 0.\)
An immediate conclusion is that the scale invariance of an operator \(s_{\mathrm{p}},\) \(p\in \mathcal {P}_{\mathrm{s}}\), is equivalent with \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R}\right) \). This result helps us to give the following characterization.
Proposition 5
\(\mathcal {P}_{\mathrm{s}}^{\mathrm{SI}}=S_{1}\cup S_{2}\cup S_{3}\cup S_{4}\), where
Proof
Let \(p\in Q_{1}\). If \(a=b\) and \(c+d=0\) then the second case in Theorem 2, (i) is applicable for every \(A\in F\left( \mathbb {R}\right) \) and from (58)–(60) we obtain
The equalities \(l_{\mathrm{s}}\left( -A\right) =-u_{\mathrm{s}}\left( A\right) \) and \( x_{\mathrm{s}}\left( -A\right) =y_{\mathrm{s}}\left( A\right) \) are immediate, therefore, \( s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R}\right) \). Now, let us assume that \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R}\right) \). Our aim is to prove \(a=b\) and \(c+d=0\). If \(a^{2}+b^{2}+\left( c+d\right) \left( b-a\right) < 0\) then the first case in Theorem 2, (i) is applicable to compute the symmetric triangular approximation of \(A=\left[ 0,1,0,0\right] \) and \(-A=\left[ -1,0,0,0\right] \). We get (from (55)–(57))
and
Because \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \) implies \(l_{\mathrm{s}}\left( -A\right) =-u_{\mathrm{s}}\left( A\right) \) we obtain \(a=b\). The second case in Theorem 2, (i) is applicable to compute the symmetric triangular approximation of \(B=\left[ -1,0,0,0\right] \) and \(-B= \left[ 0,1,0,0\right] \). We get (from (58)–(60))
Because \(s_{\mathrm{p}}\left( -B\right) =-s_{\mathrm{p}}\left( B\right) \) implies \(l_{\mathrm{s}}\left( -B\right) =-u_{\mathrm{s}}\left( B\right) \) we obtain \(c+d=0\).
If \(p\in Q_{2}=S_{2}\) then from (61)–(63) we obtain
and
for every \(A\in F\left( \mathbb {R}\right) \), therefore, \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R} \right) \).
Let \(p\in Q_{3}\). If \(c=d\) then from (64)–(66) we obtain
and
for every \(A\in F\left( \mathbb {R}\right) \), therefore, \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R} \right) \). In the hypothesis \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \) , for every \(A\in F\left( \mathbb {R}\right) \), we consider \(A=[ 0,\frac{ 1}{2},0,1] \). Then \(-A=[ -\frac{1}{2},0,1,0] \) and from \( -l_{\mathrm{s}}\left( A\right) =u_{\mathrm{s}}\left( -A\right) \) we obtain
that is \(c=d\).
Let \(p\in Q_{4}\). If \(c=d\) then from (67)–(69) we obtain
and
for every \(A\in F\left( \mathbb {R}\right) \), therefore, \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \), for every \(A\in F\left( \mathbb {R} \right) \). As above, we consider \(A=[ 0,\frac{1}{2},0,1] \in F\left( \mathbb {R}\right) \). In the hypothesis \(s_{\mathrm{p}}\left( -A\right) =-s_{\mathrm{p}}\left( A\right) \) we obtain
which implies \(c=d\). \(\square \)
5.4 Additivity
The additivity of \(s_{\mathrm{p}}\) is not generally valid for \(p\in Q_{1}\), as the below example proves. It is enough to find \(A,B\in F\left( \mathbb {R}\right) \) such that the first case in Theorem 2, (i) is applicable to A and \(A+B\) and the second case in Theorem 2, (i) is applicable to B. If \(x_{\mathrm{s}}\left( B\right) \ne 0\) then
which implies \(s_{\mathrm{p}}\left( A+B\right) \ne s_{\mathrm{p}}\left( A\right) +s_{\mathrm{p}}\left( B\right) \) (see (29)).
Example 2
Let \(p\in Q_{1},p\left( A\right) =u_{\mathrm{e}}\left( A\right) +x_{\mathrm{e}}\left( A\right) -y_{\mathrm{e}}\left( A\right) \). According with Theorem 2, (i) we obtain \(x_{\mathrm{s}}\left( A\right) =0\) if
and \(x_{\mathrm{s}}\left( A\right) =-\frac{6}{7}l_{\mathrm{e}}\left( A\right) +\frac{6}{7} u_{\mathrm{e}}\left( A\right) +x_{\mathrm{e}}\left( A\right) -\frac{5}{7}y_{\mathrm{e}}\left( A\right) \) if
Let us consider \(A\in F\left( \mathbb {R}\right) \) given by \(A_{\mathrm{L}}\left( \alpha \right) =1+\alpha ,A_{\mathrm{U}}\left( \alpha \right) =9-7\alpha ,\alpha \in \left[ 0,1\right] \) and \(B=\left( 0,1,2\right) \in F^{\mathrm{s}}\left( \mathbb {R}\right) \). Then \(s_{\mathrm{p}}\left( B\right) =B\), therefore, \(x_{\mathrm{s}}\left( B\right) =1\). Because A and \(A+B\) satisfy (88) we have \(x_{\mathrm{s}}\left( A\right) =x_{\mathrm{s}}\left( A+B\right) =0.\)
Because
for every \(A,B\in F\left( \mathbb {R}\right) \), and taking into account (29) some results of additivity can be formulated.
Proposition 6
If \(p\left( A\right) =al_{\mathrm{e}}(A)+bu_{\mathrm{e}}(A)+cx_{\mathrm{e}}(A)+dy_{\mathrm{e}}(A)\in Q_{1}\) such that \(c+d=0\) and \(a=b\) then \(s_{\mathrm{p}}\left( A+B\right) =s_{\mathrm{p}}\left( A\right) +s_{\mathrm{p}}\left( B\right) \), for every \(A,B\in F\left( \mathbb {R} \right) \).
Proof
It is immediate because the second case in Theorem 2, (i) is applicable for every \(A\in F\left( \mathbb {R}\right) .\) \(\square \)
Proposition 7
\(s_{\mathrm{p}}\left( A+B\right) =s_{\mathrm{p}}\left( A\right) +s_{\mathrm{p}}\left( B\right) \), for every \(p\in Q_{2}\cup Q_{3}\cup Q_{4}\) and \(A,B\in F\left( \mathbb {R}\right) \).
5.5 Continuity
In Ban and Coroianu (2014) we proved that any operator \(T_{\mathrm{p}}:F\left( \mathbb {R}\right) \rightarrow F^{\mathrm{T}}\left( \mathbb {R}\right) \) such that \( T_{\mathrm{p}}\left( A\right) \) is the nearest trapezoidal fuzzy number of \(A\in F\left( \mathbb {R}\right) \) with the property \(p\left( A\right) =p( T_{\mathrm{p}}\left( A\right) ) \), where \(p\in \mathcal {P}_{\mathrm{T}}\) (see (46)–(50)), is continuous. In the case of symmetric triangular approximation operators \(s_{\mathrm{p}}\) we have an even stronger result, namely Lipschitz-continuity. It is worth noting that the property of the approximation operators (in the sense of the present paper) to be Lipschitz was studied in Coroianu (2011, 2012) too.
Theorem 3
The symmetric triangular approximation operator \(s_{\mathrm{p}}:F(\mathbb {R)\rightarrow }F^{\mathrm{s}}(\mathbb {R)}\), with \(p\in \mathcal {P} _{\mathrm{s}} \), is Lipschitz-continuous with respect to the average Euclidean metric d (see (11)).
Proof
By the proof of Theorem 2 we observe that the algorithm to compute \(s_{\mathrm{p}}(A)\) when A goes over \(F(\mathbb {R)}\) is unique. Actually, there exist the linear functions \(f_{i}:\mathbb {R}^{4}\rightarrow \mathbb {R}\) which does not depend on any fuzzy number A such that
for every \(A\in F(\mathbb {R)}\). Here we uniquely identify
with
Now, let us consider the function \(\overline{s}_{\mathrm{p}}:\mathbb {R} ^{4}\rightarrow \mathbb {R}^{4},\)
Since the functions \(f_{i}\), \(i\in \{1,2,3,4\}\) are all linear it easily results that \(\overline{s}_{\mathrm{p}}\) is linear too. Then let us consider the metric D defined on \(\mathbb {R}^{4}\) by
where \(\overrightarrow{u}=\left( x_{1},x_{2},x_{3},x_{4}\right) \) and \( \overrightarrow{v}=\left( y_{1},y_{2},y_{3},y_{4}\right) \). It is well known that linear operators between finite dimensional spaces are of Lipschitzian type. Therefore, there exists a constant k which depends only on D and the functions \(f_{i}\), \(i\in \{1,2,3,4\}\), such that
for every \(\overrightarrow{u},\overrightarrow{v}\in \mathbb {R}^{4}\). In particular, we have
for every fuzzy numbers A and B. Since by the construction of \(\overline{ s}_{\mathrm{p}}\) we have \(s_{\mathrm{p}}\left( T_{\mathrm{e}}(A)\right) =\overline{s_{\mathrm{p}}}(\overrightarrow{T_{\mathrm{e}}}(A)) \) for any fuzzy number A and since by the definition of D we have \(D(( \overrightarrow{T}_{\mathrm{e}}(A)) ,( \overrightarrow{T}_{\mathrm{e}}(B))) =d\left( \left( T_{\mathrm{e}}(A)\right) ,\left( T_{\mathrm{e}}(B)\right) \right) \) for any fuzzy numbers A and B, we get
for all \(A,B\in F(\mathbb {R)}\). This easily implies that
for all \(A,B\in F(\mathbb {R)}\), which by Proposition 2 implies that
for all \(A,B\in F(\mathbb {R)}\). The proof is complete. \(\square \)
6 Applications
The trapezoidal, symmetric trapezoidal, triangular, symmetric triangular approximations of fuzzy numbers, without conditions or preserving the ambiguity, value, ambiguity and value or expected interval were given in Ban (2008); Ban et al. 2011); Ban and Coroianu 2012, 2014); Yeh 2008a, b). We apply the results in the previous sections to complete this list with the calculus of the symmetric triangular approximation preserving value (see (7), (42)) and the symmetric triangular approximation preserving the expected value (see (5), (40)) and to study their properties.
6.1 Symmetric triangular approximations of fuzzy numbers preserving the value
We have (see (42)) \(a=b=\frac{1}{2},c=\frac{1}{12},d=-\frac{1}{ 12}\), therefore, \(p=\mathrm{Val}\in \mathcal {P}_{\mathrm{s}}\) and the case (i) in Theorem 2 is applicable. Because \(\Phi _{a,b,c,d}=\varnothing \) we apply (58)–(60) to calculate the nearest symmetric triangular approximation of a fuzzy number preserving its value. We obtain
Theorem 4
Let \(A\in F\left( \mathbb {R}\right) \) and
the nearest symmetric triangular fuzzy number of A preserving its value. Then
Passing to the \(\alpha \)-cut representation (see (22)–(25), (32)–(35)) we get:
Theorem 5
Let \(A\in F\left( \mathbb {R}\right) \) and
the nearest symmetric triangular fuzzy number of A preserving its value. Then
We obtain the continuity and the translation invariance of \(s_{\mathrm{Val}}\) from Theorem 3 and Proposition 3. Moreover, \(s_{\mathrm{Val}}\) is additive according to Proposition 6 and scalar invariant from Proposition 5.
6.2 Symmetric triangular approximations of fuzzy numbers preserving the expected value
Because (see (40)) \(a=b=\frac{1}{2}\) and \(c=d=0\) we apply Theorem 2, (i) to calculate the nearest symmetric triangular approximation of a fuzzy number preserving its expected value. In addition, \(\Phi _{a,b,c,d}=\varnothing \). From (58)–(60) we obtain
Theorem 6
Let \(A\in F\left( \mathbb {R}\right) \) and
the nearest symmetric triangular fuzzy number of A preserving its expected value. Then
Passing to the \(\alpha \)-cut representation (see (22)–(25), (32)–(35)) we get:
Theorem 7
Let \(A\in F\left( \mathbb {R}\right) \) and
the nearest symmetric triangular fuzzy number of A preserving its expected value. Then
The approximation operator \(s_{\mathrm{EV}}\) is translation and scalar invariant, additive and continuous, according with Propositions 3, 5, 6 and Theorem 3, respectively.
7 Conclusion
The set
where
is determined. The nearest (with respect to the average Euclidean distance) symmetric triangular fuzzy number \(s_{\mathrm{p}}\left( A\right) \) of \(A\in F\left( \mathbb {R}\right) \), which preserves the parameter \(p,p\in \mathcal {P}_{\mathrm{s}}\) is calculated. Properties of the approximation operators \(s_{\mathrm{p}},p\in \mathcal {P}_{\mathrm{s}}\) are studied. The results are applied to the case of value and expected value as parameters. The characterization of the set
where \(s_{\mathrm{p}}\) is the symmetric triangular approximation operator introduced in the main result of the paper (Theorem 2), is still an open problem.
References
Abbasbandy S, Ahmady E, Ahmady N (2010) Triangular approximations of fuzzy numbers using \(\alpha \)-weighted valuations. Soft Comput 14:71–79
Allahviranloo T, Adabitabar Firozja M (2007) Note on trapezoidal approximation of fuzzy numbers. Fuzzy Sets Syst 158:755–756
Ban AI (2008) Approximation of fuzzy numbers by trapezoidal fuzzy numbers preserving the expected interval. Fuzzy Sets Syst 159:1327–1344
Ban AI (2011) Remarks and corrections to the triangular approximations of fuzzy numbers using \(\alpha \)-weighted valuations. Soft Comput 15:351–361
Ban AI, Brândaş A, Coroianu L, Negruţiu C, Nica O (2011) Approximations of fuzzy numbers by trapezoidal fuzzy numbers preserving the ambiguity and value. Comput Math Appl 61:1379–1401
Ban AI, Coroianu L (2012) Nearest interval, triangular and trapezoidal approximation of a fuzzy number preserving ambiguity. J Approx Reason 53:805–836
Ban AI, Coroianu L (2014) Existence, uniqueness and continuity of trapezoidal approximations of fuzzy numbers under a general condition. Fuzzy Sets Syst 257:3–22
Chanas S (2001) On the interval approximation of a fuzzy number. Fuzzy Sets Syst 122:353–356
Coroianu L (2011) Best Lipschitz constant of the trapezoidal approximation operator preserving the expected interval. Fuzzy Sets Syst 165:81–97
Coroianu L (2012) Lipschitz functions and fuzzy number approximations. Fuzzy Sets Syst 200:116–135
Delgado M, Vila MA, Voxman W (1998) On a canonical representation of a fuzzy number. Fuzzy Sets Syst 93:125–135
Diamond P, Kloeden P (1994) Metric spaces of fuzzy sets. Theory and applications. World Scientific, Singapore
Dubois D, Prade H (1978) Operations on fuzzy numbers. Int J Syst Sci 9:613–626
Dubois D, Prade H (1987) The mean value of a fuzzy number. Fuzzy Sets Syst 24:279–300
Grzegorzewski P (1998) Metrics and orders in space of fuzzy numbers. Fuzzy Sets Syst 97:83–94
Grzegorzewski P, Mrówka E (2005) Trapezoidal approximations of fuzzy numbers. Fuzzy Sets Syst 153:115–135
Grzegorzewski P, Mrówka E (2007) Trapezoidal approximations of fuzzy numbers—revisited. Fuzzy Sets Syst 158:757–768
Grzegorzewski P (2008) New algorithms for trapezoidal approximation of fuzzy numbers preserving the expected interval. In: Magdalena L, Ojeda M, Verdegay JL (eds) Proceedings on information processing and management of uncertainty in knowledge-based system conference, Malaga, pp 117–123
Heilpern S (1992) The expected value of a fuzzy number. Fuzzy Sets Syst 47:81–86
Li J, Wang ZX, Yue Q (2012) Triangular approximation preserving the centroid of fuzzy numbers. Int J Comput Math 89:810–821
Rockafeller RT (1970) Convex analysis. Princeton University Press, New York
Yeh CT (2007) A note on trapezoidal approximation of fuzzy numbers. Fuzzy Sets Syst 158:747–754
Yeh CT (2008a) On improving trapezoidal and triangular approximations of fuzzy numbers. J Approx Reason 48:297–313
Yeh CT (2008b) Trapezoidal and triangular approximations preserving the expected interval. Fuzzy Sets Syst 159:1345–1353
Yeh CT (2009) Weighted trapezoidal and triangular approximations of fuzzy numbers. Fuzzy Sets Syst 160:3059–3079
Zeng W, Li H (2007) Weighted triangular approximation of fuzzy numbers. J Approx Reason 46:137–150
Acknowledgments
This work was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0861. The contribution of the second author was partially co-founded by the European Union under the European Social Found. Project POKL “Information technologies: Research and their interdisciplinary applications”, Agreement UDA-POKL.04.01.01-00-051/10-00.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
Ban, A.I., Coroianu, L. Symmetric triangular approximations of fuzzy numbers under a general condition and properties. Soft Comput 20, 1249–1261 (2016). https://doi.org/10.1007/s00500-015-1849-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-015-1849-4