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

Author

Matthews, Chris

Author_Institution

Dept. of Inf. Technol., La Trobe Univ., Bendigo, Vic., Australia

Volume

2

fYear

2002

fDate

6/24/1905 12:00:00 AM

Firstpage

1150

Lastpage

1155

Abstract

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

Keywords

expert systems; formal specification; fuzzy logic; specification languages; Z specification; centroid defuzzification function; formal methods; formal specification language Z; fuzzy cartesian product; fuzzy concepts; fuzzy expert system specification; fuzzy inferencing; fuzzy logic toolkit; fuzzy set truncation operators; Calculus; Computer languages; Formal specifications; Fuzzy logic; Fuzzy sets; Fuzzy systems; Hybrid intelligent systems; Software design; Software tools; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on

Conference_Location

Honolulu, HI

Print_ISBN

0-7803-7280-8

Type

conf

DOI

10.1109/FUZZ.2002.1006666

Filename

1006666