Double Fuzzy Implications-Based Restriction Inference Algorithm

The main condition of the differently implicational inferencealgorithm is reconsidered from a contrary direction, which motivatesa new fuzzy inference strategy, called the double fuzzyimplications-based restriction inference algorithm. New restrictioninference principle is proposed, which improves the principle of thefull implication restriction inference algorithm. Furthermore,focusing on the new algorithm, we analyze the basic property of itssolution, and then obtain its optimal solutions aiming at theproblems of fuzzy modus ponens (FMP) as well as fuzzy modus tollens(FMT). Lastly, comparing with the full implication restrictioninference algorithm, the new algorithm can make the inferencecloser, and generate more, better specific inference algorithms.