Course details
Mathematical Foundations of Fuzzy Logic
IMF Acad. year 2020/2021 Winter semester 5 credits
At the beginning of the semester, students choose from the supplied topics. On the weekly seminars, they present the topics and discuss them. The final seminar is for assessment of students' performance.
Guarantor
Course coordinator
Language of instruction
Completion
Time span
- 26 hrs exercises
- 26 hrs projects
Assessment points
- 30 pts numeric exercises
- 70 pts projects
Department
Instructor
Subject specific learning outcomes and competences
Successful students will gain deep knowledge of the selected area of mathematics (depending on the seminar group), and the ability to present the studied area and solve problems within it.
The ability to understand advanced mathematical texts, the ability to design nontrivial mathematical proofs.
Learning objectives
To extend an area of mathematical knowledge with an emphasis on solution searchings and mathematical problems proofs.
Why is the course taught
Classical logic only describes well the black and white world. Its consistent use in practical situations can lead to problems. This can be solved with multi-valued, e.g. fuzzy, logic which is the intuitive basis of any conjecture associated with vague terms. The modelling of fuzzy logic connectives is related to the study of the real variable functions. The mathematical apparatus required for the modelling of fuzzy logic connectives is the content of this course.
Recommended prerequisites
- Discrete Mathematics (IDM)
- Calculus 1 (IMA1)
Prerequisite knowledge and skills
Knowledge of "IDA - Discrete Mathematics" and "IMA - Mathematical Analysis" courses.
Study literature
- Alsina, C., Frank, M.J., Schweizer, B., Assocative functions: Triangular Norms and Copulas, World Scientific Publishing Company, 2006.
- Baczynski, M., Jayaram, B., Fuzzy implications, Studies in Fuzziness and Soft Computing, Vol. 231, 2008.
- Carlsson, Ch., Fullér, R., Fuzzy reasoning in decision making and optimization, Studies in Fuzziness and Soft Computing, Vol. 82, 2002.
- Carlsson, Ch., Fullér, R., Fuzzy reasoning in decision making and optimization, Studies in Fuzziness and Soft Computing, Vol. 82, 2002.
- Kolesárová, A., Kováčová, M., Fuzzy množiny a ich aplikácie, STU v Bratislave, 2004.
- Kolesárová, A., Kováčová, M., Fuzzy množiny a ich aplikácie, STU v Bratislave, 2004. (in Czech).
- Trillas, E., Eciolaza, L, Fuzzy logic-An introductory course for engineering students, Studies in Fuzziness and Soft Computing, 2015.
Syllabus of numerical exercises
- From classical logic to fuzzy logic
- Modelling of vague concepts via fuzzy sets
- Basic operations on fuzzy sets
- Principle of extensionality
- Triangular norms, basic notions, algebraic properties
- Triangular norms, constructions, generators
- Triangular conorms, basic notions and properties
- Negation in fuzzy logic
- Implications in fuzzy logic
- Aggregation operators, basic properties
- Aggregation operators, applications
- Fuzzy relations
- Fuzzy preference structures
Syllabus - others, projects and individual work of students
- Triangular norms, class of třída archimedean t-norms
- Triangular norms, construction of continuous t-norms
- Triangular norms, construction of non-continuous t-norms
- Triangular conorms
- Fuzzy negations and their properties
- Implications in fuzzy logic
- Aggregation operators, averaging operators
- Aggregation operators, applications
- Fuzzy relations, similarity, fuzzy equality
- Fuzzy preference structures
Progress assessment
Active participation in the exercises (group problem solving, evaluation of the ten exercises): 30 points.
Projects: group presentation, 70 points.
Exam prerequisites:
Students have to get at least 50 points during the semester.
Controlled instruction
Active participation in the exercises (group problem solving, evaluation of the ten exercises): 30 points.
Projects: group presentation, 70 points.
Exam prerequisites
Students have to get at least 50 points during the semester.
Course inclusion in study plans