Počet záznamů: 1
Relational Compositions in Fuzzy Class Theory
- 1.
SYSNO ASEP 0324098 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Relational Compositions in Fuzzy Class Theory Překlad názvu Skládání relací v Teorii fuzzy tříd Tvůrce(i) Běhounek, Libor (UIVT-O) RID, SAI, ORCID
Daňková, M. (CZ)Zdroj.dok. Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114
Roč. 160, č. 8 (2009), s. 1005-1036Poč.str. 32 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova fuzzy relation ; sup-T-composition ; inf-R-composition ; BK-product ; fuzzy class theory ; formal truth value Vědní obor RIV BA - Obecná matematika CEP KJB100300502 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000264740400002 EID SCOPUS 60749113737 DOI 10.1016/j.fss.2008.06.013 Anotace We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R images, pre-images, Cartesian products, domains, ranges, resizes, inclusion, height, plinth, etc. Besides yielding a large number of theorems on fuzzy relations as simple corollaries of a few basic principles, the method provides a systematization of the family of relational notions and generates a simple equational calculus for proving elementary identities between them, thus trivializing a large part of the theory of fuzzy relations. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2009
Počet záznamů: 1