On-if-then-else inference rules

In this paper, we start with a short review on 'If-Then' inference rules by selecting some widely used fuzzy implication operators and summarising their logical properties. Next, we outline the Zadeh's compositional rule of inference which will be used in this paper. And then, we focus our attention on the fuzzy conditional proposition 'If-Then-Else' inference rules under the selected fuzzy implication operators. Finally, we investigate the influence of the choice of the fuzzy implication operator on the validity of this 'If-Then-Else' inference scheme as used in fuzzy expert systems. This study, following our previous work (see references [20, 21, 22, 23, 24, 25]), shows that the results of the generalised modus ponens, the generalised modus tollens, the fuzzy syllogism, the generalised method-of-cases and the 'If-Then-Else' inference rule often heavily depend upon the choice of the fuzzy implication operator and the choice of the triangular norm modelling the fuzzy intersection.