nach oben

Complex & Intelligent Systems

Erschienen in:

Open Access 19.12.2022 | Original Article

Study on non-iterative algorithms for center-of-sets type-reduction of Takagi–Sugeno–Kang type general type-2 fuzzy logic systems

verfasst von: Yang Chen

Erschienen in: Complex & Intelligent Systems | Ausgabe 4/2023

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Patentsuche

Aus

Abstract

The paper performs the center-of-sets (COS) type-reduction (TR) and de-fuzzification for Takagi–Sugeno–Kang (TSK) type general type-2 fuzzy logic systems (GT2 FLSs) on the basis of the $\alpha$-planes expression of general type-2 fuzzy sets. Actually, comparing the popular Karnik–Mendel (KM) algorithms with other non-iterative algorithms is an important question in T2 society. Here the modules of fuzzy inference, COS TR, and de-fuzzification for TSK type GT2 FLSs are discussed by means of non-iterative Nagar–Bardini (NB) algorithms, Nie–Tan (NT) algorithms, and Begian–Melek–Mendel (BMM) algorithms. Simulation instances are constructed to illustrate the performances of three types of non-iterative algorithms compared with the KM algorithms. It is proved that, the proposed non-iterative algorithms can enhance the computational efficiencies significantly, which afford the potential application value for designers of GT2 FLSs.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Introduction

Interval type-2 fuzzy sets [1] can explain the uncertainties in membership functions (MFs). However, the secondary membership grades of interval type-2 fuzzy sets (IT2 FSs) are just equal to 1, which must measure the uncertainty of MF uniformly. While the secondary membership grades of GT2 FSs lie between 0 and 1. Therefore, GT2 FSs can be regarded as higher-order uncertain fuzzy set models in contrast to IT2 FSs. Naturally, IT2 and GT2 FLSs use IT2 and GT2 FSs, respectively. As the design degrees of freedom increase, GT2 FLSs [2‐5, 15] have advantages over IT2 FLSs [6, 7] on many fields subject to uncertainty.

Generally, a GT2 FLS is constituted by five modules as: fuzzifier, fuzzy reasoning (inference), rules, TR and de-fuzzification (see the Fig. 1). Among which, the module of TR is especially important, which acts as the role of varying the T2 fuzzy set to the T1 fuzzy set. Finally, the de-fuzzification block maps the T1 fuzzy set to the output. In the past decades, the calculational costs of GT2 FLSs have been significantly reduced as the $\alpha$-planes (or say z-Slices [8‐10]) descriptions of GT2 FSs were put forward by some well-known researchers. Since then, GT2 FLSs are successfully applied to many fields as edge detection [11, 12], intelligent fuzzy control [3, 5, 10], forecasting [4, 13, 14], medical diagnosis [30], and so on.

The centroid TR for IT2 FLSs is a very popular theoretical study approach. In the early days, the time-consuming Karnik and Mendel (KM) algorithms [16] were developed to complete the centroid TR. Even so, the iterative property of KM algorithms made them difficult to apply in practical applications. Hence, some non-iterative algorithms were proposed gradually for perform the centroid TR, they are known as the Greenfield and Chiclana Collapsing Defuzzifier (GCCD [17]), Wu and Mendel uncertainty bound (UB [18]), Nagar and Bardini (NB) algorithms [19‐21], Nie and Tan algorithms [22‐24] and Begian and Melek and Mendel (BMM) algorithms [25, 26]. In contrast to the centroid TR, studying the COS TR is more beneficial for designing IT2 and GT2 FLSs. Moreover, on the basis of alpha-planes representation of GT2 FSs, it is feasible to expand and improve the centroid TR of IT2 FLSs for performing the COS TR [27‐29] of more complicated GT2 FLSs.

The paper expands the NB algorithms, NT algorithms and BMM algorithms to perform the COS TR for GT2 FLSs. Simulation experiments are constructed to illustrate the performances of three kinds of non-iterative algorithms in contrast to the KM algorithms. The remainder of the paper is arranged as follows. Section two gives the TSK inference structure-based GT2 FLS. Section three provides the proposed non-iterative algorithms for performing the COS TR of GT2 FLSs. Six simulation experiments are provided in Section four to illustrate the performances of them. Finally, Section five is the conclusions.

TSK GT2 FLSs

Similar to the inference structure of IT2 FLSs, GT2 FLSs are also divided into Mamdani type [13] and Takagi–Sugeno–Kang (TSK) type [2, 4, 14]. Here we only focus the TSK type. Consider a TSK type GT2 FLS with totally $p$ inputs $x_{1} \in X_{1} ,x_{2} \in X_{2} , \ldots ,x_{p} \in X_{p}$, and a single output $y \in Y$, which can be described by totally $N$ fuzzy rules, in which the form $lth$ rule is as:

$$\begin{aligned} &{\text{If }}{x_1}{\text{ is }} {{\tilde{F}}_{1}^{l}} {\text{ and}} \cdots {\text{and }}{x_{p}} {\text{ is }} {{\tilde {F}}_{p}^{l}},\,\\ & \qquad {\text{then }} y_{\alpha^{l}} = {c_{0}^{l}} + {c_{1}^{l}} {x_1} + \cdots + {c_{p}^{l}} {x_p} \quad (l = 1,2, \ldots ,N) .\end{aligned}$$

(1)

in which $ \tilde{F}_{i}^{l} (i = 1, \cdots ,p)$ denotes the antecedent GT2 FS, and $c_{j}^{l} (j = 0,1, \ldots ,p)$ represents the crisp consequent parameter. Here the input measurement is also chosen as the GT2 FS. Furthermore, the GT2 FLSs are as the “$A2 - C0$” type, i.e., the antecedent is the GT2 FS, and consequent is the crisp number. In addition, the structure of rules doesn’t change when the systems vary from IT2 to GT2, and only the types of FSs are transformed.

First, compute the consequents for each fuzzy rule, that is to say, $\{ y_{\alpha }^{l} (x)\}_{l = 1}^{N}$. Then renumber the $\{ y_{\alpha }^{l} (x)\}_{l = 1}^{N}$ as an ascending order $\{ \gamma_{\alpha }^{l} (x)\}_{l = 1}^{N}$. Here the non-singleton fuzzifier is adopted to the firing interval $F_{\alpha }^{l} (x)$ for each rule under the corresponding $\alpha$-level as:

$$ F_{\alpha } :\left\{ \begin{gathered} F_{\alpha }^{l} (x) \equiv [\underline{f}_{\alpha }^{l} (x),\overline{f}_{\alpha }^{l} (x)] \hfill \\ \underline{f}_{\alpha }^{l} (x) \equiv T_{i = 1}^{p} \underline{f}_{i,\alpha }^{l} (x_{i} ) = T_{i = 1}^{p} \underline{\mu }_{{\tilde{Q}_{i,\alpha }^{l} }} (\underline{x}_{i,\max }^{l} ) \\\quad = T_{i = 1}^{p} [\underline{\mu }_{{\tilde{X}_{i,\alpha } }} (\underline{x}_{i.\max }^{l} ) \wedge \underline{\mu }_{{\tilde{F}_{i,\alpha }^{l} }} (\underline{x}_{i.\max }^{l} )] \hfill \\ \overline{f}_{\alpha }^{l} (x) \equiv T_{i = 1}^{p} \overline{f}_{i,\alpha }^{l} (x_{i} ) = T_{i = 1}^{p} \overline{\mu }_{{\tilde{Q}_{i,\alpha }^{l} }} (\overline{x}_{i,\max }^{l} )\\ \quad = T_{i = 1}^{p} [\overline{\mu }_{{\tilde{X}_{i,\alpha } }} (\overline{x}_{i.\max }^{l} ) \wedge \overline{\mu }_{{\tilde{F}_{i,\alpha }^{l} }} (\overline{x}_{i,\max }^{l} )] \hfill \\ \end{gathered} \right. $$

(2)

here we reorder the $F_{\alpha }^{l} (x)$ as the order of $\{ \gamma_{\alpha }^{l} (x)\}_{l = 1}^{N}$, $\overline{x}_{i,\max }^{l}$, and $\underline{x}_{i,\max }^{l}$ are the $x_{i}$ values which are in relation with $\sup_{{x_{i} }} \overline{\mu }_{{\tilde{Q}_{i,\alpha }^{l} }} (x_{i} )$ and $\sup_{{x_{i} }} \underline{\mu }_{{\tilde{Q}_{i,\alpha }^{l} }} (x_{i} )$, respectively.

The output of TSK type GT2 FLSs under the $\alpha$-level can be calculated as:

$$ Y_{{{\text{TSK}},\alpha }} = \alpha /\left[\frac{{\sum\nolimits_{l = 1}^{N} {F_{\alpha }^{l} (x)\gamma_{\alpha }^{l} (x)} }}{{\sum\nolimits_{l = 1}^{N} {F_{\alpha }^{l} (x)} }}\right] = \alpha /[y_{l,\alpha } (x),y_{r,\alpha } (x)], $$

(3)

where $y_{l,\alpha } (x)$ and $y_{r,\alpha } (x)$ can be computed by the KM types of TR algorithms as:

$$ y_{l,\alpha } (x) = \mathop {\min }\limits_{{f_{\alpha }^{l} \in [\underline{f}_{\alpha }^{l} ,\overline{f}_{\alpha }^{l} ]}} \frac{{\sum\nolimits_{l = 1}^{N} {f_{\alpha }^{l} (x)\gamma_{\alpha }^{l} (x)} }}{{\sum\nolimits_{l = 1}^{N} {f_{\alpha }^{l} (x)} }} $$

(4)

and

$$ y_{r,\alpha } (x) = \mathop {\max }\limits_{{f_{\alpha }^{l} \in [\underline{f}_{\alpha }^{l} ,\overline{f}_{\alpha }^{l} ]}} \frac{{\sum\nolimits_{l = 1}^{N} {f_{\alpha }^{l} (x)\gamma_{\alpha }^{l} (x)} }}{{\sum\nolimits_{l = 1}^{N} {f_{\alpha }^{l} (x)} }}. $$

(5)

Let the whole number of effective $\alpha$-planes be $k$, that is to say, the $\alpha$ is equally divided into: $\alpha = \alpha_{1} ,\alpha_{2} , \ldots ,\alpha_{k}$. The final output of TSK type GT2 FLSs can be gotten as:

$$ y_{{{\text{TSK}}}} (x) = \frac{{\sum\nolimits_{i = 1}^{k} {\alpha_{i} \{ [y_{{l,\alpha_{i} }} (x) + y_{{r,\alpha_{i} }} (x)]/2\} } }}{{\sum\nolimits_{i = 1}^{k} {\alpha_{i} } }} $$

(6)

here the Eq. (6) was first put forward by Wagner [10], which can be called as the endpoints average de-fuzzification method. Although this approach can get the de-fuzzified value by a relatively simple way, which also needs to compute the $k$ $Y_{{{\text{TSK}},\alpha }}$ values according to the corresponding $\alpha$.

Three kinds of non-iterative algorithms

In this section, we obtain the output for TSK type GT2 FLSs according to the NB algorithms, NT algorithms and BMM algorithms.

NB algorithms

Recent studies show that T2 FLSs on the basis of NB algorithms [19] own superior capability in the face of environment uncertainties and external disturbances. By means of the fuzzy reasoning [31], let the output COS type-reduced set of TSK type GT2 FLSs at the $\alpha$ level be an interval, that is to say, $y_{{{\text{TSK}},\alpha }} = [y_{l,\alpha } ,y_{r,\alpha } ]$. Then the two end points of interval can be calculated as:

$$ y_{l,\alpha } = \frac{{\sum\nolimits_{l = 1}^{N} {\underline{f}_{\alpha }^{l} \gamma_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\underline{f}_{\alpha }^{l} } }} $$

(7)

and

$$ y_{r,\alpha } = \frac{{\sum\nolimits_{l = 1}^{N} {\overline{f}_{\alpha }^{l} \gamma_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\overline{f}_{\alpha }^{l} } }} $$

(8)

At the related $\alpha$-level, the COS de-fuzzified value can be obtained as:

$$ y_{{{\text{NB}},\alpha }} = (1/2) \cdot (y_{l,\alpha } + y_{r,\alpha } ). $$

(9)

Aggregating all the $y_{NB,\alpha }$ to get the COS type-reduced set, i.e.,

$$ Y_{NB} = \mathop {\sup }\limits_{\forall \alpha \in [0,1]} \alpha /Y_{NB,\alpha } . $$

(10)

The final output of TSK type GT2 FLSs based on NB algorithms can be obtained as the form in Eq. (6), i.e.,

$$ y_{{{\text{NB}}}} = \frac{{\sum\nolimits_{i = 1}^{k} {\alpha_{i} y_{{{\text{NB}},\alpha }} } }}{{\sum\nolimits_{i = 1}^{k} {\alpha_{i} } }}. $$

(11)

As a matter of fact, the simple closed form NB algorithms get the output from the linear combination of two different type-1 FLSs: one depends on the upper membership functions of type-2 fuzzy sets, and the other relies on the lower membership functions of T2 FSs.

NT algorithms

For the centroid type-reduction, the latest researches prove that the continuous Nie and Tan (CNT) algorithms [22] are actually an exact approach. Moreover, the sampling-based NT algorithms [32, 33] can precisely approach the CNT algorithm. Here the COS type-reduction for GT2 FLSs is studied based on the NT algorithms. At the corresponding $\alpha$-level, the COS de-fuzzified value can be computed by the NT algorithms as:

$$ y_{{{\text{NT}},\alpha }} = \frac{{\sum\nolimits_{l = 1}^{N} {\gamma_{\alpha }^{l} (\underline{f}_{\alpha }^{l} + \overline{f}_{\alpha }^{l} )} }}{{\sum\nolimits_{l = 1}^{N} {(\underline{f}_{\alpha }^{l} + \overline{f}_{\alpha }^{l} )} }}. $$

(12)

Aggregating all the $y_{{{\text{NT}},\alpha }}$ to get the COS type-reduced set, i.e.,

$$ Y_{{{\text{NT}}}} = \mathop {\sup }\limits_{\forall \alpha \in [0,1]} \alpha /Y_{{{\text{NT}},\alpha }} . $$

(13)

Finally, the output of TSK type GT2 FLSs can be calculated as:

$$ y_{{{\text{NT}}}} = \left( {\sum\limits_{i = 1}^{k} {\alpha_{i} y_{{{\text{NT}},\alpha }} } } \right)/\left( {\sum\limits_{i = 1}^{k} {\alpha_{i} } } \right). $$

(14)

Actually, just choose the average of upper and lower firing intervals, the closed form of NT algorithms can be gotten. In addition, this type of closed form of algorithm can perform the type-reduction and de-fuzzification simultaneously.

BMM algorithms

IT2 FLSs based on BMM algorithms [25, 26] have preferable robustness and stability in contrast to T1 FLSs. Now we study the COS type-reduction of TSK type GT2 FLSs based on BMM algorithms. At the corresponding $\alpha$-level, the COS de-fuzzified value can be calculated by the BMM algorithms as:

$$ y_{{{\text{BMM}},\alpha }} = a_{{{\text{BMM}}}} \frac{{\sum\nolimits_{l = 1}^{N} {\gamma_{\alpha }^{l} \underline{f}_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\underline{f}_{\alpha }^{l} } }} + b_{{{\text{BMM}}}} \frac{{\sum\nolimits_{l = 1}^{N} {\gamma_{\alpha }^{l} \overline{f}_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\overline{f}_{\alpha }^{l} } }}, $$

(15)

where $a_{{{\text{BMM}}}}$ and $b_{{{\text{BMM}}}}$ are two adjustable coefficients. Based on two T1 FLSs, among which, one depends on the upper membership functions, and the other depends on the lower membership functions.

In addition, the BMM algorithms are actually more general form of above two kinds of algorithms. Here we provide the explanations as follows.

See the Eqs. (7)–(9) and (15), it can be easily found that the BMM algorithms and NB algorithms become the same as the coefficients are chosen as $a_{{{\text{BMM}}}} = a_{{{\text{NB}}}} = \frac{1}{2}$, and $b_{{{\text{BMM}}}} = b_{{{\text{NB}}}} = \frac{1}{2}$. In like manners, the Eq. (12) can be transformed to:

$$\begin{aligned}{Y_{{\text{NT}},\alpha }} &= \frac{{\sum\nolimits_{l = 1}^N {\underline f _\alpha ^l} }}{{\sum\nolimits_{l = 1}^N{\left( {{\underline {f_{\alpha}}} ^l + \overline f _\alpha ^l} \right)} }} \times \frac{{\sum\nolimits_{l = 1}^N{\gamma _\alpha ^l {\underline {f_{\alpha} ^l}}} }}{{\sum\nolimits_{l = 1}^N {{\underline {f_{\alpha}}} ^l} }} + \frac{{\sum\nolimits_{l = 1}^N {\overline f _\alpha ^l} }}{{\sum\nolimits_{l = 1}^N {\left( {\underline {f _{\alpha}} ^l + \overline f _\alpha ^l} \right)} }} \\ & \quad \times \frac{{\sum\nolimits_{l = 1}^N {\gamma _\alpha ^l\overline f _\alpha ^l} }}{{\sum\nolimits_{l = 1}^N {\overline f _\alpha ^l} }}.\end{aligned}$$

(16)

Then it can be reexpressed as:

$$ Y_{{{\text{NT}},\alpha }} = a_{{{\text{NT}}}} \frac{{\sum\nolimits_{l = 1}^{N} {\gamma_{\alpha }^{l} \underline{f}_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\underline{f}_{\alpha }^{l} } }} + b_{{{\text{NT}}}} \frac{{\sum\nolimits_{l = 1}^{N} {\gamma_{\alpha }^{l} \overline{f}_{\alpha }^{l} } }}{{\sum\nolimits_{l = 1}^{N} {\overline{f}_{\alpha }^{l} } }} $$

(17)

in which

$$ a_{{{\text{NT}}}} = \left( {\sum\limits_{l = 1}^{N} {\underline{f}_{\alpha }^{l} } } \right)/\left[ {\sum\limits_{l = 1}^{N} {(\underline{f}_{\alpha }^{l} + \overline{f}_{\alpha }^{l} )} } \right] $$

(18)

and

$$ b_{{{\text{NT}}}} = \left( {\sum\limits_{l = 1}^{N} {\overline{f}_{\alpha }^{l} } } \right)/\left[ {\sum\limits_{l = 1}^{N} {\left( {\underline{f}_{\alpha }^{l} + \overline{f}_{\alpha }^{l} } \right)} } \right]. $$

(19)

Observing the Eqs. (15) and (17), we can easily get that the BMM algorithms and NT algorithms prove to be the same as the coefficients are chosen as $a_{{{\text{BMM}}}} = a_{{{\text{NT}}}}$, and $b_{{{\text{BMM}}}} = b_{{{\text{NT}}}}$. Based on the above-mentioned analysis, the conclusion is that the BMM algorithms are more general form of above two kinds of algorithms, i.e., the latter are two special forms of the former.

Simulation experiments

Here we provide six simulation experiments to show the performances of three types of non-iterative algorithms to complete the COS TR for TSK type GT2 FLSs. In these experiments, we divide the $\alpha$ equally into $\Delta$ effective values as: $0,1/\Delta ,2/\Delta , \ldots ,(\Delta - 1)/\Delta ,1$. Furthermore, suppose that $\Delta$ be varied from one to a hundred with the step size of one. As $\Delta = 100$(the maximum number), the COS-type reduced sets calculated by non-iterative algorithms and KM algorithms are studied. In addition, when the number of valid alpha-planes $\Delta$ varies from one to a hundred with the step size of one, the COS de-fuzzified values are also investigated.

For the first two examples, let each fuzzy rule be characterized by four antecedents GT2 FSs and one consequent GT2 FSs. Moreover, every antecedent can be characterized by two GT2 FSs. Therefore, there exists totally 16 fuzzy rules for TSK type GT2 FLSs. Let the $s{\text{th}}$ fuzzy rule $\tilde{R}^{s}$ be as:

$$ {\text{If }}x_{1} \,{\text{is }}\tilde{F}_{1}^{s} {\text{ and }} \ldots {\text{ and }}x_{4} {\text{ is }}\tilde{F}_{4}^{s} ,{\text{ then }}Y^{s} = C_{0}^{s} + \sum\limits_{i = 1}^{4} {C_{i}^{s} x_{i} } , $$

(20)

where $\tilde{F}_{i}^{l}$($i = 1,2, \ldots ,4;s = 1,2, \ldots ,16$) is the antecedent GT2 FS, $C_{i}^{s} (i = 0,1, \ldots ,4;s = 1,2, \ldots ,16)$ is the parameter for consequent, in which $C_{i}^{s} = [c_{i}^{s} - s_{i}^{s} ,c_{i}^{s} + s_{i}^{s} ]$.

Simulation example one: For each fuzzy rule, the primary MF of GT2 FS is selected as the Gaussian primary MF type, observe the form in Fig. 2, i.e., the MF expression is as:

$$ \mu_{i}^{s} (x_{i} ) = \exp \left[ { - \frac{1}{2}\left( {\frac{{x_{i} - m_{i}^{s} }}{{\sigma_{i}^{s} }}} \right)^{2} } \right]\quad (i = 1, \ldots ,4;s = 1, \ldots ,16), $$

(21)

where $\sigma_{i}^{s} \in [\sigma_{i1}^{s} ,\sigma_{i2}^{s} ]$. While the secondary MF of antecedent is selected as the triangular type MF, i.e.,

$$ {\text{Apex}} = u_{1} (x) + 0.2[u_{2} (x) - u_{1} (x)]. $$

(22)

where $u_{1} (x)$ and $u_{2} (x)$ represent the lower and upper bounds of FOU, respectively.

Here we choose the lower and upper uncertain standard deviation, and mean for Gaussian antecedents primary MF as:

$$ \sigma_{i1}^{s} = 2.2 + {\text{rand}}(4,16), $$

(23)

$$ \sigma_{i2}^{s} = \sigma_{i1}^{s} + {\text{rand}}(4,16), $$

(24)

$$ m_{i}^{s} = 1.8 + 2*{\text{rand}}(4,16). $$

(25)

Furthermore, the parameters for consequents $C_{i}^{s}$ are selected as follows:

$$ c_{i}^{s} = {\text{rand}}(1,4),s_{i}^{s} = {\text{rand}}(1,4)\quad {(}i = 0,{1,} \ldots ,4{)}{\text{.}} $$

(26)

For the proposed TSK type GT2 FLSs, the input measurement set is as:

$$ x = 7*{\text{rand}}(16,4). $$

(27)

Simulation example two: For each fuzzy rule, the primary MF of GT2 FS is chosen as the Gaussian primary MF with uncertain mean, observe the form in Fig. 3, that is to say, the MF expression is as:

$$ \mu_{i}^{s} (x_{i} ) = \exp \left\{ { - \frac{1}{2}\left( {\frac{{x_{i} - m_{i}^{s} }}{{\sigma_{i}^{s} }}} \right)^{2} } \right\}(i = 1, \ldots ,4;s = 1, \ldots ,16), $$

(28)

where $m_{i}^{s} \in [m_{i1}^{s} ,m_{i2}^{s} ]$. The secondary MF of antecedent is selected as the trapezoidal type MF.

i.e.,

$$ {\text{Left top end point}}:L(x) = u_{1} (x), $$

(29)

$$ {\text{Right top end point}}:R(x) = u_{2} (x) - \frac{3}{5}[u_{2} (x) - u_{1} (x)]. $$

(30)

Then the parameters for antecedent are as:

$$ m_{i1}^{s} = 1.7 + {\text{rand}}(4,16), $$

(31)

$$ m_{i2}^{s} = m_{i1}^{s} + 2*{\text{rand}}(4,16), $$

(32)

$$ \sigma_{i}^{s} = 2.3 + {\text{rand}}(4,16). $$

(33)

Moreover, the parameters for consequents and input measurement are chosen as the same as in Eqs. (26), and (27), respectively.

In the next simulation examples three and four, the forms of all parameters of TSK type GT2 FLSs are chosen the same as in simulation examples one and two, respectively. Even so, the total number of antecedents of each rule in these two examples is chosen as 5. Therefore, these exists $2^{5}$, i.e., 32 fuzzy rules fuzzy rules for TSK type GT2 FLSs. In the last two examples, we choose the total number of antecedents for each rule as 6, and the whole number of rules in TSK type GT2 FLSs turns out to be $2^{6}$, i.e., 64.

Here both the quantitative and qualitative studies are done for three kinds of non-iterative algorithms. For the more generalized BMM algorithms, one adjustable coefficient $a_{{{\text{BMM}}}}$ is selected as the mean of a thousand random numbers distributed on [0, 1], and the other one $b_{{{\text{BMM}}}} = 1 - a_{{{\text{BMM}}}}$. As for these above six examples, the COS-type reduced sets obtained by the proposed non-iterative algorithms and the popular KM algorithms can be seen in Fig. 4.

Moreover, as the number effective alpha planes $\Delta = 1:1:100$, the de-fuzzified values of TSK type GT2 FLSs calculated by the proposed non-iterative algorithms and the popular KM algorithms are shown in Fig. 5.

Here we investigate the specific computational times for four types of algorithms. The hardware platform for programming is a dual core CPU dell desktop, and running with E5300@2.60 GHz, 2.00 GB memory and Windows XP. The software platform is the Matlab 2013a. For the sake of measuring the efficiencies of these types of algorithms, here we show the computational times of COS-type reduced sets and de-fuzzified values, and they are provide in Tables 1 and 2, respectively. Here the time unit is chosen as the second (s), while the last column denotes the average for these six examples, and the last line represents the defined time reducing rate (TRR) of NB, NT, and BMM non-iterative algorithms compared with the KM algorithms, respectively. Here the TRR can be defined as:

$$ {\text{TRR}}_{{{\text{NB}},{\text{NT}},{\text{BMM}}}} = (t_{{{\text{KM}}}} - t_{{\text{NB,NT,BMM}}} )/t_{{{\text{KM}}}} \times 100\% . $$

(34)

in which $t_{{{\text{KM}}}}$ is the calculation time of KM algorithms, and $t_{{\text{NB,NT,BMM}}}$ is the calculation time for NB, NT, and BMM algorithms.

Table 1

Comparisons of calculating the COS-type reduced sets

Num	KM	NB	NT	BMM	TRR_NB (%)	TRR_NT (%)	TRR_BMM (%)
Example one	0.029870	0.019284	0.018623	0.022588	35.44	37.65	24.38
Example two	0.047942	0.020114	0.016418	0.021194	58.05	65.75	55.79
Example three	0.103220	0.048279	0.045325	0.053030	53.23	56.09	48.62
Example four	0.076932	0.037100	0.040606	0.052199	51.78	47.22	32.15
Example five	0.255190	0.114000	0.108771	0.159395	55.33	57.38	37.54
Example six	0.230725	0.097911	0.099250	0.150540	57.56	56.98	34.74
Average	0.123980	0.056115	0.054832	0.076491	54.74	55.77	38.30

Table 2

Comparisons for computing the COS de-fuzzified values

Num	KM	NB	NT	BMM	TRR_NB (%)	TRR_NT (%)	TRR_BMM (%)
Example one	1.553890	0.894616	1.023340	1.038265	42.43	34.14	33.18
Example two	1.856522	1.036907	1.023957	1.098692	44.15	44.85	40.82
Example three	3.334768	2.094313	2.029514	2.109151	37.20	39.14	36.75
Example four	3.776032	2.119719	2.099024	2.126635	43.86	44.41	43.68
Example five	12.046636	5.320790	5.576742	7.675886	55.83	53.71	35.28
Example six	8.842907	4.905219	5.841277	6.123291	44.53	33.94	30.75
Average	5.235126	2.728594	2.932309	3.361987	47.88	43.99	35.78

Seeing the Figs. 4 and 5 and the Tables 1 and 2, for these six examples, we can easily obtain the following quantitative and qualitative analysis conclusions:

As for the COS-type reduced sets of TSK type GT2 FLSs, the calculational results of NB, NT and BMM non-iterative algorithms always lie between the left and right COS-type reduced membership functions computed by the KM algorithms (observe the Fig. 4).

As for the COS de-fuzzified values of TSK type GT2 FLSs, the computational results of four kinds of algorithms are slightly different. Moreover, the results of four types of algorithms are almost completely the same in example three, and the results of non-iterative algorithms are almost the same in every example.

Compared with the KM algorithms, in these six examples, the proposed non-iterative algorithms get the maximum time reducing rate (TRR) as 58.05%, 65.75% and 55.79% for obtaining the COS type-reduced sets. In addition, the proposed non-iterative algorithms obtain the maximum TRR as 55.83%, 53.71% and 43.68% for calculating the COS de-fuzzified values.

As for the calculation times of COS-type reduced sets, the proposed non-iterative algorithms obtain the average TRR as 54.74%, 55.77% and 38.30%; while for the calculation times of COS de-fuzzified values, the proposed non-iterative algorithms obtain the average TRR as 47.88%, 43.99% and 35.78%.

Six computer simulation examples about calculating the COS type-reduced sets and de-fuzzified values of TSK type GT2 FLSs all show the effectiveness of proposed three kinds of discrete non-iterative algorithms. Compared with the popular KM algorithms, the calculational times of non-iterative algorithms are greatly reduced, that is to say, the latter can improve the calculational efficiency a lot. Therefore, it is reasonable to believe that we should adopt non-iterative algorithms to investigate the COS type-reduction of GT2 FLSs.

Conclusion

TSK type GT2 FLSs on the basis of three kinds of non-iterative are proposed in this paper. We also discuss the modules of inference, COS TR and de-fuzzification for the GT2 FLSs. As for calculating the COS type-reduced sets and de-fuzzified values, six experiments are given to show the effective of proposed three types of non-iterative algorithms in contrast to the KM algorithms. As the computational times of former are significantly less than the latter, which can afford the potential values for adopting them in T2 FLSs to deal with uncertain environments.

In the next work, adopting both the iterative and non-iterative algorithms for studying the centroid and COS type-reduction [16‐26, 28, 29, 32‐35, 45, 46] of T2, FLSs will be further studied. Furthermore, seeking for the optimal antecedents and fuzzy rules for T2 FLSs on the basis of intelligent algorithms [3‐5, 35‐39] will also be studied. In conclusion, our studies will be concentrated on designing and applying T2 FLSs [40‐44, 47, 48] in fields like forecasting, control, identification, and so forth.

Acknowledgements

The paper is sponsored by the National Natural Science Foundation of China (no. 61973146, and no. 61773188), the Youth Fund of Education Department of Liaoning Province (no. LJKQZ2021143), the Doctoral Start-up Foundation of Liaoning Province (no. 2021-BS-258), and the Talent Fund Project of Liaoning University of Technology (no. xr2020002). The author is very grateful for the editors of this Journal.

Open AccessThis article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Vorheriger Artikel Modeling multiple latent information graph structures via graph convolutional network for aspect-based sentiment analysis

Nächster Artikel Assessment of regional economic restorability under the stress of COVID-19 using the new interval type-2 fuzzy ORESTE method

Wu DR, Mendel JM (2007) Uncertainty measures for interval type-2 fuzzy sets. Inf Sci 177(23):5378–5393MathSciNetMATH

Mendel JM (2014) General type-2 fuzzy logic systems made simple: a tutorial. IEEE Trans Fuzzy Syst 22(5):1162–1182

Castillo O, Amador-Angulo L, Castro JR, Garcia-Valdez M (2016) A comparative study of type-1 fuzzy logic systems, interval type-2 fuzzy logic systems and generalized type-2 fuzzy logic systems in control problems. Inf Sci 354(c):257–274

Chen Y, Wang DZ, Ning W (2018) Forecasting by TSK general type-2 fuzzy logic systems optimized with genetic algorithms. Optim Control Appl Methods 39(1):393–409MathSciNetMATH

Sanchez MA, Castillo O, Castro JR (2015) Generalized type-2 fuzzy systems for controlling a mobile robot and a performance comparison with interval type-2 and type-1 fuzzy systems. Expert Syst Appl 42(14):5904–5914

Mendel JM (2001) Uncertain rule-based fuzzy logic systems: introduction and new directions. Prentice-Hall, Englewood CliffsMATH

Wu DR, Mendel JM (2019) Recommendations on designing practical interval type-2 fuzzy logic systems. Eng Appl Artif Intell 85:182–193

Liu FL (2008) An efficient centroid type reduction strategy for general type-2 fuzzy logic system. Inf Sci 178(9):2224–2236MathSciNet

Mendel JM, Liu FL, Zhai DY (2009) Alpha-plane representation for type-2 fuzzy sets: theory and applications. IEEE Trans Fuzzy Syst 17(5):1189–1207

10.

Wagner C, Hagras H (2010) Towards general type-2 fuzzy logic systems based on zSlices. IEEE Trans Fuzzy Syst 18(4):637–660

11.

Gonzalez CI, Melin P, Castro JR et al (2016) An improved sobel edge detection method based on generalized type-2 fuzzy logic. Soft Comput 20(2):773–784

12.

Melin P, Gonzalez CI, Castro JR et al (2014) Edge-detection method for image processing based on generalized type-2 fuzzy logic. IEEE Trans Fuzzy Syst 22(6):1515–1525

13.

Chen Y, Wang DZ (2019) Forecasting by designing Mamdani general type-2 fuzzy logic systems optimized with quantum particle swarm optimization algorithms. Trans Inst Meas Control 41(10):2886–2896MathSciNet

14.

Chen Y, Wang DZ (2017) Forecasting by general type-2 fuzzy logic systems optimized with QPSO algorithms. Int J Control Autom Syst 15(6):2950–2958MathSciNet

15.

Zhai DY, Mendel JM (2011) Uncertainty measures for general type-2 fuzzy sets. Inf Sci 181(3):503–518MathSciNetMATH

16.

Mendel JM (2013) On KM algorithms for solving type-2 fuzzy set problems. IEEE Trans Fuzzy Syst 21(3):426–446

17.

Greenfield S, Chiclana F, Coupland S, John R (2009) The collapsing method of defuzzification for discretised interval type-2 fuzzy sets. Inf Sci 179(13):2055–2069MathSciNetMATH

18.

Wu H, Mendel JM (2002) Uncertainty bounds and their use in the design of interval type-2 fuzzy logic systems. IEEE Trans Fuzzy Syst 10(5):622–639

19.

EI-Nagar AM, EI-Bardini M (2014) Simplified interval type-2 fuzzy logic system based on new type-reduction. J Intell Fuzzy Syst 27(4):1999–2010

20.

Chen Y (2019) Study on weighted Nagar-Bardini algorithms for centroid type-reduction of general type-2 fuzzy logic systems. J Intell Fuzzy Syst 37(5):6527–6544

21.

Chen Y (2018) Study on weighted Nagar-Bardini algorithms for centroid type-reduction of interval type-2 fuzzy logic systems. J Intell Fuzzy Syst 34(4):2417–2428

22.

Li JW, John R, Coupland S, Kendall G (2018) On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets. IEEE Trans Fuzzy Syst 26(2):1036–1039

23.

Mendel JM, Liu XW (2013) Simplified interval type-2 fuzzy logic systems. IEEE Trans Fuzzy Syst 21(6):1056–1069

24.

Chen Y, Wang DZ (2018) Study on centroid type-reduction of general type-2 fuzzy logic systems with weighted Nie-Tan algorithms. Soft Comput 22(22):7659–7678MATH

25.

Biglarbegian M, Melek WW, Mendel JM (2011) On the robustness of type-1 and interval type-2 fuzzy logic systems in modeling. Inf Sci 181(7):1325–1347MathSciNetMATH

26.

Biglarbegian M, Melek WW, Mendel JM (2010) On the stability of interval type-2 TSK fuzzy logic systems. IEEE Trans Syst Man Cybern Part B Cybern 40(3):798–818

27.

Ontiveros E, Melin P, Castillo O (2018) Higher order α-planes integration: a new approach to computational cost reduction of general type-2 fuzzy systems. Eng Appl Artif Intell 74:186–197

28.

Khanesar MA, Jalalian A, Kaynak O (2017) Improving the speed of center of set type-reduction in interval type-2 fuzzy systems by eliminating the need for sorting. IEEE Trans Fuzzy Syst 25(5):1193–1206

29.

Chen Y, Yang YJ (2021) Study on center-of-sets type-reduction of interval type-2 fuzzy logic systems with noniterative algorithms. J Intell Fuzzy Syst 40(6):11099–11106

30.

Ontiveros E, Melin P, Castillo O (2020) Comparative study of interval type-2 and general type-2 fuzzy systems in medical diagnosis. Inf Sci 525:37–53MathSciNet

31.

Wang T, Chen Y, Tong SC (2008) Fuzzy reasoning models and algorithms on type-2 fuzzy sets. Int J Innov Comput Inf Control 4(10):2451–2460

32.

Chen Y (2020) Study on sampling-based discrete noniterative algorithms for centroid type-reduction of interval type-2 fuzzy logic systems. Soft Comput 24(15):11819–11828MATH

33.

Chen Y (2019) Study on sampling based discrete Nie-Tan algorithms for computing the centroids of general type-2 fuzzy sets. IEEE Access 7(1):156984–156992MathSciNet

34.

Chen Y (2022) Study on weighted-based discrete noniterative algorithms for computing the centroids of general type-2 fuzzy sets. Int J Fuzzy Syst 24(1):587–606

35.

Khosravi A, Nahavandi S (2014) Load forecasting using interval type-2 fuzzy logic systems: optimal type reduction. IEEE Trans Ind Inf 10(2):1055–1063

36.

Zhao T, Xiao J (2015) State feedback control of interval type-2 Takagi-Sugeno fuzzy systems via interval type-2 regional switching fuzzy controllers. Int J Syst Sci 46(15):2756–2769MathSciNetMATH

37.

Gaxiola F, Melin P, Valdez F, Castro JR, Castillo O (2016) Optimization of type-2 fuzzy weights in backpropagation learning for neural networks using GAs and PSO. Appl Soft Comput 38:860–871

38.

Castillo O, Melin P, Ontiveros E et al (2019) (2019) A high-speed interval type 2 fuzzy system approach for dynamic parameter adaptation in metaheuristics. Eng Appl Artif Intell 85:666–680

39.

Hsu CH, Juang CF (2013) Evolutionary robot wall-following control using type- 2 fuzzy controller with species-de-activated continuous ACO. IEEE Trans Fuzzy Syst 21(1):100–112

40.

Mo H, Wang FY, Zhou M et al (2014) Footprint of uncertainty for type-2 fuzzy sets. Inf Sci 272:96–110MathSciNetMATH

41.

Wang FY, Mo H (2017) Some fundamental issues on type-2 fuzzy sets. Acta Automatica Sinica 43(7):1114–1141MATH

42.

Tong SC, Li YM (2014) Observer-based adaptive fuzzy backstepping control of uncertain pure-feedback systems. Sci China Inf Sci 57(1):1–14MathSciNetMATH

43.

Chen Y, Yang JX (2021) Design of back propagation optimized Nagar-Bardini structure based interval type-2 fuzzy logic systems for fuzzy identification. Trans Inst Meas Control 43(12):2780–2787

44.

Ontiveros-Robles E, Melin P, Castillo O (2018) Comparative analysis of noise robustness of type 2 fuzzy logic controllers. Kybernetika 54(1):175–201MathSciNetMATH

45.

Linda O, Manic M (2012) Monotone centroid flow algorithm for type reduction of general type-2 fuzzy sets. IEEE Trans Fuzzy Syst 20(5):805–819

46.

Chen Y, Li CX, Yang JX (2022) Design of discrete noniterative algorithms for center-of-sets type reduction of general type-2 fuzzy logic systems. Int J Fuzzy Syst 24(4):2024–2035

47.

Tolga AC, Parlak IB, Castillo O (2020) Finite-interval-valued Type-2 Gaussian fuzzy numbers applied to fuzzy TODIM in a healthcare problem. Eng Appl Artif Intell 87:103352

48.

Mittal K, Jain A, Vaisla KS, Castillo O, Kacprzyk J (2020) A comprehensive review on type 2 fuzzy logic applications: Past, present and future. Eng Appl Artif Intell 95:103916

Titel: Study on non-iterative algorithms for center-of-sets type-reduction of Takagi–Sugeno–Kang type general type-2 fuzzy logic systems
verfasst von: Yang Chen
Publikationsdatum: 19.12.2022
Verlag: Springer International Publishing
Erschienen in: Complex & Intelligent Systems / Ausgabe 4/2023
Print ISSN: 2199-4536
Elektronische ISSN: 2198-6053
DOI: https://doi.org/10.1007/s40747-022-00927-y

Springer Professional

Study on non-iterative algorithms for center-of-sets type-reduction of Takagi–Sugeno–Kang type general type-2 fuzzy logic systems

Abstract

Publisher's Note

Introduction

TSK GT2 FLSs

Three kinds of non-iterative algorithms

NB algorithms

NT algorithms

BMM algorithms

Simulation experiments

Conclusion

Acknowledgements

Publisher's Note

Premium Partner

Springer Professional

Abstract

Publisher's Note

Introduction

TSK GT2 FLSs

Three kinds of non-iterative algorithms

NB algorithms

NT algorithms

BMM algorithms

Simulation experiments

Conclusion

Acknowledgements

Publisher's Note

Weitere Artikel der Ausgabe 4/2023

Design and analysis of an efficient machine learning based hybrid recommendation system with enhanced density-based spatial clustering for digital e-learning applications

Analysis of Hamming and Hausdorff 3D distance measures for complex pythagorean fuzzy sets and their applications in pattern recognition and medical diagnosis

Graph neural networks and cross-protocol analysis for detecting malicious IP addresses

Multiple sparse detection-based evolutionary algorithm for large-scale sparse multiobjective optimization problems

Inpainting larger missing regions via progressive guidance decoding network

DBCC2: an improved difficulty-based cooperative co-evolution for many-modal optimization

Premium Partner