Extent: 2+0, examination, 4 credits
Lecturer: Mirko Navara, Center for Machine Perception, Department of Cybernetics, K 333
The course ended on June 1st, 2016, the exams will be organized individually.
The materials on fuzzy logic were updated on June 2, 2016.
The exact curricula will be specified according to the interests of participants. For inspiration on possible topics, you may read the curricula from previous years:
Basic notions about fuzzy sets, fuzzy propositional and set operations. Fundamentals of classical mathematical logic, proofs, completeness theorems. Basic types of fuzzy propositional logics - Gödel, Lukasiewicz, product, S-fuzzy logics, rational Pavelka logic. Deduction, consistency, completeness. Basics of fuzzy predicate logics. Probability of fuzzy events. More general types of fuzzy sets, rough sets, and other alternative approaches. Different types of uncertainty, quantum logics.
Questions and comments:
Last update not before 1. 4. 2015