000 | 02517nam a22004335i 4500 | ||
---|---|---|---|
001 | 978-1-4020-6164-6 | ||
003 | DE-He213 | ||
005 | 20161121230728.0 | ||
007 | cr nn 008mamaa | ||
008 | 100301s2007 ne | s |||| 0|eng d | ||
020 |
_a9781402061646 _9978-1-4020-6164-6 |
||
024 | 7 |
_a10.1007/978-1-4020-6164-6 _2doi |
|
050 | 4 | _aBC1-199 | |
072 | 7 |
_aHPL _2bicssc |
|
072 | 7 |
_aPHI011000 _2bisacsh |
|
082 | 0 | 4 |
_a160 _223 |
100 | 1 |
_aWinter, Michael. _eauthor. |
|
245 | 1 | 0 |
_aGoguen Categories _h[electronic resource] : _bA Categorical Approach to L-fuzzy Relations / _cby Michael Winter. |
264 | 1 |
_aDordrecht : _bSpringer Netherlands, _c2007. |
|
300 |
_aXII, 208 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTrends in Logic ; _v25 |
|
505 | 0 | _aSets, Relations, And Functions -- Lattices -- L-Fuzzy Relations -- Categories Of Relations -- Categories Of L-Fuzzy Relations -- Fuzzy Controllers In Goguen Categories. | |
520 | _aGoguen 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. | ||
650 | 0 | _aPhilosophy. | |
650 | 0 | _aLogic. | |
650 | 1 | 4 | _aPhilosophy. |
650 | 2 | 4 | _aLogic. |
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9781402061639 |
830 | 0 |
_aTrends in Logic ; _v25 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-1-4020-6164-6 |
912 | _aZDB-2-SHU | ||
950 | _aHumanities, Social Sciences and Law (Springer-11648) | ||
999 |
_c503117 _d503117 |