A fuzzy inference system (FIS) is an effective prediction method based on fuzzy logic. The performance of this model may vary depending on the defuzzification process. In the Mamdani-type FIS model, the defuzzification process is applied to the fuzzy output of the system only once at the last stage. In the FIS with rule-based defuzzification (FIS-RBD) model, the defuzzification process is applied to the fuzzy consequent part of each rule and the overall result of the system is calculated as the...

Computing the image of a regular language by the transitive closure of a relation is a central question in regular model checking. In a recent paper Bouajjani et al. [IEEE Comput. Soc. (2001) 399–408] proved that the class of regular languages $L$ – called APC – of the form ${\cup }_j$$L_{0...}$

Computing the image of a regular language by the transitive closure of a relation is a central question in regular model checking. In a recent paper Bouajjani et al. [IEEE Comput. Soc. (2001) 399–408] proved that the class of regular languages L – called APC – of the form UjL0,jL1,jL2,j...Lkj,j, where the union is finite and each Li,j is either a single symbol or a language of the form B* with B a subset of the alphabet, is closed under all semi-commutation relations R. Moreover a recursive...