Extent: 2+0, examination, 4 credits
Semester: Summer
Lecturer: Mirko Navara, Center for Machine Perception, Department of Cybernetics, K 333

News: The course will take place in hall G205, Karlovo náměstí, building G every Tuesday, 14:30-16:00.
The first meeting will be on February 14th. More details on curricula and schedule will be discussed there.

Literature:

• Bibliography: PDF, PostScript, DVI, LaTeX
• Lectures on fuzzy sets: English, Czech
• Lectures on fuzzy logic
• Lectures on similarity and its applications
• Copies of transparencies from lectures on similarity are available at the office of M. Navara (check my presence in advance).
• Lectures on (classical and) fuzzy control
• Textbook Basics of Fuzzy Sets (in Czech)
• Lectures on (classical and) fuzzy control, How to stabilize an inverted pendulum
• Copies of transparencies with axioms and examples of classical logic, basic logic, etc. (2003): PostScript
• Copies of transparencies with axioms of Boolean algebras and MV-algebras (2002): PostScript, DVI, LaTeX

Curricula:
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:

• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002

Annotation:

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.
Principles of fuzzy control, Takagi-Sugeno and Mamdani-Assilian controller.
Logical interpretation of a fuzzy controller.
Fuzzy preference in decision making.
Fuzzy clustering.
Arithmetic of fuzzy numbers.
More general types of fuzzy sets, rough sets, and other alternative approaches.
Different types of uncertainty, quantum logics.

Questions and comments: navaracmp.felk.cvut.cz
Last update not before 17.1.2012