Unified full implication algorithms of fuzzy reasoning

被引:78
作者
Pei, Daowu [1 ,2 ]
机构
[1] Zhejiang Sci Tech Univ, Fac Sci, Hangzhou 310018, Peoples R China
[2] Zhejiang Sci Tech Univ, Key Lab Adv Text Mat & Mfg Technol, Minist Educ, Hangzhou 310018, Peoples R China
关键词
fuzzy logic; fuzzy reasoning; compositional rules of inference; full implication inference; residuated implication;
D O I
10.1016/j.ins.2007.09.003
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 [计算机科学与技术];
摘要
This paper discusses the full implication inference of fuzzy reasoning. For all residuated implications induced by continuous t-norms, unified alpha-triple I algorithms are constructed to generalize the known results. As the corollaries the main results of this paper, some special algorithms can be easily derived based on four important residuated tions. These algorithms would be beneficial to applications of fuzzy reasoning. Based on properties of residuated tions, the proofs of the many conclusions are greatly simplified. (c) 2007 Elsevier Inc. All rights reserved.
引用
收藏
页码:520 / 530
页数:11
相关论文
共 23 条
[1]
DAOWU P, 2004, J MATH RES EXPOSITIO, V24, P359
[2]
DAOWU P, 2001, FUZZY SYSTEMS MATH, V15, P1
[3]
FUZZY-SETS IN APPROXIMATE REASONING .1. INFERENCE WITH POSSIBILITY DISTRIBUTIONS [J].
DUBOIS, D ;
PRADE, H .
FUZZY SETS AND SYSTEMS, 1991, 40 (01) :143-202
[4]
Monoidal t-norm based logic: towards a logic for left-continuous t-norms [J].
Esteva, F ;
Godo, L .
FUZZY SETS AND SYSTEMS, 2001, 124 (03) :271-288
[5]
CONTRAPOSITIVE SYMMETRY OF FUZZY IMPLICATIONS [J].
FODOR, JC .
FUZZY SETS AND SYSTEMS, 1995, 69 (02) :141-156
[6]
Gottwald S., 2001, TREATISE MANY VALUED
[7]
GUOJUN W, 1997, CHINESE SCI BULL, V42, P1041
[8]
GUOJUN W, 2000, NONCLASSICAL MATH LO
[9]
Unified forms of fully implicational restriction methods for fuzzy reasoning [J].
Liu, Hua-Wen ;
Wang, Guo-Jun .
INFORMATION SCIENCES, 2007, 177 (03) :956-966
[10]
On the strict logic foundation of fuzzy reasoning [J].
Pei, DW .
SOFT COMPUTING, 2004, 8 (08) :539-545