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.

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

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

Local Relations Hold Reasoning

Fuzzy inference with fuzzy implications satisfying generalized hypothetical syllogism

Construction and selection of fuzzy implication operators in approximate reasoning

Local Relation Mapping Theory of Fuzzy Reasoning

Implication Operators in Fuzzy Logic.

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

The Quintuple Implication Principle of fuzzy reasoning

Construction of General Types of Fuzzy Implications Produced by Comparing Different t-Conorms: An Application Case Using Meteorological Data

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

Interaction Power Bonferroni Mean Aggregation Operators Based on T-Spherical Fuzzy Information and Their Application in Multi-attribute Decision Making

Fuzzy Implications - A (Dis)similarity Perspective

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

A Logical Framework for Fuzzy Quantifiers Part I: Basic Properties

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

Fuzzy implications in lattice effect algebras

Passivity and passification of uncertain fuzzy systems

The Relationship between Fuzzy Reasoning Methods Based on Intuitionistic Fuzzy Sets and Interval-Valued Fuzzy Sets

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

TRIPLE I METHOD OF FUZZY REASONING