Simplification and independence of axioms of fuzzy logic systems IMTL and NM

被引：10
|
作者：
Pei, DW [1 ]
机构：
[1] Xi An Jiao Tong Univ, Ctr Sci Res, Xian 710049, Peoples R China
[2] Yancheng Teachers Coll, Dept Math, Yancheng 224002, Peoples R China
来源：
FUZZY SETS AND SYSTEMS | 2005年 / 152卷 / 02期
关键词：
fuzzy logic; involutive monoidal t-norm-based logic; nilpotent minimum logic; simplification; independence;
D O I：
10.1016/j.fss.2004.12.002
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Monoidal t-norm-based logic MTL is the common formalization of all fuzzy logic of left continuous t-norms and their residua. This system has two important schematic extensions: involutive monoidal t-norm-based logic IMTL and nilpotent minimum logic NM. In this paper, we discuss simplification and independence of axioms of IMTL and NM, the shorter axioms of both logics, and an independent axioms of the system IMTL are given. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：303 / 320
页数：18
相关论文
共 50 条
  • [21] QFD: focusing on its simplification and easy computerization using fuzzy logic principles
    Kalargeros, N
    Gao, JX
    INTERNATIONAL JOURNAL OF VEHICLE DESIGN, 1998, 19 (03) : 315 - 325
  • [22] Computational complexity of general fuzzy logic control and its simplification for a loop controller
    Kim, YH
    Ahn, SC
    Kwon, WH
    FUZZY SETS AND SYSTEMS, 2000, 111 (02) : 215 - 224
  • [23] Fuzzy identification of systems based on AFS fuzzy logic
    Liu, Xiaodong
    Zhang, Qingling
    Tong, Shaocheng
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2005, 12 : 90 - 102
  • [24] Structure Independence of Supervisor Simplification in Automated Manufacturing Systems using Petri Nets
    Chen, Chen
    Hu, Hesuan
    2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 2329 - 2336
  • [25] Model Reduction of Fuzzy Logic Systems
    Yu, Zhandong
    Yu, Jinyong
    Karimi, Hamid Reza
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2014, 2014
  • [26] FUZZY-LOGIC SYSTEMS FOUNDATIONS
    LLAURADO, JG
    INTERNATIONAL JOURNAL OF BIO-MEDICAL COMPUTING, 1993, 33 (02): : 87 - 90
  • [27] Interpolation representations of fuzzy logic systems
    Li, HX
    Lee, ES
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2003, 45 (10-11) : 1683 - 1693
  • [28] Fuzzy logic methods in recommender systems
    Yager, RR
    FUZZY SETS AND SYSTEMS, 2003, 136 (02) : 133 - 149
  • [29] Fuzzy normal proposition logic systems
    Qi, ZK
    PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 1630 - 1633
  • [30] Fuzzy Logic for Biological and Agricultural Systems
    Brian Center
    Brahm P. Verma*
    Artificial Intelligence Review, 1998, 12 : 213 - 225
12345