Chapitre 3 : Etude et mise en place du simulateur de CRI

3.1 Introduction
Ce chapitre se compose de deux parties essentielles. La première partie du chapitre sera consacrée à l’étude de la CRI. La seconde partie sera consacrée à la présentation du simulateur de calcul de la CRI. 3.2 CRI
Nous nous intéressons dans cette section au calcul de la CRI avec différents couples (T, I). Nous n’utiliserons que les couples vérifiant le principe de compatibilité du modus ponens classique (A’=A, B’=B).
Rappelons que le modus ponens généralisé est de la forme : Fait | X est A’ | Règle floue | Si X est A alors Y est B | Conclusion | Y est B’ |
Et que la CRI est de la forme suivante :
∀v∈V, μB'v=supu∈UT (μA'u, I(u,v))
Avec A et B définis respectivement sur U et V et A=UμA(u)/u et B=VμB(v)/v
Dans le cas des modificateurs de Zadeh, A’ devient :
A'=A=UμA(u)/u
A'=A2=UμA(u)2/u
A'=A1/2=UμA(u)/u
A'=A=U1-μA(u)/u

Ajouter d’autres propriétés 3.3.1 Cas du couple (IR, TL)
Nous présentons dans ce qui suit les résultats des calculs de la CRI où I= IR et T = TL avec :
IR:1-u+u*vTL:max⁡(u+v-1, 0) * Pour A’=A μB'=u∨ 0∨μA'+1-μA+μA*μB-1 =u∨ 0∨μA'+1-μA+(μA∧μB)-1 =u∨ 0∨μA'+1∧(1-μA+μB)-1 =u∨ 0∨μA+1∧(1-μA+μB)-1 =u∨ 0∨μA∧μB =u∨ μA∧μB =μB * Pour A’=A2 μB'=u∨ 0∨μA'+1-μA+μA*μB-1 =u∨ 0∨μA'+1-μA+(μA∧μB)-1 =u∨ 0∨μA'+1∧(1-μA+μB)-1 =u∨ 0∨μA2+1∧(1-μA+μB)-1 =u∨ 0∨μA2∧(μA2-μA+μB) =u∨ μA2∧0∨(μA2-μA+μB) =μB * Pour A’=A1/2 μB'=u∨ 0∨μA'+1-μA+μA*μB-1 =u∨ 0∨μA'+1-μA+(μA∧μB)-1 =u∨ 0∨μA'+1∧(1-μA+μB)-1 =u∨ 0∨μA∧μA-μA+μB =u∨ μA∧μA-μA+μB =μB+14 si μB≤14μB si μB≥14 * Pour A'=A μB'=u∨ 0∨μA'+1-μA+μA*μB-1 =u∨ 0∨μA'+1-μA+(μA∧μB)-1 =u∨ 0∨μA'+1∧(1-μA+μB)-1 =u∨ 0∨(1-μA)∧1-2 μA+μB =u∨ (0∨(1-μA))∧0∨(1-2 μA+μB) =1 3.3.2 Cas du couple (IKD, TL)
Nous