On the law of importation (x Λ y) → z Ξ (x → (y → z)) in fuzzy logic

IEEE Transactions on Fuzzy Systems

Volumn 16, Issue 1, 2008, Pages 130-144

  Jayaram, Balasubramaniam ^a  

^a SRI SATHYA SAI INSTITUTE OF HIGHER LEARNING   (India)

Author keywords

Approximate reasoning; Compositional rule of inference; Fuzzy implications; Fuzzy inference; Law of importation; Rule reduction

Indexed keywords

APPROXIMATION THEORY; FUZZY INFERENCE; FUZZY RULES;

APPROXIMATE REASONING; COMPOSITIONAL RULE OF INFERENCE; FUZZY IMPLICATIONS;

FUZZY LOGIC;

EID: 40549118876     PISSN: 10636706     EISSN: None     Source Type: Journal    
DOI: 10.1109/TFUZZ.2007.895969     Document Type: Article

References (57)

1. M. Baczyński, "On a class of distributive fuzzy implications," Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 9, no. 2, pp. 229-238, 2001.
2. M. Baczyński, "Residual implications revisited: Notes on the Smets-Magrez theorem," Fuzzy Sets Syst., vol. 145, pp. 267-277, 2004.
3. M. Baczyński and B. Jayaram, "On some properties of the new class of Yager's fuzzy implications," in Proc. FSTA 2006 8th Int. Conf. Fuzzy Set Theory Applicat., Liptovský Ján, Slovak Republic, Feb. 2006, pp. 20-21.
4. M. Baczyński and B. Jayaram, "On the characterisations of (S. N -implications from continuous negations," in Proc. IPMU 2006 11th Int. Conf. Inf. Process. Manag. Uncertain. Knowl.-Based Syst., Paris, France, Jul. 2006, pp. 436-443.
5. B. D. Baets, "Idempotent uninorms," Eur. J. Ope. Res., vol. 118, pp. 631-642, 1999.
6. J. Balasubramaniam, "Contrapositive symmetrization of fuzzy implications - Revisited," Fuzzy Sets Syst., vol. 157, pp. 2291-2310, 2006.
7. f and some classical tautologies," Inf. Sci., vol. 177, pp. 930-946, 2007.
8. J. Balasubramaniam and C. J. M. Rao, Nikos and E. Mastorakis, Eds., "A lossless rule reduction technique for a class of fuzzy systems," in Proc. 3rd WSEAS Int. Conf. Fuzzy Sets Fuzzy Systeins - Recent Adv. Simul., Comput. Meth. Soft Comput., Interlaken, Switzerland, Feb. 2002, pp. 228-233.
9. J. Balasubramaniam and C. J. M. Rao, "R-implication operators and rule reduction in Mamdani-type fuzzy systems," in Proc. Joint Conf. Inf. Sci., H. J. Caulfield, S.-H. Chen, H.-D. Cheng, R. J. Duro, V. Honavar, E. E. Kerre, M. Lu, M. G. Romay, T. K. Shih, D. Ventura, P. P. Wang, and Y. Yang, Eds. -, "R-implication operators and rule reduction in Mamdani-type fuzzy systems," Proc. Assoc. Intell. Mach. Joint Conf. Inf. Sci., pp. 82-84, 2002.
10. J. Balasubramaniam and C. J. M. Rao, "On the distributivity of implication operators over T and S norms," IEEE Trans. Fuzzy Syst. vol. 12, pp. 194-198, 2004.
11. B. Bouchon-Meunier and V. Kreinovich, Axiomatic description of implication leads to a classical formula with logical modifiers: In particular, Mamdani's choice of "AND" as implication is not so weird after all Comput. Sci. Dept., Univ. of Texas at El Paso, Tech. Rep. UTEP-CS-96-23, 1996.
12. B. Bouchon-Meunier, R. Mesiar, C. Marsala, and M. Rifqi, "Compositional rule of inference as an analogical scheme," Fuzzy Sets Syst., vol. 138, no. 1, pp. 53-65, 2003.
13. W. Combs, "Author's reply," IEEE Trans. Fuzzy Syst., vol. 7, p. 371, 1999.
14. W. Combs, "Author's reply," IEEE Trans. Fuzzy Syst., vol. 7, pp. 478-479, 1999.
15. W. Combs and J. Andrews, "Combinatorial rule explosion eliminated by a fuzzy rule configuration," IEEE Trans. Fuzzy Syst., vol. 6, pp. 1-11, 1998.
16. C. Cornelis, M. D. Cock, and E. Kerre, Efficient Approximate Reasoning with Positive and Negative Information. Heidelberg, Germany: Springer-Verlag, 2004, vol. 3214, KES 2004, LNAI, pp. 779-785.
17. K. Demirli and I. B. Turksen, "Rule break up with compositional rule of inference," in Proc. FUZZ-1EEE'92, San Diego, 1992, pp. 949-956.
18. S. Dick and A. Kandel, "Comments on 'Combinatorial rule explosion eliminated by a fuzzy rule configuration'," IEEE Trans. Fuzzy Syst. vol. 7, pp. 478-479, 1999.
19. D. Driankov, H. Hellendoorn, and M. Reinfrank, An Introduction to Fuzzy Control. Berlin, Germany: Springer-Verlag, 1993.
20. J. Fodor, "Contrapositive symmetry of fuzzy implications," Fuzzy Sets Syst., vol. 69, pp. 141-156, 1995.
21. J. Fodor and M. Roubens, Fuzzy Preference Modeling and Multicriteria Decision Support. Dordrecht: Kluwer, 1994.
22. J. Fodor, R. Yager, and A. Rybalov, "Structure of uninorms," Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 5, no. 4, pp. 411-427, 1997.
23. R. Fullér, Fuzzy Reasoning and Fuzzy Optimization. Turku, Finland: TUCS, 1998.
24. R. Fullér and B. Werners, B. Riecan and M. Duchon, Eds., "The compositional rule of inference with several relations," in Proc. Int. Conf. Fuzzy Sets Applicat., Liptovsky Mikulas, Czechoslovakia, Feb. 1992, pp. 39-44.
25. R. Fullér and H.-J. Zimmermann, "On computation of the compositional rule of inference under triangular norms," Fuzzy Sets Syst., vol. 51, pp. 267-275, 1992.
26. M. Golob, "Decomposition of a fuzzy controller based on the inference break-up method," Intell. Data Anal., vol. 3, no. 2, pp. 127-137, 1999.
27. S. Gottwald, A Treatise on Many-Valued Logics. New York: Taylor & Francis, 2001.
28. C. Igel and K. Temme, "The chaining syllogism in fuzzy logic," IEEE Trans. Fuzzy Syst., vol. 12, pp. 849-853, 2004.
29. E. P. Klement, R. Mesiar, and E. Pap, Triangular Norms. Dordrecht, The Netherlands: Kluwer, 2000.
30. J. Martin, G. Mayor, and J. Torrens, "On locally internal monotonic operators," Fuzzy Sets Syst., vol. 137, pp. 27-42, 2003.
31. M. Mas, G. Mayor, and J. Torrens, "t-operators," Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 7, no. 1, pp. 31-50, 1999.
32. M. Mas, M. Monserrat, and J. Torrens, "On left and right uninorms," Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 9, pp. 491-508, 2001.
33. M. Mas, M. Monserrat, and J. Torrens, "QL versus D-implications," Kybernetika, vol. 42, no. 3, pp. 351-366, 2006.
34. J. M. Mendel and Q. Liang, "Comments on "combinatorial rule explosion eliminated by a fuzzy rule configuration"," IEEE Trans. Fuzzy Syst. vol. 7, pp. 369-371, 1999.
35. B. Moser and M. Navara, "Conditionally firing rules extend the possibilities of fuzzy controllers," in Proc. CIMCA '99, Amsterdam, The Netherlands, 1999, pp. 242-245.
36. B. Moser and M. Navara, "Which triangular norms are convenient for fuzzy controllers?," in Proc. EUSFLAT-ESTYLF Joint Conf. '99, Palma, Mallorca, Spain, 1999, pp. 75-78.
37. B. Moser and M. Navara, "Fuzzy controllers with conditionally firing rules," IEEE Trans. Fuzzy Syst., vol. 10, pp. 340-348, 2002.
38. J. Pavelka, "On fuzzy logic II," Zeitschr.f. Math. Logik und Grundlagen d. Math, vol. 25, pp. 119-134, 1979.
39. W. Pedrycz, Fuzzy control and fuzzy systems Dept. of Math., Delft Univ. of Technology, 1982, Tech. Rep. 82-14.
40. W. Pedrycz, "On generalised fuzzy relational equations and their applications," J. Math. Anal. Appl., vol. 107, pp. 520-536, 1985.
41. D. Ruan and E. E. Kerre, "On the extension of the compositional rule of inference," Int. J. Intell. Syst., vol. 8, pp. 807-817, 1993.
42. D. Ruiz and J. Torrens, "Distributive idempotent uninorms," Int. J. Uncertain., Fuzz. Knowl.-Based Syst., vol. 11, no. 4, pp. 413-428, 2003.
43. D. Ruiz and J. Torrens, "Distributive strong implications from uninorms," in Proc. AGOP-2005, 2005, pp. 103-108.
44. B. Schweizer and A. Sklar, Probabilistic Metric Spaces. New York: North-Holland, 1983.
45. B. A. Sokhansanj, G. H. Rodrigue, and J. P. Fitch, "Applying URC fuzzy logic to model complex biological systems in the language of biologists," in Proc. 2nd Int. Conf. Systems Biology (ICSB 2001 , Pasadena, CA, Nov. 2001.
46. V. Torra, "A review of the construction of hierarchical fuzzy systems," Int. J. Intell. Syst., vol. 17, no. 5, pp. 531-543, 2002.
47. E. Trillas, "Sobre funciones de negación en la teoría de conjuntos difusos," Stochastica, vol. 3, pp. 47-84, 1979.
48. E. Trillas and C. Alsina, "On the law p A q → r ≡ p → q V (p → r in fuzzy logic," IEEE Trans. Fuzzy Syst., vol. 10, pp. 84-88, 2002.
49. E. Trillas, C. del Campo, and S. Cubillo, "When QM-operators are implication functions and conditional fuzzy relations," Int. J. Intell. Syst., vol. 15, pp. 647-655, 2000.
50. E. Trillas and L. Valverde, "On implication and indistinguishability in the setting of fuzzy logic," in Management Decision Support Systems Using Fuzzy Sets and Possibility Theory. Rhineland, Germany: Verlag TÜV, 1985, pp. 198-212.
51. I. Türksen, V. Krenovich, and R. Yager, "A new class of fuzzy implications. Axioms of fuzzy implication revisited," Fuzzy Sets Syst., vol. 100, pp. 267-272, 1998.
52. W. Wangming, "Fuzzy reasoning and fuzzy relational equations," Fuzzy Sets Syst., vol. 20, no. 1, pp. 1-129, 1986.
53. J. Weinschenk, W. Combs, and R. J. Marks, II, "Avoidance of rule explosion by mapping fuzzy sytems to a union rule configuration," in Proc. FUZZ-IEEE'03, St. Louis, MO, May 2003, pp. 43-48.
54. R. Yager, "On some new classes of implication operators and their role in approximate reasoning," Inf. Sci., vol. 163, pp. 193-216, 2004.
55. R. Yager and A. Rybalov, "Uninorm aggregation operators," Fuzzy Sets Syst., vol. 80, pp. 111-120, 1996.
56. M. Ying, "Reasonableness of the compositional rule of fuzzy inference," Fuzzy Sets Syst., vol. 36, no. 2, pp. 305-310, 1990.
57. L. A. Zadeh, "Outline of a new approach to the analysis of complex systems and decision processes," IEEE Trans. Syst., Man, Cybern., vol. 3, pp. 28-44, 1973.