Paper Info
Title
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.
Year
DOI
Venue
2014
10.1007/978-3-319-11313-5_17
INTELLIGENT SYSTEMS'2014, VOL 1: MATHEMATICAL FOUNDATIONS, THEORY, ANALYSES
Keywords
Field
DocType
Intuitionistic Fuzzy logic,modus ponens,validity,tautology
Tautology (logic),Modus ponens,Fuzzy classification,Computer science,Inference,Correctness,Fuzzy logic,Operator (computer programming),Calculus
Conference
Volume
ISSN
Citations 
322
2194-5357
0
PageRank 
References 
Authors
0.34
2
3
Name
Order
Citations
PageRank
Marcin Detyniecki133039.95
Marie-Jeanne Lesot200.34
Paul Moncuquet300.34