Mathematical Principles of Fuzzy LogicSpringer Science & Business Media, 31 août 1999 - 320 pages Mathematical Principles of Fuzzy Logic provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of functional systems in fuzzy logic, providing an explanation of what can be represented, and how, by formulas of fuzzy logic calculi. It also presents a more general interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets stemming either from the topos theory, or even generalizing the latter. This book presents fuzzy logic as the mathematical theory of vagueness as well as the theory of commonsense human reasoning, based on the use of natural language, the distinguishing feature of which is the vagueness of its semantics. |
Table des matières
II | 1 |
III | 2 |
IV | 6 |
V | 9 |
VI | 12 |
VII | 15 |
VIII | 16 |
IX | 23 |
XL | 158 |
XLI | 159 |
XLII | 160 |
XLIII | 166 |
XLIV | 168 |
XLV | 169 |
XLVI | 171 |
XLVII | 172 |
X | 35 |
XI | 41 |
XII | 52 |
XIV | 56 |
XV | 61 |
XVI | 62 |
XVII | 67 |
XVIII | 74 |
XIX | 77 |
XX | 83 |
XXI | 95 |
XXII | 97 |
XXIII | 106 |
XXIV | 111 |
XXV | 112 |
XXVI | 113 |
XXVII | 114 |
XXVIII | 115 |
XXIX | 120 |
XXX | 129 |
XXXI | 132 |
XXXII | 139 |
XXXIII | 140 |
XXXIV | 142 |
XXXV | 147 |
XXXVI | 150 |
XXXVII | 151 |
XXXVIII | 153 |
XXXIX | 154 |
XLVIII | 176 |
XLIX | 179 |
L | 181 |
LII | 185 |
LIII | 189 |
LIV | 190 |
LV | 195 |
LVI | 201 |
LVIII | 204 |
LIX | 208 |
LX | 210 |
LXII | 213 |
LXIII | 218 |
LXIV | 223 |
LXV | 224 |
LXVII | 227 |
LXVIII | 231 |
LXIX | 239 |
LXX | 242 |
LXXI | 243 |
LXXII | 249 |
LXXIII | 259 |
LXXIV | 261 |
LXXV | 275 |
LXXVII | 286 |
LXXVIII | 299 |
LXXIX | 305 |
315 | |
Autres éditions - Tout afficher
Mathematical Principles of Fuzzy Logic Vilém Novák,Irina Perfilieva,J. Mockor Aucun aperçu disponible - 2012 |
Expressions et termes fréquents
Analogously approximation assigned B₁ BL-algebra Boolean algebra calculus characterize classical logic completeness theorem concept conjunction conjunctive normal form connectives consistent construct corresponding d₁ defined DEFINITION defuzzification denote disjunction element equivalent evaluated formulas evaluating predications evaluating syntagms example exists filter finite FL-functions FL-relation following lemma formal logical systems Furthermore fuzzy logic fuzzy predicate fuzzy set theory fuzzy theory given Hence Henkin Heyting algebra holds implication inference rules interpretation introduced isomorphic linguistic description logical axioms logical constants M₁₂ membership function model theory modus ponens morphism multiformula MV-algebra n-ary N-fuzzy set N-sets N-subset natural language negation normal forms Novák object obtain piecewise linear function predicate logic predicate symbol proof properties provability prove represented residuated lattice semantics set of formulas special axioms structure subobject classifier subsection syntactic t-norm t₁ tautology topos truth values vagueness variable Vx)B