ABSTRACT

Fuzzy regression provides more approaches for us to deal with imprecise or vague problems. Traditional fuzzy regression is established on triangular fuzzy numbers, which can be represented by trapezoidal numbers. The independent variables, coefficients of independent variables and dependent variable in the regression model are fuzzy numbers in different times and $T_W$ , the shape preserving operator, is the only T-norm which induces a shape preserving multiplication of LL-type of fuzzy numbers. So, in this paper, we propose a new fuzzy regression model based on LL-type of trapezoidal fuzzy numbers and $T_W$ . Firstly, we introduce the basic fuzzy set theories, the basic arithmetic propositions of the shape preserving operator and a new distance measure between trapezoidal numbers. Secondly, we investigate the specific model algorithms for FIFCFO model (fuzzy input-fuzzy coefficient-fuzzy output model) and introduce three advantages of fit criteria, Error Index, Similarity Measure and Distance Criterion. Thirdly, we use a design set and two reference sets to make a comparison between our proposed model and the reference models and determine their goodness with the above three criteria. Finally, we draw the conclusion that our proposed model is reasonable and has better prediction accuracy, but short of robust, comparing to the reference models by the three goodness of fit criteria. So, we can expand our traditional fuzzy regression model to our proposed new model.

Keywords:

Fuzzy Sets, LL-Type of Trapezoidal Fuzzy Numbers, Least-Squares Deviations, Shape Preserving Operator, Fuzzy Linear Regression

1. Introduction

Fuzzy regression, one of the most popular methods of modeling and prediction, is an important statistical tool in evaluating the functional relationship between a set of explanatory variables and explained variable (Montgomery and Peck, 2006 [1] ). It shows particular advantages in analyzing complex systems where the vagueness of human subjective judgment doesn’t work, such as economic systems, social systems and environmental systems. In most fuzzy regression models, deviations between the observed and estimated values are supposed to be due to random errors, like classical linear regression model. But in the real world, imprecise information, incomplete knowledge, unacquirable data and indeterminable underlying model can lead to larger error.

Therefore, fuzzy set theory, introduced by Zadeh (1965) [2] , provides us appropriate tools for regression analysis, when relationship between variables is vaguely defined or observations are recorded imprecisely. After introducing fuzzy set theory, fuzzy regression techniques can be classified into two distinct areas. The first approach, possibilistic regression, proposed by Tanaka et al., (1982) [3] , aims at minimizing the total spread of the output. In this case, the problem of fitting a fuzzy model can be viewed as a linear programming problem. Still in this area, Tanaka and Ishibushi (1991) [4] extended their approach for dealing with interactive fuzzy parameters. In the fuzzy literature, several extensions of this approach have been proposed [5] [6] [7] [8] . Five years later, Celmins (1987) [9] and Diamond (1988) [10] put forward another approach, the fuzzy least squares regression, which aims to minimize the overall square errors between the observed and the estimated values. Hong et al. (2001) [11] studied the fuzzy least squares linear regression by using shape preserving operations. Moreover, several variants of this approach [12] [13] [14] [15] [16] have been used in fuzzy linear regression.

Both of the above approaches to fuzzy regression are widely used in usual fuzzy linear regression. But they are all sensitive to outliers. In such cases, least absolutes deviation (LAD) based on least squares deviation (LSD), is preferred to be used as a robust method. Especially, when outliers are in the response variable, the LAD estimator is more robust than the LSD estimator (Stahel and Weisberg, 1991 [17] ). Based on this method, many researchers made more extension about fuzzy linear regression models. However, each has his strong point. When there exist no outliers, LSD is similar to LAD, even better for evaluating more steady and unique solution [18] [19] [20] . Besides, Yager (1980) [21] proposed centroid method to translate fuzzy numbers into crisp numbers. Based on this, Zhang (2012) [22] proposed statistical analysis of fuzzy regression model based on centroid method.

In the development of fuzzy linear regression models, a new problem arose imperceptibly that the usual multiplication changed the shape of fuzzy numbers in some cases. On the one hand, Hojati et al. (2005) [23] proposed to evaluate the estimators of fuzzy outputs and parameters, by setting $\alpha$ -set in fuzzy multiplication, but the estimators of fuzzy outputs depend on the value of $\alpha$ , which is unknown. On the other, a shape preserving operator, $T_W$ was proved, by Hong (2001) [24] , to be the only T-norm which induces a shape preserving multiplication of LL-fuzzy numbers. Mesiar (1997) [25] and Hong et al. (1997) [26] all made further study based on $T_W$ , which can efficiently control the shape of estimators and decrease the risk of bias caused by taking minimum (Hong et al., 2001) [27] .

However, traditional fuzzy regression is still based on triangle fuzzy numbers or partial fuzzy numbers between inputs, coefficients, output. In consideration of that trapezoidal fuzzy numbers, which can represent other types of fuzzy numbers, take an important role in fuzzy numbers [28] [29] [30] . Some researchers made further study on fuzzy linear regression based on trapezoidal numbers [31] [32] [33] . And the distance between trapezoidal fuzzy numbers is also an important research topic in the fuzzy set theory, which is a basis for many related applications. So many researchers have investigated and obtained some meaningful conclusions [34] [35] [36] [37] . Taking advantages of LSD and trapezoidal fuzzy number and basing on the paper, written by Wang and Lu (2016) [33] , we first introduce the basic set theories, the basic arithmetic propositions of $T_W$ and a new distance between trapezoidal fuzzy numbers. Then we want to propose a new model, whose coefficients are trapezoidal fuzzy numbers, basing on the shape preserving operator, $T_W$ , to expand fuzzy regression, while no outliers in sample set and investigate the model algorithms and fulfil model complexity analysis.

The structure of this paper is as follows. In Section 2, we introduce some basic notions, and prove the good arithmetic property of $T_W$ and our proposed distance. In Section 3, we propose fuzzy regression model based on least squares deviation with FIFCFO (fuzzy input-fuzzy coefficient-fuzzy output), investigate its steps detailedly, evaluate the performance of our model and introduce the measures of errors, such as error index, similarity measure and distance criterion. In Section 4, we use three examples to illustrate our proposed model and make comparisons with existing fuzzy regression models. In the last section, we do comprehensive analysis about our proposed model and give the results and conclusion.

2. Preliminary

For the sake of rigor and clarity, the basic fuzzy set theories and the basic arithmetic propositions of the shape preserving operator, used in this paper, will be introduced in this section. Throughout this paper, we use R to denote all the real numbers, FN stands for the set of the all fuzzy numbers in R.

Definition 1. (Zadeh, 1965 [2] ). Suppose that $\tilde{A}$ is a fuzzy set in R and satisfies the following properties:

1) Regularity: $\exists x_0\in R,\tilde{A}\left(x_0\right)=1$ .

2) Bounded closed interval: $\forall \lambda \in \left(0,1\right],A_{\lambda }=\left[A_{\lambda }^{-},A_{\lambda }^{+}\right]$ is a bounded closed interval.

Then we call $\tilde{A}$ a fuzzy number in R.

Definition 2. (Hu, 2010 [38] ). Set $\tilde{A}$ is a fuzzy number in R, if the $suppA\subseteq \left[0,+\infty \right)$ , then we call $\tilde{A}$ a positive fuzzy number, and denote the set of all the positive fuzzy numbers in R by PFN. If the $suppA\subseteq \left(-\infty ,0\right]$ , then we call $\tilde{A}$ a negative fuzzy number, and denote the set of all the negative fuzzy numbers in R by NFN.

Definition 3. (Hu, 2010 [38] ). Suppose that the membership function of LR-type fuzzy number $\tilde{A}$ is defined as follows:

$\tilde{A}\left(x\right)=\{\begin{array}{ll}L\left(\frac{a-x}{{\alpha }_A}\right),\hfill & x\le a\hfill \\ R\left(\frac{x-a}{{\beta }_A}\right),\hfill & x\ge a\hfill \end{array}$ (1)

where $L,R$ satisfy

1) $L,R\left(x\right):\left(-\infty ,+\infty \right)\to \left[0,1\right]$

2) $L\left(x\right)=L\left(-x\right),R\left(x\right)=R(-x)$

3) $L\left(0\right)=R\left(0\right)=1$

4) $L\left(x\right)$ and $R\left(x\right)$ are non-increasing functions on.

Here, $a$ is the center point, ${\alpha }_A$ is the width of the left side and ${\beta }_A$ is the width of the right side of the fuzzy number $\tilde{A}$ , respectively. $a\in R$ and ${\alpha }_A,{\beta }_A\ge 0$ . Besides, we call $\tilde{A}$ a LL-fuzzy number, when $L\left(x\right)=R\left(x\right)$ .

Suppose $\tilde{A}=\left(a_1,a_2,{\alpha }_A,{\beta }_A\right)$ a trapezoidal fuzzy number in $R\left({\alpha }_A,{\beta }_A\ge 0,a_2\ge a_1\right)$ . If the membership function of $\tilde{A}$ can be represent as that in Definition 3, then we call $\tilde{A}$ a LL-trapezoidal fuzzy number and denote the set of the all LL-trapezoidal fuzzy numbers as $TF{N}_{LL}$ . Therefore, we let $PNTF{N}_{LL}=PTF{N}_{LL}\cup NTF{N}_{LL}$ , where $PTF{N}_{LL}$ and $NTF{N}_{LL}$ stand for the positive $TF{N}_{LL}$ and the negative $TF{N}_{LL}$ in R, respectively.

Definition 4. (Hu, 2010 [38] ). For any $a,b,c,d\in \left[0,1\right]$ , mapping satisfies the following conditions:

1) commutative law: $T\left(a,b\right)=T\left(b,a\right)$

2) associative law: $T\left(T\left(a,b\right),c\right)=T\left(a,T\left(b,c\right)\right)$

3) monotonicity: $a\le c,b\le d\Rightarrow T\left(a,b\right)\le T\left(c,d\right)$

4) boundary condition: $T\left(1,a\right)=a$ .

Then we use T to denote T-norm on $\left[0,1\right]$ .

Proposition 1. (Hu, 2010 [38] ) T is T-norm on $\left[0,1\right]$ , it is generally acknow- ledged that $T_W\le T\le T_M$ , here

$T_W\left(a,b\right)=\{\begin{array}{ll}0,\hfill & \max \left(a,b\right)<1\hfill \\ \min \left(a,b\right),\hfill & \text{others}\hfill \end{array}$ (2)

(3)

where $T_W$ is called drastic product and $T_M$ is called minimax operator.

Definition 5. (Hu, 2010 [38] ). Let $\tilde{A},\tilde{B}\in FN$ , $“\ast ”$ stands for the arithmetic operations on R, such as $“+”,“-”,“\cdot ”$ , and $“⊛”$ stands for its arithmetical operations on FN, such as $“\oplus ”,“\ominus ”,“\odot ”$ :

(4)

Hence, we use and $\tilde{A}{\odot }_W\tilde{B}$ to stand for extended addition, extended subtraction and extended multiplication of $T_W$ , respectively.

Proposition 2. Let, so we can get

1) $k{\odot }_W\tilde{A}=\{\begin{array}{ll}{\left(k{a}_1,k{a}_2,k{\alpha }_A,k{\beta }_A\right)}_{LL},\hfill & k\ge 0\hfill \\ {\left(k{a}_2,k{a}_1,\left|k\right|{\beta }_A,\left|k\right|{\alpha }_A\right)}_{LL},\hfill & k<0\hfill \end{array}$

2) $\tilde{A}{\oplus }_W\tilde{B}={\left(a_1+b_1,a_2+b_2,\max \left({\alpha }_A,{\alpha }_B\right),\max \left({\beta }_A,{\beta }_B\right)\right)}_{LL}$ (5)

3) $\tilde{A}{\ominus }_W\tilde{B}={\left(a_1-b_2,a_2-b_1,\max \left({\alpha }_A,{\beta }_B\right),\max \left({\beta }_A,{\alpha }_B\right)\right)}_{LL}$

Proposition 3. Let

so we can get

(6)

Proof. Let $\tilde{A}={\left(a_1,a_2,{\alpha }_A,{\beta }_A\right)}_{LL}$ , $\tilde{B}={\left(b_1,b_2,{\alpha }_B,{\beta }_B\right)}_{LL}$ , and their membership function of satisfy Definition 3. We consider the case of $\tilde{A},\tilde{B}\in PTF{N}_{LL}$ , which means $a_1,a_2,b_1,b_2>0$ . Then,

1) For $z\le a_1{b}_1$ ,

$\begin{array}{c}\left(\tilde{A}{\odot }_W\tilde{B}\right)\left(z\right)=\underset{x\cdot y=z}{\sup }{T}_W\left(\tilde{A}\left(x\right),\tilde{B}\left(y\right)\right)\\ =\max \left(\tilde{A}\left(\frac{z}{b_1}\right),\tilde{B}\left(\frac{z}{a_1}\right)\right)\\ =\max \left(L\left(\frac{a_1-z/b_1}{{\alpha }_A}\right),L\left(\frac{b_1-z/a_1}{{\alpha }_B}\right)\right)\\ =\max \left(L\left(\frac{a_1{b}_1-z}{{\alpha }_A{b}_1}\right),L\left(\frac{a_1{b}_1-z}{{\alpha }_B{a}_1}\right)\right)\\ =L\left[\left(a_1{b}_1-z\right)/\max \left({\alpha }_A{b}_1,{\alpha }_B{a}_1\right)\right]\end{array}$

2) For $a_1{b}_1\le z\le a_2{b}_2$ ,

$\begin{array}{c}\left(\tilde{A}{\odot }_W\tilde{B}\right)\left(z\right)=\underset{x\cdot y=z}{\sup }{T}_W\left(\tilde{A}\left(x\right),\tilde{B}\left(y\right)\right)\\ =\underset{a_1{b}_1\le z\le a_2{b}_2}{\max }\left(\tilde{A}\left(\frac{z}{b_1}\right),\tilde{B}\left(\frac{z}{a_1}\right)\right)\\ =\max \left(L\left(\frac{a_1-z/b_1}{{\alpha }_A}\right),L\left(\frac{b_1-z/a_1}{{\alpha }_B}\right)\right)\\ =\max \left(\underset{a_1\le p\le a_2{b}_2/b_1}{\max }\left(\tilde{A}\left(p\right)\right),\underset{b_1\le q\le b_2{a}_2/a_1}{\max }\left(\tilde{B}\left(q\right)\right)\right)\\ =\max \left(1,1\right)\\ =\text{1}\end{array}$

3) For $z\ge a_2{b}_2$ ,

$\begin{array}{c}\left(\tilde{A}{\odot }_W\tilde{B}\right)\left(z\right)=\underset{x\cdot y=z}{\sup }{T}_W\left(\tilde{A}\left(x\right),\tilde{B}\left(y\right)\right)\\ =\max \left(\tilde{A}\left(\frac{z}{b_2}\right),\tilde{B}\left(\frac{z}{a_2}\right)\right)\\ =\max \left(L\left(\frac{z/b_2-a_2}{{\beta }_A}\right),L\left(\frac{z/a_2-b_2}{{\beta }_B}\right)\right)\\ =\max \left(L\left(\frac{z-a_2{b}_2}{{\beta }_A{b}_2}\right),L\left(\frac{z-a_2{b}_2}{{\beta }_B{a}_2}\right)\right)\\ =L\left[\left(z-a_2{b}_2\right)/\max \left({\beta }_A{b}_2,{\beta }_B{a}_2\right)\right]\end{array}$

It follows that $\tilde{A}{\odot }_W\tilde{B}={\left(a_1{b}_1,a_2{b}_2,\max \left({\alpha }_A{b}_1,{\alpha }_B{a}_1\right),\max \left({\beta }_A{b}_2,{\beta }_B{a}_2\right)\right)}_{LL}$ ,$\tilde{A},\tilde{B}\in PTF{N}_{LL}$ . For the other cases, we can similarly get the same formulas as the cases in (6) and omit the proof.

Remark. The propositions 1.3 in Wang (2016) [33] are the special cases of our proposition 2 and proposition 3.

Proposition 4. $T_W$ is the only T-norm which can induce a shape preserving multiplication of $PNTF{N}_{LL}$ .

Proof. From proposition 3, we can get that $T_W$ induces a shape preserving multiplication of $PNTF{N}_{LL}$ . The following work is to prove $T_W$ is the unique one induces a shape preserving multiplication on $PNTF{N}_{LL}$ .

Now, give $L\left(x-m\right)$ be a non-increasing continuous function form $\left[m,+\infty \right)$ to $\left[0,1\right]$ with $\underset{x\to +\infty }{\lim }L\left(x-m\right)=0,L\left(0\right)=1,m\ge 2$ , which induces the case of $L\left(1\right)=0$ and assume $\left\{x|L\left(x-m\right)=1\right\}=\left\{m\right\}$ . Let $\tilde{A}=\tilde{B}={\left(m,m,1,1\right)}_{LL}\in PTF{N}_{LL}$ . Then $\tilde{A}{\odot }_T\tilde{B}\ne 1_{\left\{m\right\}}$ . For this, suppose $T\left(x_0,y_0\right)>0$ , for some $x_0,y_0\in \left(0,1\right)$ , then there exist $a_0,b_0\in \left(m,+\infty \right)$ such that $L\left(a_0-m\right)=x_0$ , $L\left(b_0-m\right)=y_0$ . Then

$\begin{array}{c}\tilde{A}\odot \tilde{B}\left(a_0\cdot b_0\right)=\underset{x\cdot y=a_0\cdot b_0}{\sup }T\left(A\left(x\right),B\left(y\right)\right)\ge T\left(L\left(a_0-m\right),L\left(b_0-m\right)\right)\\ =T\left(x_0,y_0\right)>0\end{array}$

Let $\left\{x|L\left(x-m\right)\ge h\right\}=\left[m,L_h+m\right]$ . Then by Nguyen’s theorm (1978) [39] $\left\{z|\tilde{A}{\odot }_{T_M}\tilde{B}\left(z\right)\ge h\right\}=\left[-{\left(L_h+m\right)}^2,-m^2\right]\cup \left[m^2,{\left(L_h+m\right)}^2\right]$ for $0\le h\le 1$ . Now suppose $\tilde{A}{\odot }_T\tilde{B}=\left(m,m,\alpha ,\alpha \right)$ for some $0<\alpha <2$ , and hence $\left\{z|\tilde{A}{\odot }_T\tilde{B}\ge h\right\}=\left[-\alpha \left(L_h+m\right),-m\right]\cup \left[m,\alpha \left(L_h+m\right)\right]$ . But, since $\tilde{A}{\odot }_T\tilde{B}\le \tilde{A}{\odot }_{T_M}\tilde{B}$ , ${\left(L_h+m\right)}^2\ge \alpha \left(L_h+m\right)$ for any $h\in \left[0,1\right]$ . Then $\alpha =0$ , a contradiction. Hence $\tilde{A}{\odot }_T\tilde{B}$ is not a fuzzy number of LL-type. Therefore, we have proved this proposition.

Proposition 5. Let $\tilde{A}={\left(a_1,a_2,{\alpha }_A,{\beta }_A\right)}_{LL}$ , $\tilde{B}={\left(b_1,b_2,{\alpha }_B,{\beta }_B\right)}_{LL}\in PNTF{N}_{LL}$ , $\alpha \in \left[0,1\right]$ , $k\ne 0,k\in R$ , so we can get

$\begin{array}{l}(1)\left(\tilde{A}{\oplus }_W\tilde{B}\right)\subseteq {\tilde{A}}_{\alpha }+{\tilde{B}}_{\alpha }\\ (2)\left(\tilde{A}{\ominus }_W\tilde{B}\right)\subseteq {\tilde{A}}_{\alpha }-{\tilde{B}}_{\alpha }\\ (3)\left(k{\odot }_W\tilde{A}\right)=k\cdot {\tilde{A}}_{\alpha }\\ (4)\left(\tilde{A}{\odot }_W\tilde{B}\right)\subseteq {\tilde{A}}_{\alpha }\cdot {\tilde{B}}_{\alpha }\end{array}$ (7)

Proposition 6. Let $\tilde{A}={\left(a_1,a_2,{\alpha }_A,{\beta }_A\right)}_{LL}$ , $\tilde{B}={\left(b_1,b_2,{\alpha }_B,{\beta }_B\right)}_{LL}$ , $\tilde{C}={\left(c_1,c_2,{\alpha }_C,{\beta }_C\right)}_{LL}\in PNTF{N}_{LL}$ , $k_1,k_2,k\in R$ , then

(8)

Definition 6. (Xu and Li, 2001) Set $\tilde{A},\tilde{B}\in FN$ , then the distance between $\tilde{A},\tilde{B}$ is defined as follows:

$d\left(\tilde{A},\tilde{B}\right)={\left({\displaystyle {\int }_0^{1}f}\left(\lambda \right)d^2\left({\tilde{A}}_{\lambda },{\tilde{B}}_{\lambda }\right)\text{d}\lambda \right)}^{\frac{1}{2}}$ (9)

where $d^2\left({\tilde{A}}_{\lambda },{\tilde{B}}_{\lambda }\right)={\left(a_l\left(\lambda \right)-b_l\left(\lambda \right)\right)}^2+{\left(a_r\left(\lambda \right)-b_r\left(\lambda \right)\right)}^2$ , ${\tilde{A}}_{\lambda }=\left[a_l\left(\lambda \right),a_r\left(\lambda \right)\right]$ , ${\tilde{B}}_{\lambda }=\left[b_l\left(\lambda \right),b_r\left(\lambda \right)\right]$ , $f\left(\lambda \right)$ is an increasing function on $\left[0,1\right]$ , $f\left(0\right)=0$ , and ${\displaystyle {\int }_0^{1}f}\left(\lambda \right)\text{d}\lambda =\frac{1}{2}$ .

Theorem 1. Set $\tilde{A}=\left(a_1,a_2,{\alpha }_A,{\beta }_A\right),\tilde{B}=\left(b_1,b_2,{\alpha }_B,{\beta }_B\right)\in PNTF{N}_{LL}$ , their membership function can be represented as the form of that in Definition 3, then the distance can be defined as follows:

$\begin{array}{l}{d}^2\left(\tilde{A},\tilde{B}\right)={\Delta }_1{\left(a_1-b_1\right)}^2+{\Delta }_1{\left(a_2-b_2\right)}^2+{\Delta }_2{\left({\alpha }_A-{\alpha }_B\right)}^2+{\Delta }_2{\left({\beta }_A-{\beta }_B\right)}^2\\ -{\Delta }_3\left(a_1-b_1\right)\left({\alpha }_A-{\alpha }_B\right)+{\Delta }_3\left(a_2-b_2\right)\left({\beta }_A-{\beta }_B\right)\end{array}$ (10)

where ${\Delta }_1={\displaystyle {\int }_0^{1}f}\left(\lambda \right)\text{d}\lambda$ , ${\Delta }_2={\displaystyle {\int }_0^{1}f}\left(\lambda \right)L_{\lambda }^2\text{d}\lambda$ , ${\Delta }_3=2{\displaystyle {\int }_0^{1}f}\left(\lambda \right)L_{\lambda }\text{d}\lambda$ , $L_{\lambda }=L^{-1}\left(\lambda \right)$ .

Proof. For $\tilde{A}=\left(a_1,a_2,{\alpha }_A,{\beta }_A\right),\tilde{B}=\left(b_1,b_2,{\alpha }_B,{\beta }_B\right)$ , we can get the $\lambda$ -set of $\tilde{A},\tilde{B}$ :

$A_{\lambda }=\left[a_1-{\alpha }_A{L}_{\lambda },a_2+{\beta }_A{L}_{\lambda }\right],B_{\lambda }=\left[b_1-{\alpha }_B{L}_{\lambda },b_2+{\beta }_B{L}_{\lambda }\right]$

so,

$\begin{array}{c}{d}^2\left(A_{\lambda },B_{\lambda }\right)={\left[\left(a_1-L_{\lambda }{\alpha }_A\right)-\left(b_1-L_{\lambda }{\alpha }_B\right)\right]}^2+{\left[\left(a_2+L_{\lambda }{\beta }_A\right)-\left(b_2+L_{\lambda }{\beta }_B\right)\right]}^2\\ ={\left[\left(a_1-b_1\right)-L_{\lambda }\left({\alpha }_A-{\alpha }_B\right)\right]}^2+{\left[\left(a_2-b_2\right)+L_{\lambda }\left({\beta }_A-{\beta }_B\right)\right]}^2\\ ={\left(a_1-b_1\right)}^2+{\left(a_2-b_2\right)}^2+L_{\lambda }^2{\left({\alpha }_A-{\alpha }_B\right)}^2+L_{\lambda }^2{\left({\beta }_A-{\beta }_B\right)}^2\\ -2L_{\lambda }\left(a_1-b_1\right)\left({\alpha }_A-{\alpha }_B\right)+2L_{\lambda }\left(a_1-b_1\right)\left({\beta }_A-{\beta }_B\right)\end{array}$

further, we can get

$\begin{array}{c}d{\left(\tilde{A},\tilde{B}\right)}^2={\displaystyle {\int }_0^{1}f}\left(\lambda \right)d^2\left({\tilde{A}}_{\lambda },{\tilde{B}}_{\lambda }\right)\text{d}\lambda \\ ={\Delta }_1{\left(a_1-b_1\right)}^2+{\Delta }_1{\left(a_2-b_2\right)}^2+{\Delta }_2{\left({\alpha }_A-{\alpha }_B\right)}^2+{\Delta }_2{\left({\beta }_A-{\beta }_B\right)}^2\\ -{\Delta }_3\left(a_1-b_1\right)\left({\alpha }_A-{\alpha }_B\right)+{\Delta }_3\left(a_2-b_2\right)\left({\beta }_A-{\beta }_B\right)\end{array}$

Hence, we complete the proof of Theorem 1.

In the following discussion, we set $f\left(\lambda \right)=\lambda$ , $L\left(\lambda \right)=\max \left\{0,1-\left|\lambda \right|\right\}$ , then we can get

$\begin{array}{c}d{\left(\tilde{A},\tilde{B}\right)}^2=\frac{1}{2}{\left(a_1-b_1\right)}^2+\frac{1}{2}{\left(a_2-b_2\right)}^2+\frac{1}{12}{\left({\alpha }_A-{\alpha }_B\right)}^2+\frac{1}{12}{\left({\beta }_A-{\beta }_B\right)}^2\\ -\frac{1}{3}\left(a_1-b_1\right)\left({\alpha }_A-{\alpha }_B\right)+\frac{1}{3}\left(a_2-b_2\right)\left({\beta }_A-{\beta }_B\right)\end{array}$

3. Fuzzy Least Squares Linear Regression Model

In this section, we consider a group of n sample data, denoted by $\left({\tilde{X}}_{i1},{\tilde{X}}_{i2},{\tilde{X}}_{i3},\cdots ,{\tilde{Y}}_i\right)$ ,. Let ${\tilde{X}}_{ij}=\left(x_{i{j}_1},x_{i{j}_2},{\alpha }_{X_{ij}},{\beta }_{X_{ij}}\right)$ be the dependent variable, and ${\tilde{B}}_j=\left(b_{j_1},b_{j_2},{\alpha }_{B_j},{\beta }_{B_j}\right)$ be the $PNTF{N}_{LL}$ regression coefficient, ${\tilde{\epsilon }}_i=\left({\epsilon }_{i_1},{\epsilon }_{i_2},{\alpha }_{{\epsilon }_i},{\beta }_{{\epsilon }_i}\right)$ be the random error. Here ${\tilde{X}}_{ij},{\tilde{B}}_j,{\tilde{\epsilon }}_i\in PNTF{N}_{LL}$ , $\left(i=0,1,\cdots ,n,j=1,2,\cdots ,p\right)$ . Then the general trapezoidal fuzzy linear regression model can be represented as follows:

${\tilde{Y}}_i={\displaystyle \sum }_{j=0}^p{}_W\tilde{B}{}_j{\odot }_W{\tilde{X}}_{ij}{\oplus }_W{\tilde{\epsilon }}_i$ (11)

Now, we define set $P$ and set $N$ , $P=\left\{j|{\widehat{b}}_j\ge 0,j=1,2,\cdots ,p\right\}$ , $N=\left\{j|{\widehat{b}}_j<0\right\}$ . If ${\tilde{B}}_j\in PTF{N}_{LL},j\in P$ , otherwise, $j\in N$ . Then this linear regression model has the following form (specify ${\tilde{X}}_{i0}=\left(1,1,0,0\right)$ ). According to $T_W$ , we can calculate the model:

$\begin{array}{l}{\tilde{Y}}_i={\displaystyle \sum _{j=0}^p{}_W{\tilde{B}}_j{\odot }_W{\tilde{X}}_{ij}{\oplus }_W{\tilde{\epsilon }}_i}\\ ={\tilde{B}}_0{\oplus }_W\left({\tilde{B}}_1{\odot }_W{\tilde{X}}_{i1}\right){\oplus }_W\cdots {\oplus }_W\left({\tilde{B}}_p{\odot }_W{\tilde{X}}_{ip}\right){\oplus }_W{\tilde{\epsilon }}_i\\ ={\displaystyle \sum _{j\in P}{}_W\left({\tilde{B}}_j{\odot }_W{\tilde{X}}_{ij}\right)}{\oplus }_W{\displaystyle \sum _{j\in N}{}_W\left({\tilde{B}}_j{\odot }_W{\tilde{X}}_{ij}\right)}{\oplus }_W{\tilde{\epsilon }}_i\\ ={\displaystyle \sum _{j\in P}{}_W\left(b_{j_1},b_{j_2},{\alpha }_{B_j},{\beta }_{B_j}\right){}_{LL}{\odot }_W\left(x_{i{j}_1},x_{i{j}_2},{\alpha }_{X_{ij}},{\beta }_{X_{ij}}\right)}\\ {\oplus }_W{\displaystyle \sum _{j\in N}{}_W\left(b_{j_1},b_{j_2},{\alpha }_{B_j},{\beta }_{B_j}\right){}_{LL}{\odot }_W\left(x_{i{j}_1},x_{i{j}_2},{\alpha }_{X_{ij}},{\beta }_{X_{ij}}\right)}{\oplus }_W{\tilde{\epsilon }}_i\\ ={\displaystyle \sum _{j\in P}{}_W\left(b_{j_1}{x}_{i{j}_1},b_{j_2}{x}_{i{j}_2},\max \left({\alpha }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}{b}_{j_1}\right),\max \left({\beta }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}{b}_{j_2}\right)\right){}_{LL}}\\ {\oplus }_W{\displaystyle \sum _{j\in N}{}_W\left(b_{j_1}{x}_{i{j}_2},b_{j_2}{x}_{i{j}_1},\max \left({\alpha }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}\left|b_{j_1}\right|\right),\max \left({\beta }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}\left|b_{j_2}\right|\right)\right){}_{LL}}\\ {\oplus }_W{\left({\epsilon }_{i_1},{\epsilon }_{i_2},{\alpha }_{{\epsilon }_i},{\beta }_{{\epsilon }_i}\right)}_{LL}\end{array}$ (12)

$s.t.\{\begin{array}{l}{y}_{i_1}=b_{0_1}+{\displaystyle \sum _{j\in P}{b}_{j_1}}{x}_{i{j}_1}+{\displaystyle \sum _{j\in N}{b}_{j_1}}{x}_{i{j}_2}+{\epsilon }_{i_1}\\ y_{i_2}=b_{0_2}+{\displaystyle \sum _{j\in P}{b}_{j_2}}{x}_{i{j}_2}+{\displaystyle \sum _{j\in N}{b}_{j_2}}{x}_{i{j}_2}+{\epsilon }_{i_2}\\ {\alpha }_{y_i}=\max \left({\alpha }_{B_0},\underset{j\in P}{\max }\left({\alpha }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}{b}_{j_1}\right),\underset{j\in N}{\max }\left({\alpha }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}\left|b_{j_1}\right|\right),{\alpha }_{{\epsilon }_i}\right)\\ =\max \left({\alpha }_{B_0},{\left\{{\alpha }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}{b}_{j_1}\right\}}_{j\in P},{\left\{{\alpha }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}\left|b_{j_1}\right|\right\}}_{j\in N},{\alpha }_{{\epsilon }_i}\right)\\ {\beta }_{y_i}=\max \left({\beta }_{B_0},\underset{j\in P}{\max }\left({\beta }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}{b}_{j_2}\right),\underset{j\in N}{\max }\left({\beta }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}\left|b_{j_2}\right|\right),{\beta }_{{\epsilon }_i}\right)\\ =\max \left({\beta }_{B_0},{\left\{{\beta }_{B_j}{x}_{i{j}_2},{\beta }_{X_{ij}}{b}_{j_2}\right\}}_{j\in P},{\left\{{\beta }_{B_j}{x}_{i{j}_1},{\alpha }_{X_{ij}}\left|b_{j_2}\right|\right\}}_{j\in N},{\beta }_{{\epsilon }_i}\right)\end{array}$ (13)

We determine each estimated value ${\widehat{\tilde{B}}}_j$ of the regression coefficient ${\tilde{B}}_j$ based on the least squares deviation criterion by minimizing the overall square error according to the proposed square distance and obtain the following objective function:

$\underset{{\widehat{\tilde{B}}}_j\left(j=0,\cdots ,p\right)}{\min }{\displaystyle \sum _{i=1}^n{d}^2}\left({\tilde{Y}}_i,\underset{j=0}{\overset{p}{{\displaystyle {\sum }_W}}}{\widehat{\tilde{B}}}_j{\odot }_W{\tilde{X}}_{ij}\right)$ (14)

Finally, we draw the conclusion:

${\widehat{\tilde{Y}}}_i={\displaystyle \sum _{j=0}^p{}_W{\widehat{\tilde{B}}}_j{\odot }_W{\tilde{X}}_{ij}}$ (15)

Considering the efficiency of evaluation, we design the specific steps in the following. The whole process is solved by using MATLAB.

Step 1: Calculate $X_{i{j}_c},Y_{i_c}$ , the centers of $X_{ij}$ and $Y_i$ , with centroid method, then the estimates, $i=1,2,\cdots ,n,j=0,1,\cdots ,p$ .

Step 2: Determine set $P$ and set $N$ .

Step 3: Compare the sign of ${\widehat{\tilde{B}}}_j$ and the estimates of ${\widehat{b}}_j$ , if they are same, we can determine ${\widehat{\tilde{B}}}_j$ , or we need to modify set $P$ and set $N$ and repeat Step 2, until the sign of ${\widehat{\tilde{B}}}_j$ is consistent with preset.

3.1. Independent Variable, Dependent Variables and Regression Coefficients Are in $PNTF{N}_{LL}$

Based on the above, we can conclude least-squares regression of $FIFCFO$ model:

${\tilde{Y}}_i={\tilde{B}}_0{\oplus }_W\left({\tilde{B}}_1{\odot }_W{\tilde{X}}_{i1}\right){\oplus }_W\cdots {\oplus }_W\left({\tilde{B}}_p{\odot }_W{\tilde{X}}_{ip}\right){\oplus }_W{\tilde{\epsilon }}_i$ (16)

where,

, ${\tilde{Y}}_i={\left(y_{i_1},y_{i_2},{\alpha }_{Y_i},{\beta }_{Y_i}\right)}_{LL}$ ,

${\tilde{B}}_j={\left(b_{j_1},b_{j_2},{\alpha }_{B_j},{\beta }_{B_j}\right)}_{LL}$ , ${\tilde{X}}_{i0}={\left(1,1,0,0\right)}_{LL}$ ,

${\tilde{X}}_{ij},{\tilde{B}}_j\in PNTF{N}_{LL}$ , $i=1,2,\cdots ,n$ , $j=0,1,\cdots ,p$ .

Let ${\tilde{X}}_{ij}\in PTF{N}_{LL}$ ,

(17)

The other cases can be calculated as the above similarly.

3.2. Error Management Criterion

For the fuzzy linear regression model (14), let ${\tilde{Y}}_i$ and ${\widehat{\tilde{Y}}}_i$ be the observed and estimated fuzzy response for the ith observation, respectively. $E_i$ represents the difference of membership values between two membership functions, $S_i$ represents the similarity of membership values between two membership functions, $R_i$ represents the relative difference of membership values in shape between two membership functions, ${\tilde{Y}}_i\left(x\right)$ and ${\widehat{\tilde{Y}}}_i\left(x\right)$ are the membership functions of ${\tilde{Y}}_i$ and ${\widehat{\tilde{Y}}}_i$ , respectively, $S_{{\tilde{Y}}_i}$ and $S_{{\widehat{\tilde{Y}}}_i}$ denote the support of ${\tilde{Y}}_i$ and ${\widehat{\tilde{Y}}}_i$ .

1) Error Index (Kim and Bishu, 1998 [40] )

$E_i=\frac{{\displaystyle {\int }_{S_{{\tilde{Y}}_i}\cup S_{{\widehat{\tilde{Y}}}_i}}\left|{\tilde{Y}}_i\left(x\right)-{\widehat{\tilde{Y}}}_i\left(x\right)\right|\text{d}x}}{{\displaystyle {\int }_{S_{{\tilde{Y}}_i}}{\tilde{Y}}_i}\left(x\right)\text{d}x}$ (18)

2) Similarity Measure (Rezaei et al., 2006 [41] )

$S_i=\frac{{\displaystyle {\int }_{S_{{\tilde{Y}}_i}\cup S_{{\widehat{\tilde{Y}}}_i}}\min }\left({\tilde{Y}}_i\left(x\right),{\widehat{\tilde{Y}}}_i\left(x\right)\right)\text{d}x}{{\displaystyle {\int }_{S_{{\tilde{Y}}_i}\cup S_{{\widehat{\tilde{Y}}}_i}}\max }\left({\tilde{Y}}_i\left(x\right),{\widehat{\tilde{Y}}}_i\left(x\right)\right)\text{d}x}$ (19)

3) Distance Criterion

$R_i=\frac{\left|{\alpha }_{{\widehat{\tilde{Y}}}_i}-{\alpha }_{{\tilde{Y}}_i}\right|}{{\alpha }_{{\tilde{Y}}_i}}+\frac{\left|{\beta }_{{\widehat{\tilde{Y}}}_i}-{\beta }_{{\tilde{Y}}_i}\right|}{{\beta }_{{\tilde{Y}}_i}}$ (20)

Inspired by Chen and Hsueh (2007) [42] , we proposed $R_i$ to measure the fitting effect on the shape.

For each index having its own pros and cons. In general, smaller $E_i$ and $R_i$ , larger $S_i$ , better effect of the fitting model has. So, in this paper, we compare the fitting effect from different points.

4. Numerical Analysis

Example 1. The source sample data was produced by MATLAB randomly. First, we consider the model: ${\tilde{Y}}_i={\tilde{B}}_0{\oplus }_W{\tilde{B}}_1{\odot }_W{\tilde{X}}_i{\oplus }_W{\tilde{\epsilon }}_i$ . Then, we set the true value of

${\tilde{B}}_0={\left(-3,-2,0.5,1\right)}_{LL}$ , ${\tilde{B}}_1={\left(1,2,0.25,0.5\right)}_{LL}$ ,

${\tilde{X}}_i={\left(x_{i_1},x_{i_2},{\alpha }_{X_i},{\beta }_{X_i}\right)}_{LL}$ , ${\tilde{\epsilon }}_i={\left({ϵ}_{i_1},{ϵ}_{i_2},{\alpha }_{{\epsilon }_i},{\beta }_{{\epsilon }_i}\right)}_{LL}$

where ${\tilde{X}}_i\in PNTF{N}_{LL}$ , $x_{i_1}~U\left(2,3\right)$ , $x_{i_2}~U\left(3,4\right)$ , ${\alpha }_{X_i},{\beta }_{X_i}~U\left(0,1\right)$ , and ${\tilde{\epsilon }}_i\in PNTF{N}_{LL},$ ${ϵ}_{i_1}-{\alpha }_{{\epsilon }_i},{ϵ}_{i_1},{ϵ}_{i_2},{ϵ}_{i_2}+{\beta }_{{\epsilon }_i}~N\left(0,0.01\right),$ ${ϵ}_{i_1}-{\alpha }_{{\epsilon }_i}\le {ϵ}_{i_1}\le {ϵ}_{i_2}\le {ϵ}_{i_2}+{\beta }_{{\epsilon }_i}$ . Let $L\left(x\right)=\max \left\{0,1-\left|x\right|\right\}$ . The sample size is 50. Then, we can get the data set presented in Table 1. Now, we can use (14) to construct fuzzy regression model, obtain the estimated output and use Error Index, Similarity Measure, Distance Criterion to evaluate deviation.

$\begin{array}{l}{\widehat{\tilde{Y}}}_{SL}=\left(-2.9679,-1.9909,0.5273,0.6661\right)\\ {\oplus }_W\left(0.9873,1.9973,0.2503,0.5003\right){\odot }_W\tilde{X}\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_{CO}=\left(-2.2344,4.6114\times {10}^{-19},5.0184,1.4784\right)\\ {\oplus }_M\left(0.5093,0.2058,2.1246\times {10}^{-18},6.2998\times {10}^{-14}\right){\odot }_M\tilde{X}\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_Z=\left(-2.7155,-2.7155,-1.3188,-0.4816\right)\\ {\oplus }_M\left(0.7574,0.8908,1.8053,1.8053\right){\odot }_M\tilde{X}\end{array}$

From Table 2, we can find that the sum of $E_i$ and $R_i$ of our proposed model are smaller than that of the reference models, and the sum of $S_i$ of our proposed model is larger than that of the reference models, that means our proposed model has lower deviations than the reference models.

Example 2. The source sample data comes from Table 1 in Zhang (2012) [16] , where the inputs are crisp real numbers, and the outputs are trapezoidal fuzzy numbers. In consideration of the applicability, we enlarge the sample size from 8 to 16, and expand the crisp inputs to fuzzy inputs. First, add

$x_i=0.5,1.5,\cdots ,7.5$ and corresponding $y_i$ into the sample data, then expand the crisp input to fuzzy input by setting. Now, we get the final sample in data Table 3. We still use (14) to construct fuzzy regression model, obtain the estimated output and use Error Index, Similarity Measure, Distance Criterion to evaluate deviation. Besides, the results in Table 4, we also illustrate the results through Figures 1(a)-(d) (we use $O{T}_i$ to denote the observed output, $C{O}_i$ to denote Li’s estimated output, $Z_i$ to denote Zhang’s estimated output, and $L{S}_i$ to denote our estimated output), which represent the fitting effect of components of trapezoidal fuzzy number between observed outputs, ${\widehat{\tilde{Y}}}_{CO}$ , ${\widehat{\tilde{Y}}}_Z$ and ${\widehat{\tilde{Y}}}_{SL}$ , respectively. In Figures 1(a)-(d), the horizontal axis represents the central value

of the independent variable, the vertical axis represents the value of the components of trapezoidal fuzzy number.

$\begin{array}{l}{\widehat{\tilde{Y}}}_{SL}=\left(3.9933,3.9933,0.3487,0.4184\right)\\ {\oplus }_W\left(0.7749,0.7749,0.0634,0.0493\right){\odot }_W\tilde{X}\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_{CO}=\left(3.7636,0.0231,1.1044\times {10}^{-10},0.0858\right)\\ {\oplus }_M\left(0.8081,1.2236\times {10}^{-11},8.6385\times {10}^{-12},9.3177\times {10}^{-12}\right){\odot }_M\tilde{X}\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_Z=\left(3.9860,3.9860,3.9860,4.0511\right)\\ {\oplus }_M\left(0.7755,0.7755,0.7755,0.7755\right){\odot }_M\tilde{X}\end{array}$

From Table 4, we can find that the sum of $E_i$ and $R_i$ of our proposed model are smaller than that of the reference models, and the sum of $S_i$ of our proposed model is larger than that of the reference models, that means our proposed model has lower deviations than the reference models. From Figure 1(a) and Figure 1(c), we can see our proposed model is on par with the reference models. From Figure 1(b) and Figure 1(d), we can obviously find that the 2nd and 4th component has perfect fitting effect, they can more aptly describe the trend of the shape of output fuzzy numbers. From Figure 2, we can find the estimated outputs of our proposed model have better coverage than the reference models, especially the 1st, 3rd, 4th. In conclusion, our proposed model has better fitting effect in this case.

Example 3.The source sample data comes from Table 2 in Zhang (2012) [16] , where the inputs are crisp real numbers, and the outputs are trapezoidal fuzzy numbers. In consideration of the applicability, we modify the sample data, and expand the crisp inputs to fuzzy inputs. The specific steps are similar to Example 2. After obtaining the proper sample data in Table 5, we still use (14) to construct fuzzy regression model, obtain the estimated output and use Error Index, Similarity Measure, Distance Criterion to evaluate deviation shown in Table 6.

$\begin{array}{l}{\widehat{\tilde{Y}}}_{SL}=\left(4.4703,4.4703,0.3554,0.2552\right)\\ {\oplus }_W\left(0.1531,0.1531,0.0340,0.0322\right){\odot }_W{\tilde{X}}_1\\ {\oplus }_W\left(-0.7719,-0.7719,0.0019,0.0010\right){\odot }_W{\tilde{X}}_2\\ {\oplus }_W\left(0.3951,0.3951,0.0032,0.0145\right){\odot }_W{\tilde{X}}_3\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_{CO}=\left(7.6546,0.5084,5.5503\times {10}^{-20},0.5284\right)\\ {\oplus }_M\left(3.6192\times {10}^{-20},3.3385\times {10}^{-20},4.8089\times {10}^{-21},5.1307\times {10}^{-20}\right){\odot }_M{\tilde{X}}_1\\ {\oplus }_M\left(-0.7626,6.3898\times {10}^{-21},4.1140\times {10}^{-21},6.4876\times {10}^{-21}\right){\odot }_M{\tilde{X}}_2\\ {\oplus }_M\left(0.2108,6.3215\times {10}^{-21},2.6331\times {10}^{-21},1.0405\times {10}^{-20}\right){\odot }_M{\tilde{X}}_3\end{array}$

$\begin{array}{l}{\widehat{\tilde{Y}}}_Z=\left(8.2600,8.2600,8.2600,8.4384\right)\\ {\oplus }_M\left(-0.2238,-0.2238,-0.2238,-0.2238\right){\odot }_M{\tilde{X}}_1\\ {\oplus }_M\left(-0.3971,-0.3385,-0.2103,-0.2032\right){\odot }_M{\tilde{X}}_2\\ {\oplus }_M\left(-0.1443,-0.1443,-0.1443,-0.1426\right){\odot }_M{\tilde{X}}_3\end{array}$

From Table 6, we can find that the sum of $E_i$ of our proposed model is smaller than that of the reference models, and the sum of $S_i$ and $R_i$ of our proposed model is larger than that of the reference models, that means our proposed model has lower deviations than the reference models, but bad shape estimation.

5. Conclusions

In this study, we took advantages of drastic product and classic LSD and used $T_W$ to design the a kind of trapezoidal fuzzy number ( $PNTF{N}_{LL}$ ) regression model, which handles regression problem with fuzzy inputs, fuzzy coefficients and fuzzy outputs represented as $FIFCFO$ . The first two examples show great support for our model, and the last example is inferior in $R_i$ . In general, our proposed model has better performance than the reference models when on outliers in sample sets, that means our proposed model is short of robust property.

Although the experimental results show that our proposed model has better performance, but the complexity of computation is still a potential problem even though it is solved to a certain extent by optimized program. The sample size or the number of variables is larger; the computation is more complex. In the future research, we will further study how to perform better when sample size is large, or there are outliers in sample sets and apply it to non-linear fuzzy regression analysis.

Acknowledgements

The authors appreciate the helpful comments of the referees on this manuscript.

Cite this paper

Sun, J. and Lu, Q.J. (2017) Regression Analysis of a Kind of Trapezoidal Fuzzy Numbers Based on a Shape Preserving Operator. Journal of Data Analysis and Information Processing, 5, 96-114. https://doi.org/10.4236/jdaip.2017.53008

References