The best interval representations of t-norms and automorphisms

被引:58
作者
Callejas Bedregal, Benjamin Rene [1 ]
Takahashi, Adriana [1 ]
机构
[1] Univ Fed Rio de Janeiro, Dept Informat & Appl Math, BR-59072970 Natal, RN, Brazil
关键词
automorphisms; t-norms; interval mathematics; interval representation; correctness and optimality;
D O I
10.1016/j.fss.2006.06.013
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper relates an interval generalization for t-norms given by the authors to the interval generalization of automorphism given by M. Gehrke et al. Both interval extensions can be seen as interval representations and therefore satisfy the correctness principle of interval computations. T-norms and automorphisms can be seen as objects and morphisms, respectively, of a category. Analogously, we will prove that interval t-norms supplied with interval automorphism is also a category, and we provide a functor between these categories that always returns the best interval representation of any t-norm and automorphism, and therefore can be used to deal with optimality of interval fuzzy algorithms. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码:3220 / 3230
页数:11
相关论文
共 38 条
[21]   A survey on different triangular norm-based fuzzy logics [J].
Klement, EP ;
Navara, M .
FUZZY SETS AND SYSTEMS, 1999, 101 (02) :241-251
[22]  
Kulisch U, 1981, COMPUTER ARITHMETIC
[23]  
Lodwick W.A., 2004, PREFACE RELIAB COMPU, V10, P247
[24]   Statistical metrics [J].
Menger, K .
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1942, 28 :535-537
[25]  
Moore R. E., 1963, THESIS STANFORD U ST, DOI 10.5555/904631
[26]  
Moore R.E., 1959, LMSD48421
[27]  
MOORE RE, 1979, STUDIES APPL MATH
[28]   Characterization of measures based on strict triangular norms [J].
Navara, M .
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1999, 236 (02) :370-383
[29]  
SANTIAGO R, 2003, ELECT J MATH COMPUT, V1, P1
[30]   Formal aspects of correctness and optimality of interval computations [J].
Santiago, Regivan H. Nunes ;
Bedregal, Benjamin R. Callejas ;
Acioly, Benedito Melo .
FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) :231-243