On the strict logic foundation of fuzzy reasoning |
| |
| Authors: | Email author" target="_blank">D W?PeiEmail author |
| |
| Affiliation: | (1) Department of Mathematics, Yancheng Teachers College, Yancheng, 224002, China;(2) Present address: Research Center for Science, Xi an Jiaotong University, Xian, 710049, China |
| |
| Abstract: | This paper focuses on the logic foundation of fuzzy reasoning. At first, a new complete first-order fuzzy predicate calculus system K* corresponding to the formal system L* is built. Based on the many-sort system Kms* corresponding to K*, the triple I methods of FMP and FMT for fuzzy reasoning and their consistency are formalized, thus fuzzy reasoning is put completely and rigorously into the logic framework of fuzzy logic.The author is indebted to anonymous referee for his useful comments which have helped to improve the paper. |
| |
| Keywords: | Fuzzy predicate logic Fuzzy reasoning First-order system K* Many-sort system Kms* Triple I inference method |
| 本文献已被 SpringerLink 等数据库收录！ |
|
