- Aktuality
- Předmět a cíle výzkumu
- Rada Centra a výroční zprávy
- Pracoviště a kontakty
- Přednášky
- Konference a semináře
- Publikace
- Ukázky aplikací
- Zahraniční cesty
- Hosté centra
- Minulé události
- Vstup do Synergy
VYHLEDÁVÁNÍ
PRACOVIŠTĚ CENTRA
Výzkumné centrum
Data - Algoritmy - Rozhodování
Data - Algoritmy - Rozhodování
Založeno v roce 2005 s podporou MŠMT ČR (projekt 1M0572)
Publikace
Automated proofs for composition-based fuzzy relational notions
Typ:
Konferenční příspěvek
Autoři publikace:
Daňková M., Běhounek L.
Název sborniku:
Proceedings of Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing
Místo vydání:
Malaga
Rok:
2006
Strany:
96-102
Kontaktní osoba:
Klíčová slova:
Fuzzy relations; Fuzzy class theory
Anotace:
In this contribution, we use the theory of formal interpretations to
unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.
unify a significant class of notions related to fuzzy sets and fuzzy relations by means of compositions. This trick allows us to simplify the proofs of properties of the composition-related notions and leads to its automatization by a computer.