A formal specification for a fuzzy expert system

被引:8
|
作者
Matthews, C [1 ]
机构
[1] La Trobe Univ, Sch Business & Technol, Dept Informat Technol, Bendigo, Vic 3552, Australia
关键词
formal specification; fuzzy systems; Z; fuzzy logic toolkit;
D O I
10.1016/S0950-5849(03)00013-2
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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. (C) 2003 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:419 / 429
页数:11
相关论文
共 50 条
  • [1] Fuzzy concepts and formal methods: A sample specification for a fuzzy expert system
    Matthews, C
    [J]. PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOL 1 & 2, 2002, : 1150 - 1155
  • [2] 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
  • [3] Formal specification of system functions
    Spanfelner, Bernd
    Leuxner, Christian
    Sitou, Wassiou
    [J]. 2009 ICSE WORKSHOP ON MODELING IN SOFTWARE ENGINEERING (MISE), 2009, : 26 - 31
  • [4] KNOWLEDGE SPECIFICATION OF AN EXPERT SYSTEM
    SLAGLE, JR
    GARDINER, DA
    HAN, K
    [J]. IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1990, 5 (04): : 29 - 38
  • [5] FUZZY SEMANTIC ANALYSIS AND FORMAL SPECIFICATION OF CONCEPTUAL KNOWLEDGE
    TAMIR, DE
    KANDEL, A
    [J]. INFORMATION SCIENCES, 1995, 82 (3-4) : 181 - 196
  • [6] Towards a formal framework for the specification of hybrid fuzzy modeling
    Valdés, M
    Botía, JA
    Gómez-Skarmeta, AF
    [J]. PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1 AND 2, 2003, : 1014 - 1019
  • [7] Formal Specification of a Cardiac Pacing System
    Gomes, Artur Oliveira
    Medeiros Oliveira, Marcel Vinicius
    [J]. FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 692 - 707
  • [8] JUSTIFICATION OF FORMAL METHODS FOR SYSTEM SPECIFICATION
    COHEN, B
    [J]. SOFTWARE ENGINEERING JOURNAL, 1989, 4 (01): : 26 - 35
  • [9] A formal specification in B of an operating system
    School of Software, Henan University, Kaifeng
    Henan
    475004, China
    不详
    Henan
    475004, China
    不详
    Henan
    475004, China
    [J]. Open. Cybern. Syst. J., 1 (1125-1129):
  • [10] A FUZZY EXPERT SYSTEM
    BUCKLEY, JJ
    SILER, W
    TUCKER, D
    [J]. FUZZY SETS AND SYSTEMS, 1986, 20 (01) : 1 - 16