A fuzzy rough set approach has been proposed without using any fuzzy logical connectives. By this approach, gradual decision rules are induced from a given decision table. Fuzzy-rough modus ponens and fuzzy-rough modus tollens have been formulated based on the gradual decision rules. The equivalence condition between fuzzy-rough modus ponens and fuzzy-rough modus tollens is discussed. The condi...

This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...

It is introduced an approach to the problem of "building logics" over sets of facts with only structured by a fuzzy relation of "consequence". Notions of "Truth" and "Falsehood" are introduced by means of two generalizations for classical Modus Ponens and Modus Tollens. Studying this concepts a theoretical base to explain the mode of reasoning in expert systems is obtained. By studying fuzzy tr...

Fuzzy modus ponens (briefly, FMP) is the most fundamental form of fuzzy reasoning and has been extensively discussed by diverse researchers. The aim of the present paper is to propose a formalized form of FMP, called generalized modus ponens, in the fuzzy logic system L and solve it in L, and then provide its numerical version as a new algorithm for solving FMP. As a preparation, some related q...

Modus Ponens is a key property for fuzzy implication functions that are going to be used in fuzzy inference processes. In this paper it is investigated when fuzzy implication functions derived from uninorms via residuation, usually called RU implications, satisfy the modus ponens with respect to a continuous t-norm T , or equivalently, when they are T -conditionals. For RU -implications it is p...

Using Generalized Modus Ponens reasoning, we examine the values of the inferred conclusion by using Fodor's implication in order to interpret a fuzzy if-then rule with a single input single output and the tnorm ( ) ( )( ) ( xy y x max y , x t ) λ λ − − + + = 1 1 , 1 − ≥ λ , for composition operation. This t-norm is important to use because for 1 − = λ and 0 = λ it gives the commonly used t-norm...

Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...

The database of a rule-based systemmay contain imprecisionswhich appear in the description of the rules given by the expert. Because such an inference can not be made by the methods which use classical two valued logic or many valued logic, Zadeh in (Zadeh, 1975) and Mamdani in (Mamdani, 1977) suggested an inference rule called "compositional rule of inference". Using this inference rule, sever...

We consider a multiple-rule, generalized modus ponens inference scheme, with an interpretation based on compositional rule of inference (CRI) and a residuated implication. We show that such a system is equivalent, as far as CRI is concerned, to a system that satis5es the “basic requirement for fuzzy reasoning”, proposed by Turksen and Tian (Fuzzy Sets and Systems 58 (1993) 3–40). We establish a...