LOGIQUE FLOUES

&
RSEAUX DE NEURONES ARTIFICIELS

Chapitre 2

Concepts des ensembles flous

Pr. Abdellah MECHAQRANE

Sous-Ensembles flous (ensemble flou)

Un sous-ensemble flou est dfini comme suit :
Soit lensemble U des valeurs de la variable x, appel lunivers du discours. Un
sous-ensemble flou A de U est dfini par une fonction d'appartenance A(x) qui
associe chaque lment x de U une valeur relle dans l'intervalle [0, 1].

A : x U 0,1 / A x 1

si x est compltement dans A

0 A x 1 si x est partiellement dans A

A x 0
si x est l ' extrieur de A

La notion densemble flou a pour but d'introduire lide dune appartenance

partielle d'un lment un ensemble ou une classe, c'est--dire d'autoriser un
lment appartenir plus ou moins fortement cette classe

Fonction d'appartenance (membership function )

Chaque sous-ensemble flou A d'un univers de discours U est

dfini par une fonction d'appartenance, A(x), qui dcrit le degr
avec lequel un lment x de U appartient A.

Une fonction d'appartenance est toujours associe une variables

linguistiques telles que chaud, froid, jeune, vieux, etc.

Un sous-ensemble flou est compltement dfini par sa fonction

d'appartenance:

A x, A x / x U

Supposons qu'on ait jug la proprit "grand" (tre grand) l'aide de la fonction
reprsente ci-dessous. Pour un sous-ensemble A de 6 personnes du tableau
suivant, on obtient les rsultats :
Personne

Taille

1,55

1,65

1,7

1,75

1,79

1,85

grand (x)

0,25

0,5

0,75

0,95

L'univers du discours est l'ensemble : U=[1.55; 1.85]

On obtient un sous-ensemble flou ("grand") o la personne f est grande, mais la
personne e appartient cet ensemble avec la valeur 0,95 ou 95%, d avec 75%,
, la personne a n'appartient pas l'ensemble A.
grand (x)

Petit
1.55

1.85

Grand

Logique floue / Probabilit :

consommable

p consommableB

Quel gateau mangerez-vous ?

Les fonctions d'appartenance ne reprsentent pas des probabilits.

Formes rpandues des fonctions d'appartenance

Les fonctions dappartenance peuvent avoir diverses formes selon leur dfinition :

Gaussienne simple

Trapzodale

Gaussienne asymtrique

Gaussienne en cloche

Triangulaire

Exemples densembles flous: Taille

Ensemble flou: "Personne de taille moyenne"

Ensemble flou " Personne de petite taille"

1

Petit

Moyen

Ensemble flou :"Personne de grande taille"

0.8

0.8

0.8

0.6

0.6

0.6

0.4

0.4

0.4

0.2

0.2

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

0.2

Taille(m)

1.9

1.5

Grand

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

partition floue de l'univers du discours

Moyen

Petit

Grand

Mehdi mesure 1.625 m

se traduit en logique floue par
Mehdi est petit un degr de 75%
Mehdi est moyen 25%
Mehdi est grand 0%

0.8

0.6

0.4

0.2

Taille(m)
0

1.625
1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

1.5

Reprsentation des Fonctions d'appartenances

Cas des fonctions linaires :

On utilise souvent une notation vectorielle pour reprsenter les fonctions.
Pour les fonctions dappartenance de la figure ci-dessus on peut utiliser la
notation suivante :

10

Temprature faible : (1/17, 0/19)

Temprature moyenne : (0/17, 1/20, 0/23)
Temprature leve : (0/21, 1/23)

Cas des fonctions discrtes :

Si l'univers de discours est un ensemble discret fini :

U x1 ,

, xn

et A est un sous-ensemble flou de U, on utilise alors souvent les notations

suivantes pour dfinir A :
1

, xn , A xn ,ou
, xn / A xn ,ou
xn / A xn ,ou
, A xn / xn ,ou
A xn / xn ,ou
A xn / xn A xi / xi
i

11

x ,

x1 ,
A x1 / A x1 ,
A x1 / A x1
A A x1 / x1 ,
A A x1 / x1
A A x1 / x1
A

Exemple: Fonction d'appartenance pour "x voisin de 3"

Cas continu (x )

On peut dfinir le sous-ensemble flou A=[-2, 8} des nombre rels peu prs
gaux 3. Une fonction dappartenance A peut-tre dfinie par:

e x 3 si x 3 4
A x
sinon
0
La fonction A prend la forme :

A(x)

0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-2

12

Ainsi, seul 3 appartient A avec

certitude. Plus un rel se rapproche
de 3, plus il appartient A avec
certitude et au contraire, plus il
sen loigne moins il appartient A
(jusqu ne plus y appartenir du
tout quand |x 3| > 4).

 Cas discret (x )

On peut dfinir le sous-ensemble flou A={-2, , 8} des entiers relatifs peu prs
gaux 3.

A={0/-2+0.02/-1+0.05/0+0.14/1+0.37/2+1/3+0.37/4+0.14/5+0.05/6+0.02/7+0/8}
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0
-2

13

A(x)

Caractristiques d'un sous-ensemble flou

Un sous-ensemble flou est compltement dfini par la donne de sa
fonction d'appartenance.
A partir d'une telle fonction, un certain nombre de caractristiques du sousensemble flou peuvent tre tudies.

A(x)
1

Noy(A)

H(A)

0
Supp(A)

14

 Le noyau :

Le noyau d'un sous-ensemble flou A de U, not Noy(A), est l'ensemble des

lments qui appartiennent totalement A. Pour les fonctions de type
triangulaire, le noyau est un singleton qui est appel aussi valeur modale.
Noy(A) = {xU / A(x) = 1}
Le support :

Le support d'un sous-ensemble flou A de U, not Supp(A), est l'ensemble des

lments appartenant, mme partiellement, A.
Supp(A) = {xU/A(x) 0}
La hauteur :

La hauteur d'un sous-ensemble flou A de U, not H(A), est la valeur maximale

de la fonction d'appartenance. Un sous-ensemble flou est dit normalis s'il est
de hauteur 1.

15

H(A) = Supx U (A(x))

Exemple:
B

B(x)
1

0
20

25

35 40

Noy(B) = [25, 35]

Supp(B) = ]20, 40[

16

H(B) = 1

 Cardinal d'un sous-ensemble flou :

La cardinalit ou la puissance d'un sous-ensemble flou est dfinie comme

suit :

card A A A x

si A discret

card A A

si A continu

xX

A x dx

17

x X

 -coupe:
Le sous ensemble ordinaire A de U associ A pour le seuil est l'ensemble des
lments qui appartiennent A avec un degr d'appartenance au moins gal .
On dit que A est l'-coupe de A. Formellement:

A x U / A x
et A est un sous-ensemble ordinaire de fonction caractristique:

Si nous choisissons = 0, alors A est lunivers du discours X. Si nous

choisissons = 1, alors A est le noyau de A, Noy(A).

18

1 si A x
A x
0 sinon

Exemple:

Soit l'ensemble flou :

A = 0.2/1+ 0.5/2 + 0.6/3+ 1/4 + 0.7/5 + 0.3/6 + 0.1/7
On peut dfinir les -coupes suivantes :
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0

19

A0.1 = {1, 2, 3, 4, 5, 6, 7}
A0.2 = {1, 2, 3, 4, 5, 6}
A0.3 = {2, 3, 4, 5, 6}
A0.4 = A0.5 = {2, 3, 4, 5}
A0.6 = {3, 4, 5}
A0.7 = {4, 5}
A0.8 = A0.9 = A1.0 = {4}

OPRATIONS SUR LES ENSEMBLES

FLOUS
GALIT

Deux sous-ensembles flous A et B de l'univers X, sont dits gaux

s'ils ont des fonctions d'appartenance gales en tout point de X.
Formellement, A=B si et seulement si :

20

A B A x B x , x X

INCLUSION

Soient A et B deux sous-ensembles flous de X. Si pour n'importe

quel lment x de X, x appartient toujours moins A qu' B, alors
on dit que A est inclus dans B (A B). Formellement, AB si et
seulement si :

A B A x B x , x X
UNION
L'union de deux sous-ensembles flous A et B de X est le sousensemble flou constitu des lments de X affects du plus grand
degr d'appartenance A et B. Formellement, A B est donn par :

21

A B x max A x , B x ,x X

EXEMPLE :

A est lensemble flou des personnes petites.

B est lensemble flou des personnes moyennes.
Lensemble des personnes petites OU moyennes est un ensemble
flou de fonction dappartenance :
Partition floue de l'univers du discours
Grand

Moyen

Petit

0.8

0.8

0.6

0.6

0.4

0.4

0.2

0.2

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

22

Ensemble flou:"Personne petite OU moyenne"

INTERSECTION
L'intersection de deux sous-ensembles flous A et B de X est le
sous-ensemble flou constitu des lments de X affects du plus
petit degr d'appartenance A et B. Formellement, A B est donn
par :

23

A B x min A x , B x ,x X

EXEMPLE:

A est lensemble flou des personnes petites.

B est lensembles flou des personnes moyennes.
Lensemble des personnes petites ET moyennes est un
ensemble flou de fonction dappartenance :
Ensemble flou: "Personne petite et moyenne"

Partition floue de l'univers du discours

Grand

Moyen

Petit

0.8

0.8

0.6

0.6

0.4

0.4

0.2

0.2

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

Taille (m)
0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

24

COMPLMENT

Le complment d'un sous-ensembles flous A de X est not

. Il est dfini partir de la fonction d'appartenance de A par :

25

A x 1 A x ,x X

EXEMPLE :

A est le sous-ensemble flou des personnes petites.

Lensemble des personnes NON petites est un ensemble flou de
fonction dappartenance :
Ensemble floue :"Personnes non petites"

Partition floue de l'univers du discours

Grand

Moyen

Petit

0.8

0.8

0.6

0.6

0.4

0.4

0.2

0.2

Taille(m)

0
1.5

1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

0
1.5

Taille (m)
1.55

1.6

1.65

1.7

1.75

1.8

1.85

1.9

26

EXERCICE :
Les fonctions logiques classiques AND, OR et NOT sont dfinies
par les tables suivantes :

27

Qu'obtient-on pour ces fonctions en utilisant les oprateurs logiques

flous ?

PROPRITS DES OPRATIONS SUR

LES ENSEMBLES FLOUS

28

On verra ici que la majorits des oprations existant sur les sousensembles classiques peuvent tre gnralises aux sous-ensembles
flous.

Proprits de l'union et de l'intersection

Certaines proprits de la thorie des ensembles classiques sont vrifies :

A = A, A = , A X = X,
= ,

= X,

A X =A

Associativit de et de : (A B) C = A (B C)
Commutativit de et de : AB = BA
Distributivit de par rapport U :
A(B C) = (AB) U(AC)
A (BC) = (A B)(A C)
Lois de De Morgan :
=

29

2 exceptions notables
1.

En logique floue, le principe du tiers exclu est contredit.

A A X
2.

i.e. A A x 1

En logique floue, on peut tre A et non A en mme temps.

A A i.e. A A x 0

1,6

1,80 T(C)

30

A(x)

Exercice :

Soit un sous-ensemble flou dont la fonction d'appartenance A est

la suivante :
A(x)
1

Reprsenter les fonctions d'appartenance suivantes :

31

A , A A et A A

OPRATEURS FLOUS ALTERNATIFS

La dfinition dune opration entre ensembles flous est base sur
une combinaison des fonctions dappartenance.
Les dfinitions les plus simples utilisent les oprations min, max et
le complment 1 (Zadeh).

32

D'autres oprateurs ont t proposs, en particulier, les normes et

conormes triangulaires qui constituent une gnralisation des
oprations min ou max dfinissant l'intersection et l'union de deux
sous ensembles flous.

Norme triangulaire, t-norme :

Toute T-norme peut servir dfinir l'intersection floue:

x X,

A B x T A x , B x

T = min est la dfinition la plus optimiste des t-normes.

Une norme triangulaire T est une fonction dfinie sur lensemble [0, 1] [0, 1] et
prenant ses valeurs dans lintervalle [0, 1], qui satisfait les conditions suivantes :
x, y 0,1 :

x, y y , x

x, y, z 0,1 :

x, y , z x, y , z

x, y, z , t 0,1 :

x, y z , t si x z et y t

x 0,1 :

x,1 1, x x

commutativit
associativit

lment neutre 1

33

monotonie

Conorme triangulaire, t-conorme ou S-norme :

Toute t-conorme (S-norme) peut servir dfinir la runion floue.

x X,

A B x A x , B x

S = max est la dfinition la plus pessimiste des t-conormes.

Une conorme triangulaire est une fonction dfinie sur lensemble [0, 1] [0, 1] et
prenant ses valeurs dans lintervalle [0, 1], qui satisfait les conditions suivantes :
x, y 0,1 :

x, y y, x

x, y, z 0,1 :

x, y, z x, y , z

x, y, z , t 0,1 :

x, y z , t si x z et y t

x 0,1 :

x, 0 0, x x

commutativit
associativit

lment neutre 0

34

monotonie

35

Quelques T-normes et T-conormes

Oprateurs logiques floues les plus utiliss

Dnomination

Oprateurs de
Zadeh
MIN/MAX
Probabiliste
PROD/PROBOR

Intersection
ET
(T-norme)

Runion
OU
(T-conorme)

AB x min A x , B x AB x max A x , B x

AB x A x B x

A x B x A x B x

Complment
NON

A x 1 A x
A x 1 A x

N.B:

36

Les oprateurs de Zadeh (min/max) sont encore aujourd'hui les plus

utiliss. Sauf indication, c'est ces oprateurs qu'on utilisera.

37

Exemples :

Fonction d'appartenance du Produit cartsien

Le produit cartsien est une mthode de combinaison de sous-ensembles flous
dfinis sur des univers du discours diffrents.

Par exemple, cela permet de dfinir simplement ce que signifie chaud et humide
sur un univers du discours temprature et hygromtrie.
Soient A1, A2, , An des ensembles flous dans les univers du discours X1, X2, ,
Xn respectivement..
Le produit cartsien des A1, A2, , An que l'on note A=A1 x A2 x x An est le
sous-ensemble flou dfini dans l'univers de discours X=X1 x X2 x x Xn par la
fonction d'appartenance :

, xn X ,

A1 A2

An

x = min A x1 , A x2 ,, A xn
1

Ai xi
i=1

38

x x1 , x2 ,

Exercice :

Soient les sous ensembles flous A et B dfinis par :

0.5 1 0.6
1 0.6
A

;B
3 5 7
3 5

39

Trouver le sous-ensemble flou AxB

Principe d'extension (Zadeh 75)

Le principe d'extension est utilis pour tendre une fonction mathmatique
classique aux ensembles flous.
Supposons que f est une fonction de X vers Y et A un sous ensemble flou de X
dfini par:
A A x1 / x1 A x2 / x2

A xn / xn

Le principe d'extension postule que l'image du sous-ensemble flou A, par la

fonction f, est un sous-ensemble flou B dfini par :
B A x1 / y1 A x2 / y2

A xn / yn

40

o yi=f(xi), i=1,,n.

Si plusieurs lments de lensemble de dpart A admettent la mme image alors:

B y max A x
x f 1 y

o f 1 est la fonction inverse de f :

f f 1 y y

Exemple :

41

Soit A=0.1/-2+0.4/-1+0.8/0+0.9/1+0.3/2 et f(x)=x2-3. Trouver

l'image B de A par la fonction f.

Si l'on a deux sous ensembles flous A et B de X, le principe

dextension permet dobtenir leur image C par la fonction f :

f A, B z max min A x , B y | f x, y z
X

C
z

42

(x,y)
)

Arithmtique floue :
Soient deux sous-ensembles flous A et B de l'univers X :
Addition floue :

A B z max min A x , B y
z x y

Diffrence floue A\ B z max min A x , B y

z x y

Multiplication floue A B z max min A x , B y

z x y

Division floue

A / B z max min A x , B y
zx / y

43

en supposant que zro nappartienne pas au support de B.

Relations :
Relation classique :
Une relation classique reprsente la prsence (1) ou l'absence (0) de liaison, de
l'interaction ou l'interconnexion entre les lments de deux ou plusieurs
ensembles classiques.
Sa fonction caractristique est donne par:
1
, xn
0

si x1, x2 ,
sinon

, xn R

44

R x1, x2 ,

Relations floues :
Une relation floue entre deux univers U et V est un sous-ensemble flou R du
produit cartsienne U x V.
Exemple :

Soit lunivers U ={1, 2, 3}, la relation R : "est approximativement gal "

peut-tre dfinie par :

R :1,2,3 [0,1]

1si x y

x, y R x, y 0.8si x y 1
0.3si x y 2

45

1 2 3

Notation matricielle :

Oprations sur les relations floues

Projection :

Soit une R une relation floue entre U et V. La projection U de R sur U et la

projection V de R sur V sont dfinies par :

x max R x, y | y V et x max R x, y | x U
V

Composition :

Soient R une relation floue entre U et V et S une relation floue entre V et W.

La composition S o R est la relation floue entre U et W dfinie par :
Cas min-max :

x, z max min R x, y ; S y, z
yV

Cas max-prod :

x, z max R x, y .S y, z
yV

46

Exemple (cas min-max) :

Soient les ensembles U = {x1 ; x2 ; x3}, V = {y1 ; y2 ; y3 ; y4} et W = {z1 ; z2 ; z3}.

Considrons les relations floues suivantes : R : "x est beaucoup plus grand que y",
S : "y est trs proche de z" dfinies respectivement sur UxV et VxW par :

Projection de R:

47

Composition min-max de R suivie de S :