Fuzzy concepts and formal methods: A sample specification for a fuzzy expert system

被引:0
|
作者
Matthews, C [1 ]
机构
[1] La Trobe Univ, Sch Business & Technol, Dept Informat Technol, Bendigo, Vic 3552, Australia
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A fuzzy logic toolkit has been developed for the formal specification language Z. It permits the incorporation of fuzzy concepts into the language while retaining the precision of any Z specification. The toolkit provides the necessary operators, measures and modifiers for the definition and manipulation of fuzzy sets and relations. This paper illustrates how the toolkit can be used to specify a simple fuzzy expert system. The focus is on the specification of the rule base and the operations necessary for fuzzy inferencing. In particular the example illustrates the use of the fuzzy cartesian product and fuzzy set truncation operators and offers a generic definition for a centroid defuzzification function.
引用
收藏
页码:1150 / 1155
页数:6
相关论文
共 50 条
  • [1] A formal specification for a fuzzy expert system
    Matthews, C
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (07) : 419 - 429
  • [2] Fuzzy concepts and formal methods: Some illustrative examples
    Matthews, C
    Swatman, PA
    [J]. SEVENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2000, : 230 - 238
  • [3] FUZZY CONCEPTS IN EXPERT SYSTEMS
    LEUNG, KS
    LAM, W
    [J]. COMPUTER, 1988, 21 (09) : 43 - 56
  • [4] FUZZY CONCEPTS IN AN OBJECT ORIENTED EXPERT SYSTEM SHELL
    LEUNG, KS
    WONG, MH
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1992, 7 (02) : 171 - 192
  • [5] Using Fuzzy Formal Concepts in the Genetic Generation of Fuzzy Systems
    Cntra, Marcos E.
    Monard, Maria C.
    Camargo, Heloisa A.
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2012,
  • [6] Fuzzy closure structures as formal concepts
    Ojeda-Hernandez, Manuel
    Cabrera, Inma P.
    Cordero, Pablo
    Munoz-Velasco, Emilio
    [J]. FUZZY SETS AND SYSTEMS, 2023, 463
  • [7] FUZZY SPECIFICATION IN DATA CAPTURE AND KNOWLEDGE REPRESENTATION FOR AN EXPERT SYSTEM IN ONCOLOGY
    MIRA, J
    YANEZ, A
    BARREIRO, A
    DELGADO, AE
    COUSELO, JM
    [J]. FUZZY SETS AND SYSTEMS, 1991, 44 (03) : 431 - 448
  • [8] A FUZZY EXPERT SYSTEM
    BUCKLEY, JJ
    SILER, W
    TUCKER, D
    [J]. FUZZY SETS AND SYSTEMS, 1986, 20 (01) : 1 - 16
  • [9] Design and implementation of the fuzzy expert system in Monte Carlo methods for fuzzy linear regression
    Icen, Duygu
    Gunay, Suleyman
    [J]. APPLIED SOFT COMPUTING, 2019, 77 : 399 - 411
  • [10] Fuzzy anesthetic control with fuzzy expert system
    Tseng, HC
    Liau, W
    Lee, JY
    Tan, PC
    [J]. ICEMI '97 - CONFERENCE PROCEEDINGS: THIRD INTERNATIONAL CONFERENCE ON ELECTRONIC MEASUREMENT & INSTRUMENTS, 1997, : 694 - 697