Abstract:Fuzzy Modus Ponens (FMP) and Fuzzy Modus Tollens (FMT) are two fundamental patterns of approximate reasoning. Suppose A and B are fuzzy predicates and “IF A THEN B” is a fuzzy rule. Approximate reasoning often requires to derive an approximation B∗ of B from a given approximation A∗ of A, or vice versa. To solve these problems, Zadeh introduces the well-known Compositional Rule of Inference (CRI), which models fuzzy rule by implication and computes B∗ (A∗, resp.) by composing A∗ (B∗, resp.) with A→B. Wang argues that the use of the compositional operation is logically not sufficiently justified and proposes the Triple Implication Principle (TIP) instead. Both CRI and TIP do not explicitly use the closeness of A and A∗ (or that of B and B∗) in the process of calculating the consequence, which makes the thus computed approximation sometimes useless or misleading.In this paper, we propose the Quintuple Implication Principle (QIP) for fuzzy reasoning, which characterizes the approximation B∗ of B (A∗ of A, resp.) as the formula which is best supported by A→B,A∗→A and A∗ (A→B,B→B∗ and B∗, resp.). Based upon Monoidal t-norm Logic (MTL), this paper applies QIP to solve FMP and FMT for four important implications. Most importantly, we show that QIP, when using Gödel implication, computes exactly the same approximation as Mamdani-type fuzzy inference does. This is surprising as Mamdani interprets fuzzy rules in terms of the minimum operation, while CRI, TIP and QIP all interpret fuzzy rules in terms of implication.

(D, N)-implication and Its Characterization

Fuzzy Implications - A (Dis)similarity Perspective

Implication Operators in Fuzzy Logic.

Construction and selection of fuzzy implication operators in approximate reasoning

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

A unified framework of fuzzy implications and coimplications

Fuzzy inference with fuzzy implications satisfying generalized hypothetical syllogism

Investigations of T -power based implications satisfying some functional equations related to reasoning schemes

The Quintuple Implication Principle of fuzzy reasoning

An Axiomatic Characterization of Fuzzy Formal Contexts Based on T-implication Operators

Characteristics and Applications of JI,B-implications Via Some Classical Logic Tautologies

N-vertical generated implications and their distributivities over t-norms and t-conorms

Fuzzy implications in lattice effect algebras

Fuzzy modeling incorporated with fuzzy d-s theory and fuzzy naive bayes

Generating methods of some classes of fuzzy implications obtained by unary functions and algebraic structures

Natural Construction Method of Ordinal Sum Implication and Its Distributivity

On Distributivity Equations of Implications over Overlap Functions and Contrapositive Symmetry Equations of Implications

Local Relations Hold Reasoning

Approximate Solutions Of Fuzzy Relation Equations(Ii) Based On Boolean-Type Implications

Characterizations of Residual Implications Derived From Copulas

Entropy-Based Symmetric Implicational Method for R-and (S,N)-Implications