数理模糊逻辑系列讲座

主讲人: 
Carles Noguera;Libor Behounek;Petr Cintula;王三民
活动时间: 
星期六, 十二月 2, 2017 - 14:00 to 18:00
活动地址: 
锡昌堂322室

Carles Noguera: Mathematical Fuzzy Logic 1 - A logical framework for graded reasoning

In this talk we introduce the general notion of graded predicates, distinguish several kinds of such predicates, and present mathematical fuzzy logic as a formal tool to deal with reasoning in their presence.

Carles Noguera,捷克科学院计算研究所高级研究员,理学博士,捷克数学家、逻辑学家、计算机科学家,模糊逻辑专家。

 

Libor Behounek: Mathematical Fuzzy Logic 2 - First-order fuzzy logic

The talk will present the apparatus of first-order fuzzy logic and its main metamathematical properties. Its stregth will be illustrated on two first-order theories of fuzzy sets: Hajek-Hanikova ZFC-style theory and Cantor-Lukasiewicz theory based on naive comprehension.

Libor Behounek,捷克俄斯特拉发大学教授,捷克科学院计算研究所理学博士,捷克数学家,逻辑学家,计算机科学家、模糊逻辑专家。

 

Petr Cintula: Mathematical Fuzzy Logic 3 - Foundations of fuzzy mathematics

We will present Fuzzy Class Theory, a foundational theory built over suitable fuzzy logic, which provides logical basis for the study of mathematics of fuzzy sets. We will illustrate the power of the theory with two particular examples from the theory of fuzzy relations: description of fuzzy partitions and Valerde representation theorem.
Petr Cintula,捷克科学院计算研究所高级研究员,捷克科学院计算研究所理学博士,捷克数学家、逻辑学家,计算机科学家,模糊逻辑专家。

 

San Ming Wang:Mathematical Fuzzy Logic 4-The logic of pseudo-uninorms and their residua

Our method for density elimination is generalized to the non-commutative substructural logic GpsUL∗. Then the standard completeness of HpsUL∗ follows as a lemma by virtue of previous work by Metcalfe and Montagna. This result shows that HpsUL is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.

王三民,浙江理工大学理学院教授,西安电子科技大学计算机科学博士,浙江理工大学理学院教授,多值逻辑和模糊逻辑专家