I.7.2 Définition :
La composition de deux relation flous R1 sur (
U1 . U2 ) , et R2 sur (
U2 . U3 ) définie une relation
floue : R = R1 o R2 sur ( U1 .
U3 ) de fonction d'appartenance
définie par : (x , y) U1 .
U3 , ìR (x , z) = sup(y
U2) min ( ìR1 (x , y) , ìR2 (y , z)
).
Chapitre 1 : La logique floue
ou U1 , U2 et U3 sont des
univers de discours .
Cette définition correspond à la composition
max-min , la plus utilisée .
Il est cependant possible de remplacer l'opérateur min par
un autre opérateur T,
par exemple une norme triangulaire , et en particulier le produit
pour définir la composition max-T .
I.7.3 Implication floues :
soit une règle flous de la forme
« si V est A alors W est B » .
l'implication floue entre deux propositions floues
élémentaires « V est A
» et « W est B
» est une proposition floue , dont la fonction
d'appartenance ìR associée à cette relation
floue R entre X et Y est définie par :
(x, y) ( X
.Y ) / ìR (x, y) = Ö [
ìA(x) , ìB(y) ]
Pour une fonction Ö de [0, 1] . [0, 1] ? [0, 1] .
Les principales classes d'implications floues sont
indiquées dans le tableau de la figure suivante [5], [6], [7]
.
Notion
|
Valeur de vérité
|
Nom
|
ìRR (x ,
y)
|
1 - ìA(x) + ìA(x) .
ìB(y)
|
Reichenbach
|
ìRW (x ,
y)
|
Max [1- ìA(x),min [ìA(x),
ìB(y)]
|
Willmott
|
ìRRG (x ,
y)
|
1 si ìA(x) =
ìB(y)
0 sinon
|
Rescher-gaines
|
ìRKD (x ,
y)
|
Max [1 - ìA(x) , ìB(x)]
|
Kleene-dienes
|
ìRBG (x ,
y)
|
1 si ìA(x) =
ìB(y)
ìB(y) sinon
|
Brouwer-godel
|
ìRG (x ,
y)
|
1 si ìA(x) =0
min [ìA(y) /ìA(x), 1]
sinon
|
Goguen
|
ìRL (x ,
y)
|
Min [1- ìA(x)+ ìB(y) , 1]
|
Luksiewicz
|
ìRM (x ,
y)
|
Min [ìA(x) , ìB(y)]
|
Mamdani
|
ìRP (x ,
y)
|
ÌA(x) . ìB(y)
|
Larsen
|
Figure I.9 : Principales classes d'implication
floues .
Chapitre 1 : La logique floue
I.8 Contrôleur à logique flou :
un contrôleur flou peut être vu comme un
système expert fonctionnant à partir d'une représentation
des connaissances basées sur la théorie des ensembles
flous [12] .
Ce contrôleur fourni un algorithme de conversion d'une
stratégie de contrôle linguistique basée sur l'expertise
humaine en une stratégie de contrôle automatique ,
Il est décrit par un ensemble de règles de
contrôle flou du type :
R1 : IF x is A1 and y is
B1 them z is C1
R2 : IF x is A2 and y is
B2 them z is C2
Rn : Fl x is An and y is
Bn them z is Cn
|