On generalized modus ponens with multiple rules and a residuated implication
نویسندگان
چکیده
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 an analogous conclusion for an alternative interpretation (due to Magrez and Smets) of generalized modus ponens, which we call consequent dilation rule (CDR). This method is computationally faster than CRI, but it produces less speci5c inference results. c © 2002 Elsevier Science B.V. All rights reserved.
منابع مشابه
Generalized Modus Ponens Reasoning for Rules with Partial Overlapping Between Premise and Observation
Using Generalized Modus Ponens reasoning, we examine the values of inferred conclusion when the premise of the rule and the observed fact have a partial overlapping. We work with fuzzy if-then rules with a single input single output and the t-norm t(x, y) = max((1+λ)(x+y−1)−λxy, 0), λ ≥ −1, for composition operation. This t-norm is important to use because for λ = −1 and λ = 0 it gives the very...
متن کاملGeneralized Modus Ponens Using Fodor's Implication and a Parametric T-norm
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...
متن کاملA small set of axioms for residuated logic
We show that a set of three axioms, together with modus ponens, suffices to build up a formal system for the class R of all quadruples (L,6,T,J), in which (L,6) is a partially ordered set with a top element, and T is a triangular norm on (L,6) that has a residuated implication J. We show that this R is not a variety. 2004 Elsevier Inc. All rights reserved.
متن کاملGeneralized Modus Tollens with Linguistic Modifiers for Inverse Approximate Reasoning
Based on our previous researchs about generalized modus ponens (GMP) with linguistic modifiers for If ... Then rules, this paper proposes new generalized modus tollens (GMT) inference rules with linguistic modifiers in linguistic many–valued logic framework with using hedge moving rules for inverse approximate reasoning.
متن کاملApproximate Reasoning Using Fodor’s Implication
Using generalized modus ponens reasoning, we examine the values of the inferred conclusion using the Fodor’s implication in order to interpret a fuzzy if-then rule with a single input single output and the T-norms t1(x, y) = min(x, y), t2(x, y) = xy and t3(x, y) = max(0, x + y − 1) for composition operation. These are the very used T-norms in generalized modus ponens reasoning.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 129 شماره
صفحات -
تاریخ انتشار 2002