Subject description - XEP33FLO

Summary of Study | Summary of Branches | All Subject Groups | All Subjects | List of Roles | Explanatory Notes               Instructions
XEP33FLO Fuzzy Logic
Roles:S Extent of teaching:2P+0S
Department:13133 Language of teaching:EN
Guarantors:Navara M. Completion:ZK
Lecturers:Navara M. Credits:4
Tutors:Navara M. Semester:L

Web page:


Basics of fuzzy sets and fuzzy logic. Measures on collections of fuzzy sets. Principles of fuzzy control.

Study targets:

Basic tools of fuzzy sets and fuzzy logic applied to specific engineering tasks.

Course outlines:

Basic notions about fuzzy sets, fuzzy propositional and set operations. Fundamentals of classical mathematical logic, proofs, completeness theorems. Basic types of fuzzy propositional logics, deduction, consistency, completeness. Basics of fuzzy predicate logics. MV-algebras. Basic principles of measure theory, measures on MV-algebras and on collections of fuzzy sets. Principles of fuzzy control, Takagi-Sugeno and Mamdani-Assilian controller. Logical interpretation of a fuzzy controller. More general types of fuzzy sets, rough sets, and other alternative approaches. Types of uncertainty, quantum logics.

Exercises outline:


D. Driankov, H. Hellendoorn, M. Reinfrank: An Introduction to Fuzzy Control,
Springer, Berlin, Heidelberg, 1993 Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice-Hall, 1995 Nguyen, H.T., Walker, E.A.: A First Course in Fuzzy Logic. 2nd ed., Chapman & Hall/CRC, Boca Raton/London/New York/Washington, 2000 Kruse, R., Gebhardt, J., Klawon, F.: Foundations of Fuzzy Systems. J. Wiley, 1994


Mathematical Logic




fuzzy set, fuzzy logic, probability measure, fuzzy controller

Subject is included into these academic programs:

Program Branch Role Recommended semester
DOKP Common courses S
DOKK Common courses S

Page updated 16.6.2024 17:52:04, semester: Z,L/2023-4, Z/2024-5, Send comments about the content to the Administrators of the Academic Programs Proposal and Realization: I. Halaška (K336), J. Novák (K336)