Type-2 fuzzy sets extend both ordinary and interval-valued fuzzy sets to allow distributions, rather than single values, as degrees of membership. Computations with these truth values are governed by the truth value algebra of type-2 fuzzy sets. The Truth Value Algebra of Type-2 Fuzzy Sets: Order Convolutions of Functions on the Unit Interval explores the fundamental properties of this algebra and the role of these properties in applications.
Accessible to anyone with a standard undergraduate mathematics background, this self-contained book offers several options for a one- or two-semester course. It covers topics increasingly used in fuzzy set theory, such as lattice theory, analysis, category theory, and universal algebra. The book discusses the basics of the type-2 truth value algebra, its subalgebra of convex normal functions, and their applications. It also examines the truth value algebra from a more algebraic and axiomatic view.
"This book, written by experts in algebra, is a comprehensive and original treatment of operations on fuzzy sets of type-2, i.e., fuzzy sets whose membership degrees are fuzzy sets of the unit interval. The theoretical material in the book is useful for practitioners of fuzzy modeling and inference in computer science, engineering, and social sciences. The book could also be used as a text for a special topics course in algebra."
—Hung T. Nguyen, Emeritus Professor of Mathematical Sciences, New Mexico State University
"At the beginning of fuzzy set theory, some easy results were published and this field was not fully respected by mathematicians. This opinion has changed thanks to deep mathematical results that cannot be ignored as ‘cheap’ or ‘easy.’ … However, a deep algebraic approach to fuzzy sets was limited to special cases, in particular MV-algebras (Roberto Cignoli, Itala D’Ottaviano, and Daniele Mundici). Experienced algebraists have now contributed to filling in this gap. The authors of this book show how much general algebra can say about fuzzy truth values. On the other hand, fuzzy concepts contribute by interesting examples of algebras, automorphisms, varieties, categories, etc.
The book is based on decades of investigation performed by leading experts in the field. They present the latest results in a form readable by all mathematicians, starting from upper undergraduate level. The presentation of ideas is surprisingly easy to follow, although it proceeds to advanced theoretical results. The organization of the material is very carefully elaborated.
Type-2 fuzzy sets give rise to rather complex algebras, while the mainstream of research deals with the easier case of type-1 fuzzy sets; nevertheless, the book contributes also to this simpler discipline. Readers will be surprised how rich this topic is and how advanced knowledge has been collected recently.
Open questions and suggestions for further investigation are presented and they inspire future research. The book will certainly influence the following decade of research of fuzzy logical operations … ."
—Professor Mirko Navara, Department of Cybernetics, Czech Technical University
"The Truth Value Algebra of Type-2 Fuzzy Sets is an intensive study of the algebraic structure of Map(I; I). It is based on results of the authors and also other researchers in the field … . This book presents a self-contained course for readers who have successfully completed undergraduate math."
—Dr. Rudolf Seising, Professor for the History of Science, Friedrich-Schiller-Universität Jena, and Affiliated Researcher, European Centre for Soft Computing
The Algebra of Truth Values
Classical and fuzzy subsets
The truth value algebra of type-2 fuzzy sets
Simplifying the operations
Properties of the Type-2 Truth Value Algebra
Properties of the operations
Two partial orderings
Fragments of distributivity
Subalgebras of the Type-2 Truth Value Algebra
Type-1 fuzzy sets
Interval-valued fuzzy sets
Convex normal functions
The algebra of sets
Functions with finite support
Sets, fuzzy sets, and interval-valued fuzzy sets
Automorphisms of M with the pointwise operations
Characterizing certain elements of M
Automorphisms of M with the convolution operations
Characteristic subalgebras of M
T-Norms and T-Conorms
Triangular norms and conorms
T-norms and t-conorms on intervals
Convolutions of t-norms and t-conorms
Convolutions of continuous t-norms and t-conorms
T-norms and t-conorms on L
Convex Normal Functions
Straightening the order
Realizing L as an algebra of decreasing functions
Completeness of L
Convex normal upper semicontinuous functions
Agreement convexly almost everywhere
Metric and topological properties
T-norms and t-conorms
Varieties Related to M
The variety V(M)
A syntactic decision procedure
The algebra E of sets in M
Complex algebras of chains
Varieties and complex algebras of chains
The algebras 23 and 25 revisited
Type-2 Fuzzy Sets and Bichains
Birkhoff systems and bichains
Varieties of Birkhoff systems
Toward an equational basis
Categories of Fuzzy Relations
Rule bases and fuzzy control
The type-2 setting
Symmetric monoidal categories
The Finite Case
Finite type-2 algebras
The partial orders determined by convolutions
The double order
Varieties related to mn
The automorphism group of mn
Convex normal functions
The De Morgan algebras H(mn)
Appendix: Properties of the Operations on M
Summary and Exercises appear at the end of each chapter.