Generalized Modus Ponens using Fodor’s Implication and T-norm Product with Threshold


  • Ion Iancu University of Craiova Department of Mathematics and Computer Science 13 A. I. Cuza Street, 200585, Romania E-mail:


t-norm, t-conorm, negation, implication, fuzzy number, generalized modus ponens rule


Using Generalized Modus Ponens reasoning, we examine the values of the inferred conclusion depending on the correspondence between the premise of the rule and the observed fact. The conclusion is obtained using Fodor’s implication in order to represent a fuzzy if-then rule with a single input single output and the tnorm with threshold generated by t-norm product, as a compositional operator. A comparison study with the case when the standard t-norm product is used is made. Some comments and an example are presented in order to show how the obtained results can be used.


T. Allahviranloo, M. Adabitabar Firozja, Note on "Trapezoidal approximation of fuzzy numbers", Fuzzy Sets and Systems 7, 2007, pp. 755-756.

B. Bouchon, Inferences with imprecisions and uncertainties in expert systems, in: A. Kandel (Ed), Fuzzy Expert Systems, Addison-Wesley, New York, 1987.

J. C. Buisson, H. Farreny, H. Prade, Dealing with imprecision and uncertainty in expert system DIABETO III, in: Proc. 2nd Int. Conf. on Artificial Intelligence, Marseille, 1986, pp. 705-721.

J. F. Baldwin, A new approach to approximate reasoning using fuzzy logic. Fuzzy Sets and Systems 2, 1979, pp. 309-325.

E. Czogala, J. Leski, On equivalence of approximate reasoning results using different interpolations of fuzzy if-then rules, Fuzzy Sets and Systems 11, 2001, pp. 279-296.

K. Demirli, I.B. Turksen, Rule break up with compositional rule if inference, IEEE International Conference on Fuzzy Systems, San Diego, 1992, pp. 949-956.

D. Dubois, H. Prade, Operations in a fuzzy-valued logic, Information and Control 43, 1979, pp. 224-240.

D. Dubois, Modeles mathematiques de l'imprecis at de l'incertain en vue d,applications aux techniques d'aide a la decision, These d'Etat, Univ. Scientifique et Medicale, Grenoble, 1983

D. Dubois and H. Prade, Fuzzy logics and the generalized modus ponens revisited, Cybernetics and Systems 15, 1984, pp. 293-331.

J. Fodor, On fuzzy implication operators, Fuzzy Sets and Systems 42, 1991, pp. 293-300

J. Fodor, M. Roubens, Fuzzy Preference Modelling and Multicriteria Decision Support, Kluwer, Dordrecht, 1994

J. Fodor, Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems 69, 1995, pp. 141-156

J. Fodor, B. Bede, Recent Advances in Fuzzy Arithmetics, International Journal of Computers, Communications and Control, Vol. 1, Suppl. 5, 2006, pp. 199-207

S. Fukami, M. Mizumoto, K. Tanaka, Some considerations on fuzzy conditional inference, Fuzzy Sets and Systems 4, 1980, pp. 243-273.

B. R. Gaines, Fundations of fuzzy reasoning, Int. J. Man-Machine Stud. 8, 1976, pp. 623-668.

P. Grzegorzewski, E. Mrowka, Trapezoidal approximations of fuzzy numbers - revisited, Fuzzy Sets and Systems 7, 2007, pp. 757-768.

M. M. Gupta, J. Qi, Theory of T-norms and fuzzy inference methods, Fuzzy Sets and Systems 40, 1991, pp. 431-450

I. Iancu, T-norms with threshold, Fuzzy Sets and Systems. Int. J. of Soft Computing and Intelligence 85 (1997), pp. 83-92

I. Iancu, Propagation of uncertainty and imprecision in knowledge-based systems, Fuzzy Sets and Systems 94, 1998, pp. 29-43.

I. Iancu, On a family of t-operators, Annals of the Univ. of Craiova, Mathematics and Computer Science serie, vol XXVI(1999),pp. 84-92

I. Iancu, Fuzzy connectives with applications in uncertainty management, Proc. of the 3-rd annual meeting of the Romanian Society of Mathematical Sciences, 1999, pp. 40-47

I. Iancu, On a Representation of an Uncertain Body of Evidence, Annals of the Univ. of Craiova, Mathematics and Computer Science serie, vol XXX(2003),pp. 100-108

I. Iancu, Operators with n-thresholds for uncertainty management. J. Appl. Math. & Computing. An Int. Journal, Vol 19(2005), No. 1-2, pp. 1-17, Publisher: Springer Berlin / Heidelberg

A. Giurca, I. Iancu, Approximate reasoning using Fodor's implication, Computational Intelligence, Theory and Applications - Int. Conf. 9th Fuzzy Days in Dortmund, Springer, 2006, pp. 513-520, Berlin.

I. Iancu, Generalized Modus Ponens Using Fodor's Implication and a Parametric T-norm, WSEAS Transaction on Systems 6(vol. 7), 2008, pp. 738-747 .

I. Iancu, Generalized Modus Ponens Reasoning for Rules with Partial Overlapping Between Premise and Observation, European Computing Conference, Malta, September 2008, pp. 37-43

E. H. Mamdani, Application of fuzzy logic to approximate reasoning using linguistic systems, IEEE Trans on Computers 26, 1977, pp. 1182-1191.

M. Mizumoto, H.-J. Zimmerman, Comparison on fuzzy reasoning methods, Fuzzy Sets and Systems 8, 1982, pp. 253-283.

M. Mizumoto, Fuzzy reasoning under new compositional rule of inference, Kybernetics 12, 1985, pp. 107-117.

A. Nafarieh, J. M. Keller, A new approach to inference in approximate reasoning, Fuzzy Sets and Systems 41, 1991, pp. 17-37.

D. Pacholczyk, Introduction d'un seuil dans le calcul de l'incertitude en logique floue, BUSEFAL 32, 1987, pp. 11-18

I. J. Rudas, J. Fodor, Information Aggregation in Intelligent Systems Using Generalized Operators, International Journal of Computers, Communications and Control, Vol. 1, No. 1, 2006, pp. 47-57

Y. Tsukamoto, An approach to fuzzy reasoning method. In: M. M. Gupta, R. K. Ragade and R. R. Yager (Eds.) Advances in Fuzzy Sets Theory and Applications, North-Holland, Amsterdam, 1979, pp. 137-149.

R. R. Yager, An approach to inference in approximate reasoning, Int. J. Man-Machine Stud. 13, 1980, pp. 323-338.

L. A. Zadeh, Fuzzy sets as a basis for a theory of a possibility, Fuzzy Sets and Systems 1, 1978, pp. 2-28.

L. A. Zadeh, A theory of approximate reasoning, Machine Intelligence (Eds: J. E. Hayes, D. Mikie and L. I. Mikulich), John Wiley & Sons, New York, 1979, pp. 149-194.



Most read articles by the same author(s)

Obs.: This plugin requires at least one statistics/report plugin to be enabled. If your statistics plugins provide more than one metric then please also select a main metric on the admin's site settings page and/or on the journal manager's settings pages.