Formalization of implication based fuzzy reasoning method

Fuzzy reasoning includes a number of important inference methods for addressing uncertainty. This line of fuzzy reasoning forms a common logical foundation in various fields, such as fuzzy logic control and artificial intelligence. The full implication triple I method (a method only based on implication, TI method for short) for fuzzy reasoning is proposed in 1999 to improve the popular CRI method (a hybrid method based on implication and composition). The current paper delves further into the TI method, and a sound logical foundation is set for the TI method based on the monoidal t-norm based logical system MTL.

► The triple I method is a new method for fuzzy reasoning.
► We review the main results of the triple I method.
► We discuss the rationality of the triple I method.
► A sound logic foundation for the triple I method is set based on MTL.