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.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9789048156948
قطعه
عنوان
Springer eBooks
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Logic.
موضوع مستند نشده
Mathematics.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )