Abstract
The central issue of inference validity, that guarantees the correctness of reasoning and thus that of derived knowledge, depends on the definition of both implication operator and tautology. This paper studies the modus ponens validity in the case of Intuitionistic Fuzzy logic, in an experimental framework: considering 18 classical implication operators, it shows that validity usually does not hold for the classical definition of Intuitionistic Fuzzy tautology. It proposes two alternative, more constrained, tautology definitions, studying them with the same protocol, showing they make it possible to decrease the number of invalid implication operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atanassov, K.: Intuitionistic fuzzy sets. STUDFUZZ, vol. 35. Springer, Heidelberg (1999)
Atanassov, K., Gargov, G.: Elements of intuitionistic fuzzy logic: part I. Fuzzy Sets and Systems 95(1), 39–52 (1998)
Atanassov, K.T.: On some intuitionistic fuzzy implications. Comptes Rendus de l’Académie Bulgare des Sciences 59(1), 19–24 (2006)
Cornelis, C., Deschrijver, G.: The compositional rule of inference in an intuitionistic fuzzy logic setting. In: Striegnitz, K. (ed.) Proceedings of the 13th European Summer School in Logic, Language and Information, ESSLLI 2001, pp. 83–94 (2001)
Cornelis, C., Deschrijver, G., Kerre, E.E.: Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application. International Journal of Approximate Reasoning 35(1), 55–95 (2004)
El-Hakeim, K., Zeyada, F.: Comments on some versions of intuitionistic fuzzy propositional calculus due to K. Atanassov and G. Gargov. Fuzzy Sets and Systems 110(3), 451–452 (2000)
Negoita, C.V., Ralescu, D.A.: Applications of fuzzy sets to systems analysis. Interdisciplinary Systems Research, vol. 11. Birkhaeuser, Basel (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Detyniecki, M., Lesot, MJ., Moncuquet, P. (2015). Intuitionistic Fuzzy Tautology Definitions for the Validity of Intuitionistic Fuzzy Implications: An Experimental Study. In: Angelov, P., et al. Intelligent Systems'2014. Advances in Intelligent Systems and Computing, vol 322. Springer, Cham. https://doi.org/10.1007/978-3-319-11313-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-11313-5_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11312-8
Online ISBN: 978-3-319-11313-5
eBook Packages: EngineeringEngineering (R0)