Sets with similarities;
MV-algebras;
Category of fuzzy relations;
Fuzzy logic;
Models of fuzzy logic;
D O I:
10.1007/s00500-008-0336-6
中图分类号:
TP18 [人工智能理论];
学科分类号:
081104 ;
0812 ;
0835 ;
1405 ;
摘要:
We investigate interpretations parallel to psi parallel to epsilon of formulas psi in a first order fuzzy logic in models epsilon which are based on objects of a category SetR(Omega) which consists of Omega-sets, i.e. sets with similarity relations with values in a complete MV-algebra Omega and with morphisms defined as special fuzzy relations between Omega-sets. The interpretations parallel to psi parallel to epsilon are then morphisms in a category SetR(Omega) from some Omega-set to the object (Omega, <->). We define homomorphisms between models in a category SetR(Omega) and we prove that if phi : epsilon(1) -> epsilon(2) is a (special) homomorphism of models in a category SetR(Omega) then there is a relation between interpretations parallel to psi parallel to epsilon(i) of a formula psi in models epsilon i.
机构:
Inst. for Res./Appl. Fuzzy Modeling, University of Ostrava, 701 03 OstravaInst. for Res./Appl. Fuzzy Modeling, University of Ostrava, 701 03 Ostrava
机构:
Institute of Informatics and Automation Problems, Armenian Academy of Sciences, YerevanInstitute of Informatics and Automation Problems, Armenian Academy of Sciences, Yerevan