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