Fuzzy logic differs from classical, two-valued logic in that it rejects the principle of bivalence. While according to the principle of bivalence every statement is either true or false, fuzzy logic admits intermediate truth values, called degrees of truth.
Fuzzy logic differs from classical, two-valued logic in that it rejects the principle of bivalence. While according to the principle of bivalence every statement is either true or false, fuzzy logic admits intermediate truth values, called degrees of truth. These are primarily interpreted as truth values of statements involving vague predicates such as “high” or “red”. Since usage of vague predicates is typical in human description of the outer world, fuzzy logic has found many applications in various areas of human affairs.
In this talk, we will first survey the principles of fuzzy logic, mention some relevant historical facts, and present several areas of computer science where fuzzy logic has been applied in an interesting way. The second part will be devoted to problems studied and results obtained by the speaker, in particular to foundations and algorithms for analysis of factors and dependencies in data with fuzzy attributes.
Radim Bělohlávek pursues research in fuzzy logic and applications of algebra and logic in relational data modeling. He has authored or coauthored over one hundred papers in international journals and two books in these areas. He is a professor of computer science at the Faculty of Science, Palacký University, Olomouc, where he is currently the head of Department of Computer Science. In the past, he was a full professor at the State University of New York in Binghamton.
Its program consists of a one-hour lecture followed by a discussion. The lecture is based on an (internationally) exceptional or remarkable achievement of the lecturer, presented in a way which is comprehensible and interesting to a broad computer science community. The lectures are in English.
The seminar is organized by the organizational committee consisting of Roman Barták (Charles University, Faculty of Mathematics and Physics), Jaroslav Hlinka (Czech Academy of Sciences, Computer Science Institute), Michal Chytil, Pavel Kordík (CTU in Prague, Faculty of Information Technologies), Michal Koucký (Charles University, Faculty of Mathematics and Physics), Jan Kybic (CTU in Prague, Faculty of Electrical Engineering), Michal Pěchouček (CTU in Prague, Faculty of Electrical Engineering), Jiří Sgall (Charles University, Faculty of Mathematics and Physics), Vojtěch Svátek (University of Economics, Faculty of Informatics and Statistics), Michal Šorel (Czech Academy of Sciences, Institute of Information Theory and Automation), Tomáš Werner (CTU in Prague, Faculty of Electrical Engineering), and Filip Železný (CTU in Prague, Faculty of Electrical Engineering)
The idea to organize this seminar emerged in discussions of the representatives of several research institutes on how to avoid the undesired fragmentation of the Czech computer science community.