Fuzzy logic models in a category of fuzzy relations

被引:3
|
作者
Mockor, Jiri [1 ]
机构
[1] Univ Ostrava, Inst Res & Applicat Fuzzy Modeling, Ostrava 70103 1, Czech Republic
关键词
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.
引用
收藏
页码:591 / 596
页数:6
相关论文
共 50 条