Title :
Fuzzy concepts and formal methods: a sample specification for a fuzzy expert system
Author_Institution :
Dept. of Inf. Technol., La Trobe Univ., Bendigo, Vic., Australia
fDate :
6/24/1905 12:00:00 AM
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;
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
DOI :
10.1109/FUZZ.2002.1006666
