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 条
  • [1] Fuzzy logic models in a category of fuzzy relations
    Jiří Močkoř
    [J]. Soft Computing, 2009, 13 : 591 - 596
  • [2] Models of fuzzy logic in a category of sets with similarity relations
    Mockor, Jiri
    [J]. INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2008, 4 (05): : 1063 - 1068
  • [3] Fuzzy logic models in a category of sets with similarities
    Mockor, Jiri
    [J]. COMPUTATIONAL INTELLIGENCE IN DECISION AND CONTROL, 2008, 1 : 163 - 168
  • [4] Characteristic morphisms and models of fuzzy logic in a category of sets with similarities
    Mockor, Jiri
    [J]. THEORETICAL ADVANCES AND APPLICATIONS OF FUZZY LOGIC AND SOFT COMPUTING, 2007, 42 : 832 - 840
  • [5] On a category of fuzzy automata with relations
    Tiwari, S. P.
    Gautam, Vinay
    [J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 30 (06) : 3301 - 3309
  • [6] ON THE CATEGORY OF FUZZY TOLERANCE RELATIONS AND RELATED TOPICS
    Neacsu, Adrian Gabriel
    [J]. UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN-SERIES A-APPLIED MATHEMATICS AND PHYSICS, 2022, 84 (04): : 109 - 122
  • [7] ON THE CATEGORY OF FUZZY TOLERANCE RELATIONS AND RELATED TOPICS
    Neacsu, Adrian Gabriel
    [J]. UPB Scientific Bulletin, Series A: Applied Mathematics and Physics, 2022, 84 (04): : 109 - 122
  • [8] ON THE CATEGORY OF FUZZY TOLERANCE RELATIONS AND RELATED TOPICS
    Neacsu, Adrian Gabriel
    [J]. UPB Scientific Bulletin, Series C: Electrical Engineering and Computer Science, 2022, 84 (04): : 109 - 122
  • [9] Verification of fuzzy UML models with fuzzy Description Logic
    Zhang, Fu
    Cheng, Jingwei
    [J]. APPLIED SOFT COMPUTING, 2018, 73 : 134 - 152
  • [10] On models in fuzzy propositional logic
    Mattila, Jorma K.
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 3, PROCEEDINGS, 2006, 4253 : 358 - 365