Intuitionistic Fuzzy Tautology Definitions for the Validity of Intuitionistic Fuzzy Implications: An Experimental Study

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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01215873
Contributor : Lip6 Publications <>
Submitted on : Thursday, October 15, 2015 - 11:12:41 AM
Last modification on : Thursday, March 21, 2019 - 12:59:04 PM

Identifiers

Citation

Marcin Detyniecki, Marie-Jeanne Lesot, Paul Moncuquet. Intuitionistic Fuzzy Tautology Definitions for the Validity of Intuitionistic Fuzzy Implications: An Experimental Study. Intelligent Systems'2014, Sep 2014, Warsaw, Poland. pp.171-182, ⟨10.1007/978-3-319-11313-5_17⟩. ⟨hal-01215873⟩

Share

Metrics

Record views

83