Fuzzy Set Theory
Fuzzy Set Theory Basic Concepts, Techniques and Bibliography by R. LOWEN Department 0/ Mathematics and Computer Science, University 0/ Antwerp, Antwerp, Belgium SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.
A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN 978-90-481-4706-9 ISBN 978-94-015-8741-9 (ebook) DOI 10.1007/978-94-015-8741-9 Printed on acid-free paper All Rights Reserved 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1996 Softcover reprint ofthe hardcover 1st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, inc1uding photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.
To Mom and Dad
Contents List of Figures..................................... ix Preface.......................................... xiii Chapter 1 Elementary Set Theory..................... 1 Section 1 Sets and subsets.......................... 1 Section 2 Functions and relations...................... 4 Section 3 Partially ordered sets....................... 7 Section 4 The lattice of subsets of a set................. 14 Section 5 Characteristic functions..................... 16 Section 6 Notes... 19 Chapter 2 Fuzzy Sets............................ 21 Section 1 Definitions and examples... 21 Section 2 Lattice theoretical operations on fuzzy sets........ 26 Section 3 Pseudocomplementation.................... 32 Section 4 Fuzzy sets, functions and fuzzy relations.......... 34 Section 5 a-ievels............................... 40 Section 6 Notes... 45 Chapter 3 t-norms, t-conorms and Negations............ 49 Section 1 Pointwise extensions...................... 49 Section 2 t-norms and t-conorms..................... 53 Section 3 Negations............................ 124 Section 4 Notes... 130 Chapter 4 Special Types of Fuzzy Sets... 133 Section 1 Normal fuzzy sets....................... 133 Section 2 Convex fuzzy sets....................... 134 Section 3 Piecewise linear fuzzy sets... 138 Section 4 Compact fuzzy sets...................... 140 Section 5 Notes... 141 Chapter 5 Fuzzy Real Numbers..................... 143 Section 1 The probabilistic view..................... 143 vii
Seetion 2 Seetion 3 Seetion 4 Chapter 6 Seetion 1 Seetion 2 Seetion 3 Seetion 4 Seetion 5 Seetion 6 Seetion 7 Chapter 7 Seetion 1 Seetion 2 Index The non-probabilistie view.................. 156 Interpolation... 161 Notes... 165 Fuzzy Logic... 169 Conneetives in classieal logie................ 169 Fundamental classieal theorems.............. 175 Basic prineiples of fuzzy logie................ 180 Lattiee generated fuzzy eonneetives............ 182 t-norm generated fuzzy eonneetives............ 195 Probabilistieally generated fuzzy eonneetives...... 205 Notes... 235 Bibliography.......................... 241 Books... 241 Artieles.............................. 249 405 viii
List of Figures Figure 1 Figure 2 Figure 3 Figure 4 Figure 5 Figure 6 Figure 7 Figure 8 Figure 9 Figure 10 Figure 11 Figure 12 Figure 13 Figure 14 Figure 15 Figure 16 Figure 17 Figure 18 Figure 19 Figure 20 Figure 21 Figure 22 Figure 23 Figure 24 Figure 25 Figure 26 Figure 27 Figure 28 Figure 29 Figure 30 Figure 31 Figure 32 An impression of 8 A....................... 25 JL ::; v... 28 JL 1\ v and 11 v v... 30 Brouwerian complement of JL.... 31 Pseudocomplement of JL.... 33 la(jl) = [a,e] and l~(il) =]a,b[... 41 Drastic product.......................... 65 Drastic sum............................ 66 Minimum... 67 Maximum... 68 Bounded product......................... 69 Bounded sum........................... 70 Algebraic product... 71 Algebraic sum........................... 72 Einstein product......................... 73 Einstein sum... 74 Dombi's t-norm for..\ = 2.................... 75 Dombi's t-conorm for..\ = 2... 76 Hamacher's t-norm for..\ = 10... 77 Hamacher's t-conorm for..\ = 10... 78 Yager's t-norm for..\ = 2... 79 Yager's t-conorm for..\ = 2... 80 Frank's t-norm for..\ = 10... 81 Frank's t-conorm for..\ = 10... 82 Weber's first t-norm for..\ = 1... 83 Weber's first t-conorm for..\ = 1... 84 Weber's second t-norm for..\ = 1... 85 Weber's second t-conorm for A = 1... 86 Dubois and Prade's t-norm for A =!... 87 Dubois and Prade's t-conorm for..\ =!... 88 Schweizer's first t-norm for..\ = 2... 89 Schweizer's first t-conorm for A = 2... 90 ix
Figure 33 Figure 34 Figure 35 Figure 36 Figure 37 Figure 38 Figure 39 Figure 40 Figure 41 Figure 42 Figure 43 Figure 44 Figure 45 Figure 46 Figure 47 Figure 48 Figure 49 Figure 50 Figure 51 Figure 52 Figure 53 Figure 54 Figure 55 Figure 56 Figure 57 Figure 58 Figure 59 Figure 60 Figure 61 Figure 62 Figure 63 Figure 64 Figure 65 Figure 66 Schweizer's second t-norm for A = 2... 91 Schweizer's second t-conorm for A = 2........... 92 Schweizer's third t-norm for A = 2.............. 93 Schweizer's third t-conorm for A = 2............. 94 Mizumoto's first t-norm..................... 95 Mizumoto's first t-conorm.................... 96 Mizumoto's second t-norm................... 97 Mizumoto's second t-conorm................. 98 Mizumoto's third t-norm..................... 99 Mizumoto's third t-conorm.................. 100 Mizumoto's fourth t-norm for A = 1... 101 Mizumoto's fourth t-conorm for A = 1........... 102 Mizumoto's fifth t-norm for A = e.............. 103 Mizumoto's tifth t-conorm tor A = e............. 104 Mizumoto's sixth t-norm for A = 1.5... 105 Mizumoto's sixth t-conorm for A = 1.5........... 106 Mizumoto's seventh t-norm for A = 2... 107 Mizumoto's seventh t-conorm for A = 2.......... 108 Mizumoto's eighth t-norm for A = e... 109 Mizumoto's eighth t-conorm tor A = e........... 110 Mizumoto's ninth t-norm tor A = 2/3............ 111 Mizumoto's ninth t-conorm for A = 2/3... 112 Mizumoto's tenth t-norm tor A = 2............. 113 Mizumoto's tenth t-conorm for A = 2............ 114 A convex fuzzy set which is not a convex function... 135 A tri angular fuzzy set..................... 139 A trapezoidal fuzzy set.................... 139 Basic connectives of classical logic............ 170 Truth table for "A and B"... 171 Truth table for "A or B".................... 171 Truth table for "not A"..................... 172 Truth table tor "it Athen B"... 172 Truth table for "A if and only if B"... 173 Truth table of "if (A and B) then C"............. 174 x
Figure 67 Figure 68 Figure 69 Figure 70 Figure 71 Figure 72 Figure 73 Figure 74 Figure 75 Figure 76 Figure 77 Figure 78 Figure 79 Figure 80 Figure 81 Figure 82 Figure 83 Figure 84 Figure 85 Figure 86 Figure 87 Figure 88 Figure 89 Figure 90 Figure 91 Figure 92 Figure 93 Figure 94 lattice-extension of "and"................... 183 lattice-extension of "or"... 184 lattice-extension of "implies"................. 185 lattice-extension of "ift".................... 187 lattice-extensions of "not and" and "not or"........ 189 Modus Ponens for lattice-extensions... 190 Law of Syllogism-Iattice case................ 192 P- and Toc-extension of "implies"... 196 E- and Hw-extension of "implies".... 197 y; d S I xt. f... I' " 198 2- an 2 -e enslon 0 Imp les.............. P-extension of "ift"....................... 199 T oc -extension of "ift"...................... 200 Modus Ponens for P-extensions... 202 min-probabilistic extension of "and"... 209 P- and Toc-probabilistic extensions of "and"... 210 M2- and Wl-probabilistic extensions of "or"... 213 D Pl. -probabilistic extension of "or"... 214 2 Y2-probabilistic extension of "implies"......... 217 D2- and FlO-probabilistic extensions of "implies" 218 P- and Toc-probabilistic extensions of "ift".... 221 Y2-probabilistic extension of "ift"... 222 (x! y ) n (y! x ) - (x J: y)... 223 FlO-probabilistic connective for "implies"......... 225 Y2- and D2-probabilistic connectives for "implies"... 226 D Pl. -probabilistic connective for "ift"............ 227 2 E- and Y2-probabilistic connectives for "ift"... 228 Modus Ponens for the Y2-probabilistic extension.... 230 Wf-probabilistic connectives for "not and" and "not or". 232 xi
Preface The purpose of this book is to provide the reader who is interested in applications of fuzzy set theory, in the first place with a text to which he or she can refer for the basic theoretical ideas, concepts and techniques in this field and in the second place with a vast and up to date account of the literature. Although there are now many books about fuzzy set theory, and mainly about its applications, e.g. in control theory, there is not really a book available which introduces the elementary theory of fuzzy sets, in what I would like to call "a good degree of generality". To write a book which would treat the entire range of results concerning the basic theoretical concepts in great detail and which would also deal with all possible variants and alternatives of the theory, such as e.g. rough sets and L-fuzzy sets for arbitrary lattices L, with the possibility-probability theories and interpretations, with the foundation of fuzzy set theory via multi-valued logic or via categorical methods and so on, would have been an altogether different project. This book is far more modest in its mathematical content and in its scope. As such it does not really address itself to mathematicians, but rather to researchers working in the areas of engineering, data analysis, control theory, pattern recognition, neural networks, clustering, expert systems, information retrieval, operations research, decision making, image and signal processing, and so on, who wish to apply fuzzy sets but might not be too knowledgeable in the set-theoretical basics on which fuzzy set theory is based. Hence I hope that this book might be a handy companion next to other more specifically application-oriented texts. Of course the choice of what to include and what not to include was strongly inftuenced by personal taste. For this reason I have also tried to provide much information for the reader as to where he or she can find (1) more detailed results related to the concepts introduced, (2) alternative concepts and results and (3) work related to applications. The first chapter gives a review of the basic concepts of set theory. Not only is naive fuzzy set theory built with classical set-theoretical tools (sets and functions) but moreover, in order to justify the various operations which exist in fuzzy set theory, it is necessary to have some background in ordinary set theory. Furthermore a review is given of the basic lattice theory which is required. In the second chapter classical (or naive) fuzzy sets are introduced, as defined by L.A. Zadeh, and the basic properties which hold in the lattice-theoretical framework are given. In the third chapter t-norms and t-conorms are introduced. They form the basis for a wide new variety of operations xiii
on fuzzy sets and for the connectives of fuzzy logic. The fourth chapter covers the most important special properties which in certain contexts are often required of fuzzy sets. The fifth chapter deals with the important notion of fuzzy real numbers, both the probabilistic and the non-probabilistic views. These form the basis not only of purely mathematical work in this area, which is not treated in this text, but also of the main applications of fuzzy set theory. The sixth chapter treats "naive" fuzzy logic, as it is being used, mainly in applications in control theory. Here too a review is given of the elementary notions of elassicallogic. The book ends with two chapters which contain a vast account of the literature up to now and which in my opinion should give the reader a starting point making it possible to find almost anything he or she may want in this area. Whereas the contents of chapters 1 to 6 focus on the elementary theoretical ideas, chapters 7 and 8 which contain the biographical data, focus mainly on applications. Necessary references to theoretical work related to the concepts of the first 6 chapters are given in full in the text, mainly in the notes following each chapter. Throughout the text I have taken care to provide many graphs of t-norms, t-conorms and logical operators. To the best of my knowledge this is the first time that these operators are thus presented, and in my opinion, the visual information next to the mathematical formulas is often interesting. I would like to thank my students R. Brys, V. Fest jens, W. Peeters and M. Sioen for their extensive help in collecting the biographical data. Furthermore I would also like to thank N. Blasco and W. Peeters for proofreading the final manuscript. Of course the responsibility for any errors which may remain lies completely and solely with the author. The idea to write this book emerged from talks with Alexander Schimmelpenninck. Paul Roos and Alexander Schimmelpenninck, both editors at Kluwer Academic Publishers, followed the development from elose by. For their much appreciated, friendly encouragement and professional support during the entire period of writing they both have my sincere thanks. R. Lowen xiv