Cornelis, Chris; Deschrijver, Glad; Kerre, Etienne E. Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application. (English) Zbl 1075.68089 Int. J. Approx. Reasoning 35, No. 1, 55-95 (2004). Summary: With the demand for knowledge-handling systems capable of dealing with and distinguishing between various facets of imprecision ever increasing, a clear and formal characterization of the mathematical models implementing such services is quintessential. In this paper, this task is undertaken simultaneously for the definition of implication within two settings: first, within intuitionistic fuzzy set theory and secondly, within interval-valued fuzzy set theory. By tracing these models back to the underlying lattice that they are defined on, on one hand we keep up with an important tradition of using algebraic structures for developing logical calculi (e.g. residuated lattices and MV algebras), and on the other hand we are able to expose in a clear manner the two models formal equivalence. This equivalence, all too often neglected in literature, we exploit to construct operators extending the notions of classical and fuzzy implication on these structures; to initiate a meaningful classification framework for the resulting operators, based on logical and extra-logical criteria imposed on them; and finally, to re(de)fine the intuititive ideas giving rise to both approaches as models of imprecision and apply them in a practical context. Cited in 105 Documents MSC: 68T37 Reasoning under uncertainty in the context of artificial intelligence 68T30 Knowledge representation 03B52 Fuzzy logic; logic of vagueness 03E72 Theory of fuzzy sets, etc. Keywords:knowledge-handling systems PDFBibTeX XMLCite \textit{C. Cornelis} et al., Int. J. Approx. Reasoning 35, No. 1, 55--95 (2004; Zbl 1075.68089) Full Text: DOI References: [1] K.T. Atanassov, Intuitionistic fuzzy sets, VII ITKR’s Session, Sofia deposed in Central Sci.-Technical Library of Bulg. Acad. of Sci., 1697/84, 1983 (in Bulgarian); K.T. Atanassov, Intuitionistic fuzzy sets, VII ITKR’s Session, Sofia deposed in Central Sci.-Technical Library of Bulg. Acad. of Sci., 1697/84, 1983 (in Bulgarian) [2] Atanassov, K. T.; Gargov, G., Interval-valued intuitionistic fuzzy sets, Fuzzy Sets and Systems, 31, 3, 343-349 (1989) · Zbl 0674.03017 [3] Atanassov, K. T.; Gargov, G., Elements of intuitionistic fuzzy logic. Part I, Fuzzy Sets and Systems, 95, 1, 39-52 (1998) · Zbl 0923.03033 [4] Atanassov, K. T., Intuitionistic Fuzzy Sets (1999), Physica-Verlag: Physica-Verlag Heidelberg, New York · Zbl 0939.03057 [5] Atanassov, K. T., Remarks on the conjunctions, disjunctions and implications of the intuitionistic fuzzy logic, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 9, 1, 55-67 (2001) · Zbl 1113.03312 [6] Bustince, H., Indicator of inclusion grade for interval-valued fuzzy sets. Application to approximate reasoning based on interval-valued fuzzy sets, International Journal of Approximate Reasoning, 23, 137-209 (2000) · Zbl 1046.68646 [7] Bustince, H.; Burillo, P., Mathematical analysis of interval-valued fuzzy relations: application to approximate reasoning, Fuzzy Sets and Systems, 113, 2, 205-219 (2000) · Zbl 0948.03050 [8] H. Bustince, P. Burillo, V. Mohedano, About intuitionistic fuzzy implicators, in: H.J. Caulfield, S. Chen, H. Chen, R. Duro, V. Honavar, E.E. Kerre, M. Lu, M.G. Romay, T.K. Shih, D. Ventura, P.P. Wang, Y. Yang (Eds.), Proceedings of 6th Joint Conference on Information Sciences, 2002, pp. 109-112; H. Bustince, P. Burillo, V. Mohedano, About intuitionistic fuzzy implicators, in: H.J. Caulfield, S. Chen, H. Chen, R. Duro, V. Honavar, E.E. Kerre, M. Lu, M.G. Romay, T.K. Shih, D. Ventura, P.P. Wang, Y. Yang (Eds.), Proceedings of 6th Joint Conference on Information Sciences, 2002, pp. 109-112 [9] Chang, C. C., Algebraic analysis of many valued logics, Transactions of AMS, 93, 74-80 (1958) · Zbl 0084.00704 [10] Chen, S. M.; Hsiao, W. H., Bidirectional approximate reasoning for rule-based systems using interval-valued fuzzy sets, Fuzzy Sets and Systems, 113, 2, 185-203 (2000) · Zbl 0952.68140 [11] Chen, Q.; Kawase, S., On fuzzy-valued fuzzy reasoning, Fuzzy Sets and Systems, 113, 2, 237-251 (2000) · Zbl 0951.68156 [12] C. Cornelis, K.T. Atanassov, E.E. Kerre, Intuitionistic fuzzy sets and interval-valued fuzzy sets: a critical comparison, Proceedings of EUSFLAT 2003, in press; C. Cornelis, K.T. Atanassov, E.E. Kerre, Intuitionistic fuzzy sets and interval-valued fuzzy sets: a critical comparison, Proceedings of EUSFLAT 2003, in press [13] Cornelis, C.; Deschrijver, G., The compositional rule of inference in an intuitionistic fuzzy logic framework, (Striegnitz, K., Proceedings of Student Session (2001), Kluwer Academic Publishers), 83-94 [14] C. Cornelis, G. Deschrijver, M. De Cock, E.E. Kerre, Intuitionistic fuzzy relational calculus: an overview, in: Proceedings of First International IEEE Symposium Intelligent Systems, 2002, pp. 340-345; C. Cornelis, G. Deschrijver, M. De Cock, E.E. Kerre, Intuitionistic fuzzy relational calculus: an overview, in: Proceedings of First International IEEE Symposium Intelligent Systems, 2002, pp. 340-345 [15] C. Cornelis, G. Deschrijver, E.E. Kerre, Classification of Intuitionistic Fuzzy Implicators: an Algebraic Approach, in: H.J. Caulfield, S. Chen, H. Chen, R. Duro, V. Honavar, E.E. Kerre, M. Lu, M.G. Romay, T.K. Shih, D. Ventura, P.P. Wang, Y. Yang (Eds.), Proceedings of 6th Joint Conference on Information Sciences 2002, pp. 105-108; C. Cornelis, G. Deschrijver, E.E. Kerre, Classification of Intuitionistic Fuzzy Implicators: an Algebraic Approach, in: H.J. Caulfield, S. Chen, H. Chen, R. Duro, V. Honavar, E.E. Kerre, M. Lu, M.G. Romay, T.K. Shih, D. Ventura, P.P. Wang, Y. Yang (Eds.), Proceedings of 6th Joint Conference on Information Sciences 2002, pp. 105-108 [16] C. Cornelis, M. De Cock, E.E. Kerre, The generalized modus ponens in a fuzzy set theoretical framework, in: D. Ruan, E.E. Kerre (Eds.), Fuzzy IF-THEN Rules in Computational Intelligence, Theory and Applications, Kluwer Academic Publishers, 2000, pp. 37-59; C. Cornelis, M. De Cock, E.E. Kerre, The generalized modus ponens in a fuzzy set theoretical framework, in: D. Ruan, E.E. Kerre (Eds.), Fuzzy IF-THEN Rules in Computational Intelligence, Theory and Applications, Kluwer Academic Publishers, 2000, pp. 37-59 [17] C. Cornelis, M. De Cock, E.E. Kerre, Assessing degrees of possibility and certainty within an unreliable environment, in: A. Lotfi, J. Garibaldi, R. John (Eds.), Proceedings of Fourth International Conference on Recent Advances in Soft Computing, 2002, pp. 194-199; C. Cornelis, M. De Cock, E.E. Kerre, Assessing degrees of possibility and certainty within an unreliable environment, in: A. Lotfi, J. Garibaldi, R. John (Eds.), Proceedings of Fourth International Conference on Recent Advances in Soft Computing, 2002, pp. 194-199 [18] C. Cornelis, M. De Cock, E.E. Kerre, Representing reliability and hesitation in possibility theory: a general framework, Applications and Science in Soft Computing (Advances in Soft Computing series), Springer-Verlag, in press; C. Cornelis, M. De Cock, E.E. Kerre, Representing reliability and hesitation in possibility theory: a general framework, Applications and Science in Soft Computing (Advances in Soft Computing series), Springer-Verlag, in press [19] C. Cornelis, M. De Cock, E.E. Kerre, Linguistic hedges in an intuitionistic fuzzy setting, in: L. Wang, S. Halgamuge, X. Yao (Eds.), Proceedings of First International Conference on Fuzzy Systems and Knowledge Discovery, 2002, pp. 101-105; C. Cornelis, M. De Cock, E.E. Kerre, Linguistic hedges in an intuitionistic fuzzy setting, in: L. Wang, S. Halgamuge, X. Yao (Eds.), Proceedings of First International Conference on Fuzzy Systems and Knowledge Discovery, 2002, pp. 101-105 [20] C. Cornelis, M. De Cock, E.E. Kerre, Intuitionistic fuzzy rough sets: on the crossroads of imperfect knowledge, Expert Systems, in press; C. Cornelis, M. De Cock, E.E. Kerre, Intuitionistic fuzzy rough sets: on the crossroads of imperfect knowledge, Expert Systems, in press [21] C. Cornelis, E.E. Kerre, Generalized (guaranteed) possibility distributions for hesitation and reliability representation, Fuzzy Sets and Systems, submitted for publication; C. Cornelis, E.E. Kerre, Generalized (guaranteed) possibility distributions for hesitation and reliability representation, Fuzzy Sets and Systems, submitted for publication [22] C. Cornelis, E.E. Kerre, On the structure and interpretation of an intuitionistic fuzzy expert system, in: B. De Baets, J. Fodor, G. Pasi (Eds.), Proceedings of EUROFUSE 2002, 2002, pp. 173-178; C. Cornelis, E.E. Kerre, On the structure and interpretation of an intuitionistic fuzzy expert system, in: B. De Baets, J. Fodor, G. Pasi (Eds.), Proceedings of EUROFUSE 2002, 2002, pp. 173-178 [23] Cornelis, C.; Kerre, E. E., Inclusion measures in intuitionistic fuzzy set theory, (Nielsen, T. D.; Zhang, N. L., Lecture Notes in Computer Science, 2711 (2003), Springer-Verlag), 345-356, (Subseries LNAI) · Zbl 1274.03081 [24] Cornelis, C.; Van Der Donck, C.; Kerre, E. E., Sinha-Dougherty approach to the fuzzification of set inclusion revisited, Fuzzy Sets and Systems, 134, 2, 283-295 (2003) · Zbl 1013.03063 [25] G. Deschrijver, C. Cornelis, E.E. Kerre, Intuitionistic fuzzy connectives revisited, in: Proceedings of 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2002, pp. 1839-1844; G. Deschrijver, C. Cornelis, E.E. Kerre, Intuitionistic fuzzy connectives revisited, in: Proceedings of 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2002, pp. 1839-1844 [26] Deschrijver, G.; Cornelis, C.; Kerre, E. E., On the representation of intuitionistic fuzzy \(t\)-norms and \(t\)-conorms, Notes on Intuitionistic Fuzzy Sets, 8, 3, 1-10 (2002) · Zbl 1230.03082 [27] G. Deschrijver, C. Cornelis, E.E. Kerre, On the representation of intuitionistic fuzzy \(tt\); G. Deschrijver, C. Cornelis, E.E. Kerre, On the representation of intuitionistic fuzzy \(tt\) · Zbl 1230.03082 [28] G. Deschrijver, E.E. Kerre, Classes of intuitionistic fuzzy \(t\); G. Deschrijver, E.E. Kerre, Classes of intuitionistic fuzzy \(t\) · Zbl 1074.03022 [29] Deschrijver, G.; Kerre, E. E., On the relationship between some extensions of fuzzy set theory, Fuzzy Sets and Systems, 133, 2, 227-235 (2003) · Zbl 1013.03065 [30] Entemann, C. W., A fuzzy logic with interval truth values, Fuzzy Sets and Systems, 113, 2, 161-183 (2000) · Zbl 0953.03029 [31] P. Fortemps, R. Slowinski, A graded quadrivalent logic for ordinal preference modelling: Loyola-like approach, Fuzzy Optimization and Decision Making 1, 93-111; P. Fortemps, R. Slowinski, A graded quadrivalent logic for ordinal preference modelling: Loyola-like approach, Fuzzy Optimization and Decision Making 1, 93-111 · Zbl 1091.91504 [32] Gehrke, M.; Walker, C.; Walker, E., Some comments on interval valued sets, International Journal of Intelligent Systems, 11, 10, 751-759 (1996) · Zbl 0865.04006 [33] Goguen, J., L-fuzzy Sets, Journal of Mathematical Analysis and Applications, 18, 145-174 (1967) · Zbl 0145.24404 [34] Gorzalczany, M. B., A method of inference in approximate reasoning based on interval-valued fuzzy sets, Fuzzy Sets and Systems, 21, 1-17 (1987) · Zbl 0635.68103 [35] Hajek, P., Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0937.03030 [36] (Höhle, U.; Klement, E. P., Non-classical logics and their applications to fuzzy subsets, A Handbook of the Mathematical Foundations of Fuzzy Set Theory (1995), Kluwer: Kluwer Dordrecht) · Zbl 0814.00013 [37] Höhle, U., Presheaves over GL-monoids, non-classical logics and their applications to fuzzy subsets. A Handbook of the Mathematical Foundations of Fuzzy Set Theory, (Höhle, U.; Klement, E. P. (1995), Kluwer: Kluwer Dordrecht), 127-157 [38] Jenei, S., A more efficient method for defining fuzzy connectives, Fuzzy Sets and Systems, 90, 1, 25-35 (1997) · Zbl 0922.03074 [39] John, R., Type 2 fuzzy sets: an appraisal of theory and applications, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 6, 6, 563-576 (1998) · Zbl 1087.68639 [40] Kenevan, J. R.; Neapolitan, R. E., A model theoretic approach to propositional fuzzy logic using Beth tableaux, (Zadeh, L. A.; Kacprzyk, J., Fuzzy logic for the management of uncertainty (1992), New York: New York Wiley), 141-157 [41] Klir, G. J.; Folger, T. A., Fuzzy Sets, Uncertainty and Information (1988), Prentice Hall: Prentice Hall Englewood Cliffs, NJ · Zbl 0675.94025 [42] Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2002), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 1007.20054 [43] Mendel, J. M., Uncertain Rule-Based Fuzzy Logic Systems (2001), Prentice Hall PTR: Prentice Hall PTR Upper Saddle River, NJ · Zbl 0978.03019 [44] Mizumoto, M.; Tanaka, K., Some properties of fuzzy sets of type 2, Information and Control, 31, 312-340 (1976) · Zbl 0331.02042 [45] Negoita, C.; Ralescu, D., Applications of Fuzzy Sets to Systems Analysis (1975), Birkhauer: Birkhauer Basel · Zbl 0326.94002 [46] Nikolova, M.; Nikolov, N.; Cornelis, C.; Deschrijver, G., Survey of the research on intuitionistic fuzzy sets, Advanced Studies in Contemporary Mathematics, 4, 2, 127-157 (2002) · Zbl 1008.03036 [47] Nguyen, H. T.; Kreinovich, V.; Zuo, Q., Interval-valued degrees of belief: applications of interval computations to expert systems and intelligent control, International Journal of Uncertainty Fuzziness and Knowledge-Based Systems, 5, 3, 317-358 (1997) · Zbl 1232.68122 [48] Novak, V.; Perfilieva, I.; Močkoř, J., Mathematical Principles of Fuzzy Logic (1999), Kluwer Academic Publishes: Kluwer Academic Publishes Dordrecht, The Netherlands · Zbl 0940.03028 [49] Pavelka, J., On fuzzy logic I, II, III, Zeitschrift für Mathematische Logik, 25, 45-52 (1979), 119-134, 447-464 · Zbl 0435.03020 [50] R. Sambuc, Fonctions \(Φ\); R. Sambuc, Fonctions \(Φ\) [51] Smets, P.; Magrez, P., Implication in fuzzy logic, International Journal of Approximate Reasoning, 1, 327-347 (1987) · Zbl 0643.03018 [52] Szmidt, E.; Kacrzyk, J., Distances between intuitionistic fuzzy sets, Fuzzy Sets and Systems, 114, 3, 505-518 (2000) · Zbl 0961.03050 [53] Takeuti, G.; Titani, S., Intuitionistic fuzzy logic and intuitionistic fuzzy set theory, Journal of Symbolic Logic, 49, 3, 851-866 (1984) · Zbl 0575.03015 [54] Türkşen, I. B., Interval valued fuzzy sets based on normal forms, Fuzzy Sets and Systems, 20, 191-210 (1986) · Zbl 0618.94020 [55] Türkşen, I. B., Non-specificity and interval-valued fuzzy sets, Fuzzy Sets and Systems, 80, 1, 87-100 (1996) [56] Türkşen, I. B., Type 2 representation and reasoning for CWW, Fuzzy Sets and Systems, 127, 1, 17-36 (2002) · Zbl 1006.68134 [57] Turunen, E., Mathematics behind fuzzy logic, Advances in Soft Computing series (1999), Physica-Verlag: Physica-Verlag Heidelberg [58] Wang, G.; He, Y., Intuitionistic fuzzy sets and L-fuzzy sets, Fuzzy Sets and Systems, 110, 2, 271-274 (2000) · Zbl 0944.03051 [59] Wu, W. M., Fuzzy reasoning and fuzzy relational equations, Fuzzy Sets and Systems, 20, 1, 67-79 (1986) · Zbl 0629.94031 [60] Zadeh, L. A., Fuzzy sets, Information and Control, 8, 338-353 (1965) · Zbl 0139.24606 [61] Zadeh, L. A., The concept of a linguistic variable and its application to approximate reasoning, part I, Information Sciences, 8, 199-249 (1975) · Zbl 0397.68071 [62] Zadeh, L. A., Fuzzy sets as a basis for a theory of possibility, Fuzzy Sets and Systems, 1, 3-28 (1978) · Zbl 0377.04002 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.