Fuzzy Logic
Mathematical Tools for Approximate Reasoning
Seiten
2010
|
Softcover reprint of hardcover 1st ed. 2001
Springer (Verlag)
978-90-481-5694-8 (ISBN)
Springer (Verlag)
978-90-481-5694-8 (ISBN)
Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses).
Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). The aim of this theory is to formalize the "approximate reasoning" we use in everyday life, the object of investigation being the human aptitude to manage vague properties (as, for example, "beautiful", "small", "plausible", "believable", etc. ) that by their own nature can be satisfied to a degree different from 0 (false) and I (true). It is worth noting that the traditional deductive framework in many-valued logic is different from the one adopted in this book for fuzzy logic: in the former logics one always uses a "crisp" deduction apparatus, producing crisp sets of formulas, the formulas that are considered logically valid. By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses). Approximate reasoning has generated a very interesting literature in recent years. However, in spite of several basic results, in our opinion, we are still far from a satisfactory setting of this very hard and mysterious subject. The aim of this book is to furnish some theoretical devices and to sketch a general framework for fuzzy logic. This is also in accordance with the non Fregean attitude of the book.
Fuzzy logic in narrow sense is a promising new chapter of formal logic whose basic ideas were formulated by Lotfi Zadeh (see Zadeh [1975]a). The aim of this theory is to formalize the "approximate reasoning" we use in everyday life, the object of investigation being the human aptitude to manage vague properties (as, for example, "beautiful", "small", "plausible", "believable", etc. ) that by their own nature can be satisfied to a degree different from 0 (false) and I (true). It is worth noting that the traditional deductive framework in many-valued logic is different from the one adopted in this book for fuzzy logic: in the former logics one always uses a "crisp" deduction apparatus, producing crisp sets of formulas, the formulas that are considered logically valid. By contrast, fuzzy logical deductive machinery is devised to produce a fuzzy set of formulas (the theorems) from a fuzzy set of formulas (the hypotheses). Approximate reasoning has generated a very interesting literature in recent years. However, in spite of several basic results, in our opinion, we are still far from a satisfactory setting of this very hard and mysterious subject. The aim of this book is to furnish some theoretical devices and to sketch a general framework for fuzzy logic. This is also in accordance with the non Fregean attitude of the book.
1. Abstract logic in a lattice.- 2. Abstract fuzzy logic.- 3. Extending an abstract crisp logic.- 4. Approximate reasoning.- 5. Logic as managment of constraints on the truth values.- 6. Canonical extension of a crisp Hilbert logic.- 7. Graded consequence relations.- 8. Truth-functional logic and fuzzy logic.- 9. Probabilistic fuzzy logics.- 10. Fuzzy control and approximate reasoning.- 11. Effectiveness in fuzzy logic.- References.- List of Symbols.
| Erscheint lt. Verlag | 7.12.2010 |
|---|---|
| Reihe/Serie | Trends in Logic ; 11 |
| Zusatzinfo | XII, 271 p. |
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 90-481-5694-7 / 9048156947 |
| ISBN-13 | 978-90-481-5694-8 / 9789048156948 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
REDLINE (Verlag)
CHF 27,95
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …
Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20
