- News
- Subject and Goals
- Council and Annual Reports
- Contacts and Working Groups
- Lectures and Presentations
- Conferences and Seminars
- Publications
- Application Demos
- International Travels
- Visitors
- Past Events
- E-Synergy Login
SEARCH
MEMBERS OF RESEARCH CENTER
Research Centre
Data - Algorithms - Decision Making
Data - Algorithms - Decision Making
Established in 2005 under support of MŠMT ČR (project 1M0572)
Publications
Automated proofs for composition-based fuzzy relational notions
Typ:
Conference paper
Authors:
Daňková M., Běhounek L.
Proceedings name:
Proceedings of Logic of Soft Computing 5 & 5th workshop of the ERCIM working group of Soft Computing
Serie:
Malaga
Year:
2006
Pages:
96-102
Keywords:
Fuzzy relations; Fuzzy class theory
Anotation:
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.