Opérations sur les sefs (1)
• Extension des opérations de la théorie des
ensembles classiques: =, ∪, ∩, ⊂, complément
• Soient A et B deux sefs de X, de f.d'a. fA et fB.
• Égalité de sefs:
– A = B ssi ∀x ∈ X, fA (x) = fB(x)
• Inclusion de sefs:
– A ⊂ B ssi ∀x ∈ X, fA (x) < fB(x)
• Intersection de sefs: A ∩ B:
– ∀x ∈ X, fA∩ B (x) = min(fA (x), fB(x))
• Union de sefs: A ∪ B:
– ∀x ∈ X, fA ∪ B (x) = max(fA (x), fB(x))
Opérations sur les sefs (2)
• Certaines propriétés de la théorie des ensembles
classiques sont vérifiées (à faire en exercice):
• A U∅ = A, A ∩ ∅ = ∅, A U X = X, A ∩ X = A
• Associativité de ∩ et de U :
– (A U B) U C = A U(B U C)
• Commutativité de ∩ et de U :
– A∩B = B∩A
• Distributivité de ∩ par rapport à U :
– A∩(B U C) = (A∩B) U(A∩C)
– A U(B∩C) = (A U B)∩(A U C)
Opérations sur les sefs (3)
• Complément Ac d'un sous-ensemble flou
– ∀x ∈ X, fAc (x) = 1 – fA(x)
• Certaines propriétés de la théorie des ensembles
classiques sont vérifiées (à faire en exercice):
– (Ac)c = A
– (A∩B)c = Ac U Bc
– (A U B)c = Ac ∩ Bc
• D'autres propriétés ne le sont pas (généralement):
– Ac ∩A ≠∅ (contradiction)
– Ac U A ≠ X (tiers exclu).
Opérations sur les sefs (4)
• Autres extensions des opérations de la théorie des
ensembles classiques: ∩ et U
• Ces opérations sont en fait des fonctions
mathématiques F:[0,1]×[0,1] [0,1] telle que ∀x, y,
F(x,y) ∈ [0,1].
• L'intersection peut être réalisée en prenant comme
opérateur une t-norme (opérateur ET)
• L'union peut être réalisée en prenant comme
opérateur une t-conorme (opérateur OU)
La réunion
A est l’ensemble flou des personnes petites.
B est l’ensemble flou des personnes moyennes.
L’ensemble des personnes petites OU moyennes est un ensemble flou de
fonction d’appartenance :
µ A∪ B ( x ) = max ( µ A ( x ) , µ B ( x ) ) ∀x ∈ U
Partition floue de l'univers du discours Ensemble flou:"Personne petite OU moyenne"
Petit Moyen Grand
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
Taille(m) Taille(m)
0 0
1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9 1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 36 1.9
L’intersection
A est l’ensemble flou des personnes petites.
B est l’ensembles flou des personnes moyennes.
L’ensemble des personnes petites ET moyennes est un ensemble flou de
fonction d’appartenance :
µ A∪ B ( x ) = min ( µ A ( x ) , µ B ( x ) ) ∀x ∈ U
Partition floue de l'univers du discours Ensemble flou: "Personne petite et moyenne"
Petit Moyen Grand
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
Taille(m) Taille (m)
0 0
1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9 1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9
37
Le complément
A est l’ensemble flou des personnes petites.
L’ensemble des personnes NON petites est un ensemble flou de fonction
d’appartenance :
µ A ( x ) = 1 − µ A ( x ) ∀x ∈ U
Partition floue de l'univers du discours Ensemble floue :"Personnes non petites"
Petit Moyen Grand
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
Taille(m)
0 0
Taille (m)
1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9 1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9
38
Opérateurs flous alternatifs
Toute t-
t-norme peut servir à définir l’intersection floue
Une t-norme est une application T(x,y) satisfaisant les conditions suivantes:
• 1 est élément neutre ∀x ∈ [ 0,1] T ( x,1) = T (1, x) = x.
• Commutative T ( x, y ) = T ( y, x)
• Associative T ( x, T ( y, z )) = T (T ( x, y ), z )
• Monotone si x ≤ z et y ≤ w alors T ( x, y ) ≤ T ( z , w)
Toute t-
t-conorme peut servir à définir la réunion floue
Une t-conorme est une application S(x,y) satisfaisant les conditions suivantes:
• 0 est élément neutre ∀x ∈ [ 0,1] S ( x, 0) = x.
• Commutative S ( x, y ) = S ( y, x)
• Associative S ( x, S ( y, z )) = S ( S ( x, y ), z )
• Monotone si x ≤ z et y ≤ w alors S ( x, y ) ≤ S ( z , w)
39
Opérateurs flous alternatifs
40
Opérateurs logiques floues les plus utilisés: Synthèse
Dénomination Intersection Réunion Complément
ET OU NON
(t-norme) (t-conorme)
Opérateurs de
Zadeh µ A∩ B ( x ) = min ( µ A ( x ) , µ B ( x ) ) µ A∪ B ( x ) = max ( µ A ( x ) , µ B ( x ) ) µ A ( x) = 1 − µ A ( x)
MIN/MAX
Probabiliste
PROD/PROBOR µ A∩ B ( x ) = µ A ( x ) × µ B ( x ) µ A ( x) + µB ( x) − µ A ( x ) × µB ( x ) µ A ( x) = 1 − µ A ( x)
41
Opérations sur les sefs (5)
• Justification des choix des opérateurs
– Les opérateurs min et max sont les seuls opérateurs qui
soient commutatifs, associatifs, mutuellement distributifs,
continus et doublement non décroissants
• D'autres opérateurs sont possibles :
– conjonction normes triangulaires (t-normes)
– disjonction conormes triangulaires (t-conormes)
– Propriétés communes : associativité, commutativité,
monotonie, élément neutre.
Normes triangulaires (t-normes)
• Soit une fonction ⊤:[0,1]×[0,1] [0,1] telle que ∀x,
y, z ∈ [0,1]:
– ⊤
⊤(x,y) =⊤⊤(y,x) (commutativité)
– ⊤(x, ⊤(y,z)) = ⊤( ⊤(x,y),z) (associativité)
– ⊤
⊤(x,y) ≤ ⊤(z,t)
⊤ si x ≤ z et y ≤ t (monotonie)
– ⊤
⊤(x,1) =x (1 est élément neutre)
• Exemples de telles fonctions :
– min(x,y), x⋅y, max(x+y-1,0)
• ⊤ est une t-norme
• Utilisée pour l'intersection ou la conjonction
Normes triangulaires (t-conormes)
• Soit une fonction ⊥:[0,1]×[0,1] [0,1] telle que ∀x, y,
z ∈ [0,1]:
– ⊥(x,y) = ⊥(y,x) (commutativité)
– ⊥(x, ⊥(y,z)) = ⊥(⊥(x,y), z) (associativité)
– ⊥(x,y) ≤ ⊥(z,t) si x ≤ z et y ≤ t (monotonie)
– ⊥(x,0) = x (0 est élément neutre)
• Exemples de telle fonction:
– max(x,y), x+y-x⋅y, min(x+y,1)
• ⊥ est une t-conorme
• Utilisée pour l'union
Dualité t-norme / t-conorme
• Le choix d'une t-norme et celui d'une t-conorme est lié
• Etant donné un opérateur de complémentation
– par exemple: fc = 1-f
• Déf.: Une t-norme et une t-conorme sont duales si et
seulement si :
– 1 – ⊤(x,y) = ⊥(1-x, 1-y)
– 1 – ⊥(x,y) = ⊤
⊤(1-x, 1-y)
• En termes de sous-ensembles, la dualité permet de conserver
les lois de De Morgan
• Ainsi, par exemple, le min et le max sont duaux :
– on a : 1 – min(x,y) = max(1-x, 1-y) ainsi que 1 – max(x,y) = min(1-x, 1-
y)
• On montre que (à faire en exercice)
– les opérateurs probabilistes sont duaux
– les opérateurs de Lukasiewicz sont duaux
Exemples
• X={moto,auto,train} (moyens de transport)
– Transport rapide: A= 0.7 / moto + 0,5 / auto + 1.0 / train
– Transport familial: B= 0.1 / moto + 1.0 / auto + 0.6 / train
• X=[0, 130] (ensemble des âges)
