ABSTRACT
A systematic approach should be followed to fi nd out if any of the existing implication methods discussed in Chapter 6 satisfy a given set of intuitive criteria of generalized modus ponens (GMP) and of generalized modus tollens (GMT). MATLAB® with graphics is used to develop a user-interactive package to evaluate implication methods with respect to these criteria. The graphical method of investigation is much quicker and requires less effort from the user compared to the analytical method. Also, the analytical method seeks a diagnosis of the various curves involved in fi nding consequences (i.e., the nature of curves with respect to the variation of fuzzy sets μA(u) and μB(v)) when the intuitive criteria of GMP and GMT are applied to various implication methods.
