Abstract
This paper mainly aims to introduce Quintuple Implication Principle (QIP) on interval-valued intuitionistic fuzzy sets (IVIFSs). Firstly, some algebraic properties of a class of interval-valued intuitionistic triangular norms are discussed in detail. In particular, a unified expression of residual interval-valued intuitionistic fuzzy implications generated by left-continuous triangular norms is presented. Secondly, Triple Implication Principles (TIPs) of both interval-valued intuitionistic fuzzy modus ponens (IVIFMP) and fuzzy modus tollens (IVIFMT) based on residual interval-valued intuitionistic fuzzy implications are analyzed. It is shown that the TIP solution of IVIFMP is recoverable, and the TIP solution of IVIFMT is only weakly local recoverable. Moreover, it sees by an illustrated example that the TIP method sometimes makes the computed solutions for IVIFMP and IVIFMT meaningless or misleading. To avoid the above shortcoming and enhance the recovery property of TIP solution of IVIFMT, QIP and alpha-QIP for IVIFMP and IVIFMT are investigated and the corresponding expressions of solutions of them are also given, respectively. In addition, the QIP methods for IVIFMP and IVIFMT are recoverable and sound. Finally, QIP solutions of IVIFMP for multiple fuzzy rules are provided. An application example for medical diagnosis is given to illustrate the feasibility and effectiveness of the QIP of IVIFMP.