Footprint Of Uncertainty Research Articles

Type-2 Fuzzy C-Means Algorithm with Spatial Informations and Membership Constrains for Liver Segmentation

The Fuzzy C-Means algorithm with spatial informations and membership constrains is a very effective and efficient image segmentation method. However£¬it is founded with Type-1 fuzzy sets, which can not handle the uncertainties existing in liver image well.The type-2 fuzzy sets have better performance on handling uncertainties than Type-1 fuzzy set. In this paper, a new robust Type-2 FCM image segmentation algorithm is proposed aiming to improve the segmentation precision and robustness of liver image by introducing the type-2 fuzzy set into FCM with spatial information and membership constrains. We extend the type-1 fuzzy set of membership to interval type-2 fuzzy set using two fuzzifiers and which create a footprint of uncertainty (FOU). The experimental results show that the target area of the liver in CT images can be segmented well by the proposed method.

A closed form type reduction method for piecewise linear interval type-2 fuzzy sets

In this study, a new centroid type reduction method is proposed for piecewise linear interval type-2 fuzzy sets based on geometrical approach. The main idea behind the proposed method relies on the assumption that the part of footprint of uncertainty (FOU) of an interval type-2 fuzzy set (IT2FS) has a constant width where the centroid is searched. This constant width assumption provides a way to calculate the centroid of an IT2FS in closed form by using derivative based optimization without any need of iterations. When the related part of FOU is originally constant width, the proposed method finds the accurate centroid of an IT2FS; otherwise, an enhancement can be performed in the algorithm in order to minimize the error between the accurate and the calculated centroids. Moreover, only analytical formulas are used in the proposed method utilizing geometry. This eliminates the need of using discretization of an IT2FS for the type reduction process which in return naturally improves the accuracy and the computation time. The proposed method is compared with Enhanced Karnik–Mendel Iterative Procedure (EKMIP) in terms of the accuracy and the computation time on seven test fuzzy sets. The results show that the proposed method provides more accurate results with shorter computation time than EKMIP.

Stability analysis and controller design of interval type-2 fuzzy systems with time delay

The type-2 fuzzy models can handle the system uncertainties directly based on the type-2 fuzzy sets. In this paper, the Takagi–Sugeno fuzzy model approach is extended to the stability analysis and controller design for interval type-2 (IT2) fuzzy systems with time-varying delay. Delay-dependent robust stability criteria are developed in terms of linear matrix inequalities by using the improvement technique of free-weighting matrices. Less conservative results are obtained by considering the information contained in the footprint of uncertainty. Finally, two simulation examples are presented to illustrate the effectiveness of the theoretical results. One is provided to show the merits of the proposed method, the other based on the continuous stirred tank reactor model is given to illustrate the design processes of IT2 fuzzy controller for a nonlinear system with parameter uncertainties.

Analytical Structure and Characteristics of Symmetric Karnik–Mendel Type-Reduced Interval Type-2 Fuzzy PI and PD Controllers

This paper presents the analytical structure of a class of interval type-2 (IT2) fuzzy proportional derivative (PD) and proportional integral (PI) controllers that have symmetrical rule base and symmetrical consequent sets. Two assumptions are made: 1) The Zadeh AND operator is employed as the t-norm operator; 2) type-reduction is performed by the Karnik-Mendel (KM) type-reduction method. The main contributions are the methodology that identifies the input conditions, where the KM algorithm uses a new switch point to compute the bounds of the type-reduced set, the closed-form expressions that relate the inputs and output of an IT2 fuzzy controller, and insights into the potential performance improvement because of the inclusion of the footprint of uncertainty (FOU). Compared with its T1 counterpart, two additional FOU parameters generate 31 extra local regions, each providing a unique relationship between the inputs and output signals. The generation of a relatively large number of local regions at the cost of two extra design parameters indicates that an IT2 fuzzy controller may be able to provide better performance. Furthermore, by comparing the analytical structure with the corresponding T1 counterpart, the potential advantages to use the IT2 over the T1 fuzzy controller are studied. Four interesting characteristics are identified, and they provide insights into why the IT2 fuzzy controller may better balance the conflicting aims of fast rise time and small overshoot.

An Automatic Approach for Learning and Tuning Gaussian Interval Type-2 Fuzzy Membership Functions Applied to Lung CAD Classification System

The potential of type-2 fuzzy sets to manage high levels of uncertainty in the subjective knowledge of experts or of numerical information has focused on control and pattern classification systems in recent years. One of the main challenges in designing a type-2 fuzzy logic system (FLS) is how to estimate the parameters of the type-2 fuzzy membership function (T2MF) and the footprint of uncertainty (FOU) from imperfect and noisy datasets. This paper presents an automatic approach to learn and tune Gaussian interval type-2 membership functions (IT2MFs) with application to multidimensional pattern classification problems. T2MFs and their FOUs are tuned according to the uncertainties in the training dataset by a combination of genetic algorithm (GA) and cross-validation techniques. In our GA-based approach, the structure of the chromosome has fewer genes than other GA methods, and chromosome initialization is more precise. The proposed approach addresses the application of the interval type-2 fuzzy logic system (IT2FLS) for the problem of nodule classification in a lung computer-aided detection system. The designed IT2FLS is compared with its type-1 fuzzy logic system (T1FLS) counterpart. The results demonstrate that the IT2FLS outperforms the T1FLS by more than 30% in terms of classification accuracy.

A simplified architecture for triangular quasi type-2 fuzzy logic systems

Type-2 fuzzy logic systems (T2 FLSs) are known for modelling and handling high levels of uncertainties associated with most of the real world applications. However, their very high computational complexities have generally prevented their wide spread application. Objectives of this paper are to: 1) present a simplified architecture for implementing a triangular quasi T2 FLS (QT2 FLS) that uses three embedded type-1 FLSs; 2) tune the footprint of uncertainty (FOU) with an objective to optimise the performances of interval T2 and QT2 FLSs; 3) compare the performances of T1, IT2 and triangular QT2 FLS (based on the proposed architecture). For validating the proposed architecture, it has been applied for forecasting of Mackey-Glass Time-Series. T1 FLS is firstly evolved using particle swarm optimisation (PSO) algorithm and is then upgraded to QT2 FLS. The simulation results for different noise levels and different FOUs show that the QT2 FLS based on the proposed realisation approach, can handle higher levels of data uncertainties under noisy conditions compared to IT2 FLS, and hence outperforms its T1 and IT2 counterparts.

An optimization method for designing type-2 fuzzy inference systems based on the footprint of uncertainty using genetic algorithms

This paper proposes an optimization method for designing type-2 fuzzy inference systems based on the footprint of uncertainty (FOU) of the membership functions, considering three different cases to reduce the complexity problem of searching the parameter space of solutions. For the optimization method, we propose the use of a genetic algorithm (GA) to optimize the type-2 fuzzy inference systems, considering different cases for changing the level of uncertainty of the membership functions to reach the optimal solution at the end.

A new approach for interval type-2 by using adaptive network based fuzzy inference system

In this paper, adaptive network based fuzzy inference system (ANFIS) was used in control applications of different type nonlinear systems as interval type-2 fuzzy logic controller (IT-2FL). Two adaptive network based fuzzy inference systems were chosen to design type-2 fuzzy logic controllers for each control applications. Membership functions in interval type-2 fuzzy logic controllers were set as an area called footprint of uncertainty (FOU), which is limited by two membership functions of adaptive network based fuzzy inference systems; they were upper membership function (UMF) and lower membership function (LMF). The double inverted pendulum, a single flexible link and a flexible link carrying pendulum systems were used to test the performances of designed interval type-2 fuzzy logic controllers. System behaviours were defined by Lagrange formulation and MATLAB/SimMechanics computer simulations. The performances of the proposed controllers were evaluated and discussed on the basis of the simulation results. An experiment set up of flexible link carrying pendulum system was built and used to verify the performance of IT-2FL controller. Key words: Adaptive network based fuzzy inference system, interval type-2, inverted pendulum, a single flexible link, control, simulation.

Interval type-2 fuzzy modeling of wind power generation in Genco's generation scheduling

Wind power is a promising source of electric power generation since it has tremendous environmental and social benefits. The generation scheduling (GS) problem encounters several uncertainties in terms of the system's parameters such as load, reserve and available wind power generation. The modeling of those uncertainties is an important issue in power system scheduling. A fuzzy based modeling approach can be used to develop the generation schedule under an uncertain environment. In this paper, the type-2 fuzzy membership function (MF) is implemented to model the linguistic uncertainty of type-1 MF of available wind power generation which stems from opinions of different experts. The proposed approach is applied to two test systems (six and twenty-six conventional generating units both with two wind farms) and the results of generation scheduling using both fuzzy modeling type-1, and type-2 are presented. These results demonstrate that the advantage of using the type-2 fuzzy to model the linguistic uncertainty of the type-1 MF. This paper demonstrates how unit scheduling in an uncertain environment of type-1 fuzzy MF modeling can be performed just by using a single type-2 fuzzy MF when all type-1 MF were in the footprint of uncertainty (FOU) of type-2 MF.

Application of Interval Type-2 Fuzzy Logic System in Short Term Load Forecasting on Special Days

This paper presents the application of Interval Type-2 fuzzy logic systems (Interval Type-2 FLS) in short term load forecasting (STLF) on special days, study case in Bali Indonesia. Type-2 FLS is characterized by a concept called footprint of uncertainty (FOU) that provides the extra mathematical dimension that equips Type-2 FLS with the potential to outperform their Type-1 counterparts. While a Type-2 FLS has the capability to model more complex relationships, the output of a Type-2 fuzzy inference engine needs to be type-reduced. Type reduction is used by applying the Karnik-Mendel (KM) iterative algorithm. This type reduction maps the output of Type-2 FSs into Type-1 FSs then the defuzzification with centroid method converts that Type-1 reduced FSs into a number. The proposed method was tested with the actual load data of special days using 4 days peak load before special days and at the time of special day for the year 2002-2006. There are 20 items of special days in Bali that are used to be forecasted in the year 2005 and 2006 respectively. The test results showed an accurate forecasting with the mean average percentage error of 1.0335% and 1.5683% in the year 2005 and 2006 respectively.

A comparative experimental study of type-1/type-2 fuzzy cascade controller based on genetic algorithms and particle swarm optimization

In this study, we introduce the design methodology of an optimized fuzzy controller with the aid of particle swarm optimization (PSO) for ball and beam system. The ball and beam system is a well-known control engineering experimental setup which consists of servo motor, beam and ball. This system exhibits a number of interesting and challenging properties when being considered from the control perspective. The ball and beam system determines the position of ball through the control of a servo motor. The displacement change of the position of ball leads to the change of the angle of the beam which determines the position angle of a servo motor. The fixed membership function design of type-1 based fuzzy logic controller (FLC) leads to the difficulty of rule-based control design when representing linguistic nature of knowledge. In type-2 FLC as the expanded type of type-1 FL, we can effectively improve the control characteristic by using the footprint of uncertainty (FOU) of the membership functions. Type-2 FLC exhibits some robustness when compared with type-1 FLC. Through computer simulation as well as real-world experiment, we apply optimized type-2 fuzzy cascade controllers based on PSO to ball and beam system. To evaluate performance of each controller, we consider controller characteristic parameters such as maximum overshoot, delay time, rise time, settling time, and a steady-state error. In the sequel, the optimized fuzzy cascade controller is realized and also experimented with through running two detailed comparative studies including type-1/type-2 fuzzy controller and genetic algorithms/particle swarm optimization.

A Comparison of Non-Stationary, Type-2 and Dual Surface Fuzzy Control

Type-1 fuzzy logic has frequently been used in control systems. However this method is sometimes shown to be too restrictive and unable to adapt in the presence of uncertainty. In this paper we compare type-1 fuzzy control with several other fuzzy approaches under a range of uncertain conditions. Interval type-2 and non-stationary fuzzy controllers are compared, along with ‘dual surface’ type-2 control, named due to utilising both the lower and upper values produced from standard interval type-2 systems. We tune a type-1 controller, then derive the membership functions and footprints of uncertainty from the type-1 system and evaluate them using a simulated autonomous sailing problem with varying amounts of environmental uncertainty. We show that while these more sophisticated controllers can produce better performance than the type-1 controller, this is not guaranteed and that selection of Footprint of Uncertainty (FOU) size has a large effect on this relative performance

Perceptual Reasoning for Perceptual Computing: A Similarity-Based Approach

Perceptual reasoning (PR) is an approximate reasoning method that can be used as a computing-with-words (CWW) engine in perceptual computing. There can be different approaches to implement PR, e.g., firing-interval-based PR (FI-PR), which has been proposed in J. M. Mendel and D. Wu, <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">IEEE Trans. Fuzzy Syst.</i> , vol. 16, no. 6, pp. 1550-1564, Dec. 2008 and similarity-based PR (S-PR), which is proposed in this paper. Both approaches satisfy the requirement on a CWW engine that the result of combining fired rules should lead to a footprint of uncertainty (FOU) that resembles the three kinds of FOUs in a CWW codebook. A comparative study shows that S-PR leads to output FOUs that resemble word FOUs, which are obtained from subject data, much more closely than FI-PR; hence, S-PR is a better choice for a CWW engine than FI-PR.

Perceptual Reasoning for Perceptual Computing

In 1996, Zadeh proposed the paradigm of computing with words (CWW). A specific architecture for making subjective judgments using CWW was proposed by Mendel in 2001. It is called a Perceptual Computer (Per-C), and because words can mean different things to different people, it uses interval type-2 fuzzy set (IT2 FS) models for all words. The Per-C has three elements: the encoder, which transforms linguistic perceptions into IT2 FSs that activate a CWW engine; the decoder, which maps the output of a CWW engine back into a word; and the CWW engine. Although di-fferent kinds of CWW engines are possible, this paper only focuses on CWW engines that are rule-based and the computations that map its input IT2 FSs into its output IT2 FS. Five assumptions are made for a rule-based CWW engine, the most important of which is: The result of combining fired rules must lead to a footprint of uncertainty (FOU) that resembles the three kinds of FOU that have previously been shown to model words (interior, left-shoulder, and right-shoulder FOUs). Requiring this means that the output FOU from a rule-based CWW engine will look similar in shape to an FOU in a codebook (i.e., a vocabulary of words and their respective FOUs) for an application, so that the decoder can therefore sensibly establish the word most similar to the CWW engine output FOU. Because existing approximate reasoning methods do not satisfy this assumption, a new kind of rule-based CWW engine is proposed, one that is called Perceptual Reasoning, and is proved to always satisfy this assumption. Additionally, because all IT2 FSs in the rules as well as those that excite the rules are either an interior, left-shoulder, or right-shoulder FOU, it is possible to carry out the sup-min calculations that are required by the inference engine, and those calculations are also in this paper. The results in this paper let us implement a rule-based CWW engine for the Per-C.

Encoding Words Into Interval Type-2 Fuzzy Sets Using an Interval Approach

This paper presents a very practical type-2-fuzzistics methodology for obtaining interval type-2 fuzzy set (IT2 FS) models for words, one that is called an interval approach (IA). The basic idea of the IA is to collect interval endpoint data for a word from a group of subjects, map each subject's data interval into a prespecified type-1 (T1) person membership function, interpret the latter as an embedded T1 FS of an IT2 FS, and obtain a mathematical model for the footprint of uncertainty (FOU) for the word from these T1 FSs. The IA consists of two parts: the data part and the FS part. In the data part, the interval endpoint data are preprocessed, after which data statistics are computed for the surviving data intervals. In the FS part, the data are used to decide whether the word should be modeled as an interior, left-shoulder, or right-shoulder FOU. Then, the parameters of the respective embedded T1 MFs are determined using the data statistics and uncertainty measures for the T1 FS models. The derived T1 MFs are aggregated using union leading to an FOU for a word, and finally, a mathematical model is obtained for the FOU. In order that all researchers can either duplicate our results or use them in their research, the raw data used for our codebook examples, as well as a MATLAB M-file for the IA, have been put on the Internet at: http://sipi.usc.edu/ ~ mendel.

Type-2 fuzzy Gaussian mixture models

This paper presents a new extension of Gaussian mixture models (GMMs) based on type-2 fuzzy sets (T2 FSs) referred to as T2 FGMMs. The estimated parameters of the GMM may not accurately reflect the underlying distributions of the observations because of insufficient and noisy data in real-world problems. By three-dimensional membership functions of T2 FSs, T2 FGMMs use footprint of uncertainty (FOU) as well as interval secondary membership functions to handle GMMs uncertain mean vector or uncertain covariance matrix, and thus GMMs parameters vary anywhere in an interval with uniform possibilities. As a result, the likelihood of the T2 FGMM becomes an interval rather than a precise real number to account for GMMs uncertainty. These interval likelihoods are then processed by the generalized linear model (GLM) for classification decision-making. In this paper we focus on the role of the FOU in pattern classification. Multi-category classification on different data sets from UCI repository shows that T2 FGMMs are consistently as good as or better than GMMs in case of insufficient training data, and are also insensitive to different areas of the FOU. Based on T2 FGMMs, we extend hidden Markov models (HMMs) to type-2 fuzzy HMMs (T2 FHMMs). Phoneme classification in the babble noise shows that T2 FHMMs outperform classical HMMs in terms of the robustness and classification rate. We also find that the larger area of the FOU in T2 FHMMs with uncertain mean vectors performs better in classification when the signal-to-noise ratio is lower.

Type-2 Fuzzistics for &lt;emphasis emphasistype="italic"&gt;Nonsymmetric&lt;/emphasis&gt; Interval Type-2 Fuzzy Sets: Forward Problems

Interval type-2 fuzzy sets (IT2 FS) play a central role in fuzzy sets as models for words and in engineering applications of T2 FSs. These fuzzy sets are characterized by their footprints of uncertainty (FOU), which in turn are characterized by their boundaries-upper and lower membership functions (MF). The centroid of an IT2 FS, which is an IT1 FS, provides a measure of the uncertainty in the IT2 FS. The main purpose of this paper is to quantify the centroid of a non-symmetric IT2 FS with respect to geometric properties of its FOU. This is very important because interval data collected from subjects about words suggests that the FOUs of most words are non-symmetrical. Using the results in this paper, it is possible to formulate and solve <i xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">forward problems</i> , i.e., to go from parametric non-symmetric IT2 FS models to data with associated uncertainty bounds. We provide some solutions to such problems for non-symmetrical triangular, trapezoidal, Gaussian and shoulder FOUs.

Uncertain Fuzzy Clustering: Interval Type-2 Fuzzy Approach to $C$-Means

In many pattern recognition applications, it may be impossible in most cases to obtain perfect knowledge or information for a given pattern set. Uncertain information can create imperfect expressions for pattern sets in various pattern recognition algorithms. Therefore, various types of uncertainty may be taken into account when performing several pattern recognition methods. When one performs clustering with fuzzy sets, fuzzy membership values express assignment availability of patterns for clusters. However, when one assigns fuzzy memberships to a pattern set, imperfect information for a pattern set involves uncertainty which exist in the various parameters that are used in fuzzy membership assignment. When one encounters fuzzy clustering, fuzzy membership design includes various uncertainties (e.g., distance measure, fuzzifier, prototypes, etc.). In this paper, we focus on the uncertainty associated with the fuzzifier parameter m that controls the amount of fuzziness of the final C-partition in the fuzzy C-means (FCM) algorithm. To design and manage uncertainty for fuzzifier m, we extend a pattern set to interval type-2 fuzzy sets using two fuzzifiers m1 and m2 which creates a footprint of uncertainty (FOU) for the fuzzifier m. Then, we incorporate this interval type-2 fuzzy set into FCM to observe the effect of managing uncertainty from the two fuzzifiers. We also provide some solutions to type-reduction and defuzzification (i.e., cluster center updating and hard-partitioning) in FCM. Several experimental results are given to show the validity of our method

Type-2 Fuzzistics for Symmetric Interval Type-2 Fuzzy Sets: Part 1, Forward Problems

Interval type-2 fuzzy sets (T2 FS) play a central role in fuzzy sets as models for words and in engineering applications of T2 FSs. These fuzzy sets are characterized by their footprints of uncertainty (FOU), which in turn are characterized by their boundaries-upper and lower membership functions (MF). In this two-part paper, we focus on symmetric interval T2 FSs for which the centroid (which is an interval type-1 FS) provides a measure of its uncertainty. Intuitively, we anticipate that geometric properties about the FOU, such as its area and the center of gravities (centroids) of its upper and lower MFs, will be associated with the amount of uncertainty in such a T2 FS. The main purpose of this paper (Part 1) is to demonstrate that our intuition is correct and to quantify the centroid of a symmetric interval T2 FS, and consequently its uncertainty, with respect to such geometric properties. It is then possible, for the first time, to formulate and solve forward problems, i.e., to go from parametric interval T2 FS models to data with associated uncertainty bounds. We provide some solutions to such problems. These solutions are used in Part 2 to solve some inverse problems, i.e., to go from uncertain data to parametric interval T2 FS models (T2 fuzzistics)

Computing with words and its relationships with fuzzistics

Words mean different things to different people, and so are uncertain. We, therefore, need a fuzzy set model for a word that has the potential to capture their uncertainties. In this paper I propose that an interval type-2 fuzzy set (IT2 FS) be used as a FS model of a word, because it is characterized by its footprint of uncertainty (FOU), and therefore has the potential to capture word uncertainties. Two approaches are presented for collecting data about a word from a group of subjects and then mapping that data into a FOU for that word. The person MF approach, in which each person provides their FOU for a word, is limited to fuzzy set experts because it requires the subject to be knowledgeable about fuzzy sets. The interval end-points approach, in which each person provides the end-points for an interval that they associate with a word on a prescribed scale is not limited to fuzzy set experts. Both approaches map data collected from subjects into a parsimonious parametric model of a FOU, and illustrate the combining of fuzzy sets and statistics—type-2 fuzzistics.