Metamathematics of Fuzzy Logic (Google eBook)

Front Cover
Springer Science & Business Media, Nov 30, 2001 - Mathematics - 299 pages
0 Reviews
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.
There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of logic and may find several very interesting open problems. Second, equally important, researchers involved in fuzzy logic applications and soft computing. As a matter of fact, most of these are not professional logicians so that it can easily happen that an application, clever and successful as it may be, is presented in a way which is logically not entirely correct or may appear simple-minded. (Standard presentations of the logical aspects of fuzzy controllers are the most typical example.) This fact would not be very important if only the bon ton of logicians were harmed; but it is the opinion of the author (who is a mathematical logician) that a better understanding of the strictly logical basis of fuzzy logic (in the usual broad sense) is very useful for fuzzy logic appliers since if they know better what they are doing, they may hope to do it better. In addition, a better mutual understanding between (classical) logicians and researchers in fuzzy logic, promises to lead to deeper cooperation and new results.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

III
1
IV
6
V
10
VI
15
VII
20
VIII
22
IX
27
X
35
XXVI
154
XXVII
161
XXVIII
167
XXIX
168
XXX
177
XXXI
189
XXXII
195
XXXIII
205

XI
46
XII
56
XIII
63
XIV
70
XV
79
XVI
89
XVII
97
XVIII
103
XIX
109
XX
119
XXI
124
XXII
127
XXIII
139
XXIV
141
XXV
149
XXXIV
215
XXXV
228
XXXVI
238
XXXVII
249
XXXVIII
261
XXXIX
265
XL
271
XLI
277
XLII
278
XLIII
279
XLV
280
XLVI
281
XLVII
283
XLVIII
295
Copyright

Common terms and phrases

Popular passages

Page 2 - In a narrow sense, fuzzy logic, FLn, is a logical system which aims at a formalization of approximate reasoning. In this sense, FLn is an extension of multivalued logic. However, the agenda of FLn is quite different from that of traditional multivalued logics. In particular, such key concepts in FLn as the concept of a linguistic variable, canonical form, fuzzy if-then...
Page viii - This work was supported by the Grant Agency of the Academy of Sciences of the Czech Republic (project no.
Page 1 - Although some of the earlier controversies regarding the applicability of fuzzy logic have abated, there are still influential voices which are critical and/or skeptical. Some take the position that anything that can be done with fuzzy logic can be done equally well without it. Some are trying to prove that fuzzy logic is wrong. And some are bothered by what they perceive to be exaggerated expectations. That may well be the case but, as Jules Veme had noted at the turn of the century, scientific...
Page 2 - FLn, is a logical system which aims at a formalization of approximate reasoning. In this sense, FLn is an extension of multivalued logic. However, the agenda of FLn is quite different from that of traditional multivalued logics. In particular, such key concepts in FLn as the concept of a linguistic variable, canonical form, fuzzy if-then rule, fuzzy quantification, fuzzification and defuzzification, predicate modification, truth qualification, the extension principle, the compositional rule of inference...
Page 285 - Prade, H. Fuzzy sets in approximate reasoning, Part 1 : Inference with possibility distributions. Fuzzy Sets and Systems, 40(1): 143-202, March 5, 1991. [11] Dubois, D., Lang, J., and Prade, H. Fuzzy sets in approximate reasoning, Part 2: Logical approaches.
Page 283 - Alsina, C., Trillas, E. and Valverde, L., "On some logical connectives for fuzzy set theory," Journal of Mathematical Analysis and Application 93, 15-26, 1983.
Page 285 - DUBOIS, D., AND PRADE, H. Possibility theory as a basis for preference propagation in automated reasoning.
Page 286 - Many-valued logic and mixed integer programming. Annals of Mathematics and Artificial Intelligence, 12(3,4):231-264, Dec.

References to this book

All Book Search results »

About the author (2001)

Hajek-Czech Academy of Science, Prague, Czech Republic

Bibliographic information