Fuzzy inference based on families of α-level sets

A fuzzy-inference method in which fuzzy sets are defined by the families of their α-level sets, based on the resolution identity theorem, is proposed. It has the following advantages over conventional methods: (1) it studies the characteristics of fuzzy inference, in particular the input-output relations of fuzzy inference; (2) it provides fast inference operations and requires less memory capacity; (3) it easily interfaces with two-valued logic; and (4) it effectively matches with systems that include fuzzy-set operations based on the extension principle. Fuzzy sets defined by the families of their α-level sets are compared with those defined by membership functions in terms of processing time and required memory capacity in fuzzy logic operations. The fuzzy inference method is then derived, and important propositions of fuzzy-inference operations are proved. Some examples of inference by the proposed method are presented, and fuzzy-inference characteristics and computational efficiency for α-level-set-based fuzzy inference are considered