Type-Reduced Set Structure and the Truncated Type-2 Fuzzy Set

The file attached to this record is the author's final peer reviewed version.In this paper, the Type-Reduced Set (TRS) of the continuous type-2 fuzzy set is considered as an object in its own right. The structures of the TRSs of both the interval and generalised forms of the type-2 fuzzy set are investigated. In each case the respective TRS structure is approached by first examining the TRS of the discretised set. The TRS of a continuous interval type-2 fuzzy set is demonstrated to be a continuous horizontal straight line, and that of a generalised type-2 fuzzy set, a continuous, convex curve. This analysis leads on to the concept of truncation, and the definition of the truncation grade. The truncated type-2 fuzzy set is then defined, whose TRS (and hence defuzzified value) is identical to that of the non-truncated type-2 fuzzy set. This result is termed the Type-2 Truncation Theorem, an immediate corollary of which is the Type-2 Equivalence Theorem which states that the defuzzified values of type-2 fuzzy sets that are equivalent under truncation are equal. Experimental corroboration of the equivalence of the non-truncated and truncated generalised type-2 fuzzy set is provided. The implications of these theorems for uncertainty quantification are explored. The theorem’s repercussions for type-2 defuzzification employing the α-Planes Representation are examined; it is shown that the known inaccuracies of the α-Planes Method are deeply entrenched

Alpha-level aggregation: A practical approach to type-1 OWA operation for aggregating uncertain information with applications to breast cancer treatments

Type-1 Ordered Weighted Averaging (OWA) operator provides us with a new technique for directly aggregating uncertain information with uncertain weights via OWA mechanism in soft decision making and data mining, in which uncertain objects are modeled by fuzzy sets. The Direct Approach to performing type-1 OWA operation involves high computational overhead. In this paper, we define a type-1 OWA operator based on the α-cuts of fuzzy sets. Then, we prove a Representation Theorem of type-1 OWA operators, by which type-1 OWA operators can be decomposed into a series of α-level type-1 OWA operators. Furthermore, we suggest a fast approach, called Alpha-Level Approach, to implementing the type-1 OWA operator. A practical application of type-1 OWA operators to breast cancer treatments is addressed. Experimental results and theoretical analyses show that: 1) the Alpha-Level Approach with linear order complexity can achieve much higher computing efficiency in performing type-1 OWA operation than the existing Direct Approach, 2) the type-1 OWA operators exhibit different aggregation behaviors from the existing fuzzy weighted averaging (FWA) operators, and 3) the type-1 OWA operators demonstrate the ability to efficiently aggregate uncertain information with uncertain weights in solving real-world soft decision-making problems. © 2011 IEEE

Hacia la solución de juegos matriciales con incertidumbre difusa Tipo-2 a través de optimización lineal

This paper presents some theoretical and computing considerations about how to deal with fuzzy uncertainty in the parameters of the classical games model. Indeed, when multiple experts are involved in a game situation, then their opinions lead to have uncertainty since most of the times they are not agree to each others. This kind of uncertainty can be modeled using Type-2 fuzzy sets, which implies a specialized methods and sub-models.Some considerations about the use of Type-2 fuzzy sets and what does this imply when computing solutions, are presented. A general model which includes this kind of uncertainty is defi ned on the base of the extension principle and α-cuts representation theorem. A possible way for solving this model is glimpsed and put down for discussion and implementation.Este artículo presenta algunas consideraciones computacionales y teóricas acerca de cómo incluír incertidumbre difusa en los parámetros de un problema clásico de juegos. De hecho, cuando varios expertos están involucrados en un problema de juegos, todas sus opiniones llevan a pensar en una fuente incertidumbre, ya que muchas veces esos expertos no están de acuerdo entre sí. Ese tipo de incertidumbre puede modelarse mediante conjuntos difusos Tipo-2, lo que implica usar modelos y métodos especiales para llegar a una respuesta adecuada.Se presentan algunos aspectos importantes acerca del cálculo de soluciones en presencia de este tipo de incertidumbre. Un modelo general que incluye incertidumbre difusa Tipo-2 es presentado, el cual se basa en el principio de extensión y el teorema de representación de α-cortes. Un posible método de solución es puesto a consideración para discusión e implementación

Implementing imperfect information in fuzzy databases

Information in real-world applications is often vague, imprecise and uncertain. Ignoring the inherent imperfect nature of real-world will undoubtedly introduce some deformation of human perception of real-world and may eliminate several substantial information, which may be very useful in several data-intensive applications. In database context, several fuzzy database models have been proposed. In these works, fuzziness is introduced at different levels. Common to all these proposals is the support of fuzziness at the attribute level. This paper proposes first a rich set of data types devoted to model the different kinds of imperfect information. The paper then proposes a formal approach to implement these data types. The proposed approach was implemented within a relational object database model but it is generic enough to be incorporated into other database models.ou

A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems

Formal methods are widely recognized as a powerful engineering method for the specification, simulation, development, and verification of distributed interactive systems. However, most formal methods rely on a two-valued logic, and are therefore limited to the axioms of that logic: a specification is valid or invalid, component behavior is realizable or not, safety properties hold or are violated, systems are available or unavailable. Especially when the problem domain entails uncertainty, impreciseness, and vagueness, the appliance of such methods becomes a challenging task. In order to overcome the limitations resulting from the strict modus operandi of formal methods, the main objective of this work is to relax the boolean notion of formal specifications by using fuzzy logic. The present approach is based on Focus theory, a model-based and strictly formal method for componentbased interactive systems. The contribution of this work is twofold: i) we introduce a specification technique based on fuzzy logic which can be used on top of Focus to develop formal specifications in a qualitative fashion; ii) we partially extend Focus theory to a fuzzy one which allows the specification of fuzzy components and fuzzy interactions. While the former provides a methodology for approximating I/O behaviors under imprecision, the latter enables to capture a more quantitative view of specification properties such as realizability.Comment: In Proceedings FESCA 2015, arXiv:1503.0437

Implication functions in interval-valued fuzzy set theory

Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees. Since implications on the unit interval play an important role in fuzzy set theory, several authors have extended this notion to interval-valued fuzzy set theory. This chapter gives an overview of the results pertaining to implications in interval-valued fuzzy set theory. In particular, we describe several possibilities to represent such implications using implications on the unit interval, we give a characterization of the implications in interval-valued fuzzy set theory which satisfy the Smets-Magrez axioms, we discuss the solutions of a particular distributivity equation involving strict t-norms, we extend monoidal logic to the interval-valued fuzzy case and we give a soundness and completeness theorem which is similar to the one existing for monoidal logic, and finally we discuss some other constructions of implications in interval-valued fuzzy set theory