Nantilus
Goguen Categories : A Categorical Approach to L-fuzzy Relations
Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind c...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Goguen Categories : A Categorical Approach to L-fuzzy Relations / by Michael Winter. |
| Édition : | 1st ed. 2007. |
| Publié : |
Dordrecht :
Springer Netherlands
, 2007 |
| Collection : | Trends in logic (Online) ; 25 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Contenu : | Sets, Relations, And Functions. Lattices. L-Fuzzy Relations. Categories Of Relations. Categories Of L-Fuzzy Relations. Fuzzy Controllers In Goguen Categories |
| Sujets : | |
| Documents associés : | Autre format:
Goguen Categories Autre format: Goguen Categories Autre format: Goguen Categories Autre format: Goguen Categories Autre format: Goguen Categories Autre format: Goguen Categories Autre format: Goguen Categories |
| Résumé : | Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary relations and lattices this book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories and related structures. It is shown that neither theory is sufficiently rich to describe basic operations on fuzzy relations. The book then introduces Goguen categories and provides a comprehensive study of these structures including their representation theory, and the definability of norm-based operations. The power of the theory is demonstrated by a comprehensive example. A certain Goguen category is used to specify and to develop a fuzzy controller. Based on its abstract description as well as certain desirable properties and their formal proofs, a verified controller is derived without compromising the - sometimes - intuitive choice of norm-based operations by fuzzy engineers |
|---|---|
| Configuration requise : | Nécessite un lecteur de fichier PDF |
| ISBN : | 978-1-402-06164-6 978-1-4020-6164-6 |