Vous êtes sur la page 1sur 17

Introduction ` a La Logique Floue

Franck Dernoncourt franck.dernoncourt@gmail.com

Paris, Avril 2011

Table des mati` eres

Table des mati` eres Table des gures 1 La logique oue 1.1 Introduction . . . . . . . . . . . . 1.2 Les sous-ensembles ous . . . . . 1.3 Les variables linguistiques . . . . 1.4 Les op erateurs ous . . . . . . . 1.5 Le raisonnement en logique oue 1.6 La d efuzzication . . . . . . . . . 1.7 Conclusions . . . . . . . . . . . . 1.8 Remerciements . . . . . . . . . . Bibliographie

i ii 1 . 1 . 2 . 4 . 6 . 7 . 9 . 11 . 13 14

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

. . . . . . . .

Table des gures

1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 1.10 1.11 1.12 1.13 1.14 1.15

Fonction dappartenance caract erisant le sous-ensemble bon de la qualit e du service . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Repr esentation graphique dun ensemble classique et dun ensemble ou Comparaison entre fonction caract eristique dun ensemble classique et fonction dappartenance dun ensemble ou . . . . . . . . . . . . . . . Propri et es dun ensemble ou . . . . . . . . . . . . . . . . . . . . . . . Variable linguistique qualit e du service . . . . . . . . . . . . . . . . . Variable linguistique qualit e de la nourriture . . . . . . . . . . . . . . Variable linguistique montant du pourboire . . . . . . . . . . . . . . Exemple dimplication oue . . . . . . . . . . . . . . . . . . . . . . . . Exemple dimplication oue avec conjonction OU traduite par un MAX Exemple dimplication oue en utilisant la matrice des d ecisions . . . D efuzzication avec la m ethode moyenne des maxima (MM) . . . . . . D efuzzication avec la m ethode centre de gravit e (COG) . . . . . . . . Aper cu synoptique dun syst` eme ou . . . . . . . . . . . . . . . . . . . Ensemble des d ecisions dun syst` eme ou . . . . . . . . . . . . . . . . Ensemble des d ecisions dun syst` eme se basant sur la logique classique

2 3 3 5 5 6 6 8 9 10 10 11 12 12 13

ii

Chapitre

La logique oue

La v erit e nest pas lexactitude. Henri Matisse.

1.1

Introduction

La logique oue est une extension de la logique bool eenne cr e ee par Lot Zadeh en 1965 en se basant sur sa th eorie math ematique des ensembles ous, qui est une g en eralisation de la th eorie des ensembles classiques. En introduisant la notion de degr e dans la v erication dune condition, permettant ainsi ` a une condition d etre dans un autre etat que vrai ou faux, la logique oue conf` ere une exibilit e tr` es appr eciable aux raisonnements qui lutilisent, ce qui rend possible la prise en compte des impr ecisions et des incertitudes. Un des int er ets de la logique oue pour formaliser le raisonnement humain est que les r` egles sont enonc ees en langage naturel. Voici par exemple quelques r` egles de conduite quun conducteur suit, en supposant quil tienne ` a son permis :
Si le feu est rouge... Si le feu est rouge... Si le feu est orange... Si le feu est vert... si ma vitesse elev ee... si ma vitesse faible... si ma vitesse moyenne... si ma vitesse faible... est est est est et si le feu est proche... et si le feu est loin... et si le feu est loin... et si le feu est proche... alors je freine fort. alors je maintiens ma vitesse. alors je freine doucement. alors jacc el` ere.

Intuitivement, il semble donc que les variables dentr ee ` a linstar de cet exemple sont 1

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 2 sur 13

appr eci ees par le cerveau de mani` ere approximative, correspondant ainsi au degr e de v erication dune condition de la logique oue. An dexemplier chacune des d enitions, nous allons concevoir au l de ce cours dintroduction ` a la logique oue un syst` eme dinf erence ou concret dont lobjectif est de d ecider du pourboire ` a donner ` a la n dun repas au restaurant en fonction de la qualit e du service ainsi que de la qualit e de la nourriture.

1.2

Les sous-ensembles ous

La logique oue repose sur la th eorie des ensembles ous, qui est une g en eralisation de la th eorie des ensembles classiques [Zadeh, 1965]. Par abus de langage, suivant les us de la litt erature, nous utiliserons indi eremment les termes sous-ensembles ous et ensembles ous. Les ensembles classiques sont egalement appel es ensembles nets, par opposition ` a ou, et de m eme la logique classique est egalement appel ee logique bool eenne ou binaire.

Figure 1.1: Fonction dappartenance caract erisant le sous-ensemble bon de la qualit e du service

La gure 1.1 montre la fonction dappartenance choisie pour caract eriser le sousensemble bon de la qualit e du service. D enition 1. Soit X un ensemble. Un sous-ensemble ou A de X est caract eris e par une fonca tion dappartenance f : X [0, 1]. Note : cette fonction dappartenance est l equivalent de la fonction caract eristique dun ensemble classique.

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 3 sur 13

Dans notre exemple du pourboire, il nous faudra red enir des fonctions dappartenance pour chaque sous-ensemble ou de chacune de nos trois variables : Input 1 : qualit e du service. Sous-ensembles : mauvais, bon et excellent. Input 2 : qualit e de la nourriture. Sous-ensembles : ex ecrable et d elicieux. Output : montant du pourboire. Sous-ensembles : faible, moyen et elev e. La forme de la fonction dappartenance est choisie arbitrairement en suivant les conseils de lexpert ou en faisant des etudes statistiques : formes sigmo de, tangente hyperbolique, exponentielle, gaussienne ou de toute autre nature sont utilisables. La gure 1.2 montre graphiquement la di erence entre un ensemble classique et lensemble ou correspondant ` a une nourriture d elicieuse.

Figure 1.2: Repr esentation graphique dun ensemble classique et dun ensemble ou

La gure 1.3 compare les deux fonctions dappartenance correspondant aux ensembles pr ec edents.

Figure 1.3: Comparaison entre fonction caract eristique dun ensemble classique et fonction dappartenance dun ensemble ou

Pour pouvoir d enir les caract eristiques des ensembles ous, nous red enissons et

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 4 sur 13

etendons les caract eristiques usuelles des ensembles classiques. Soit X un ensemble, A un sous-ensemble ou de X et A la fonction dappartenance le caract erisant. D enition 2. La hauteur de A, not ee h(A), correspond ` a la borne sup erieure de lensemble darriv ee de sa fonction dappartenance : h(A) = sup{A (x) | x X }. D enition 3. A est dit normalis e si et seulement si h(A) = 1. En pratique, il est extr emement rare de travailler sur des ensembles ous non normalis es. D enition 4. Le support de A est lensemble des el ements de X appartenant au moins un peu ` a A. Autrement dit, cest lensemble supp(A) = {x X | A (x) > 0}. D enition 5. Le noyau de A est lensemble des el ements de X appartenant totalement ` a A. Autrement dit, cest lensemble noy (A) = {x X | A (x) = 1}. Par construction, noy(A) supp(A). D enition 6. Une -coupe de A est le sous-ensemble classique des el ements ayant un degr e dappartenance sup erieur ou egal ` a : -coupe(A) = {x X | A (x) }.

Une autre fonction dappartenance pour un pourboire moyen sur lequel nous avons fait gurer les propri et es pr ec edentes est pr esent ee sur la gure 1.4. Nous remarquons que si A etait un ensemble classique, nous aurions simplement supp(A) = noy (A) et h(A) = 1 (ou h(A) = 0 si A = ). Nos d enitions permettent donc bien de retrouver les propri et es usuelles des ensembles classiques. Nous ne parlerons pas de la cardinalit e car nous nutiliserons pas cette notion dans la suite de ce cours.

1.3

Les variables linguistiques

Le concept de fonction dappartenance vu pr ec edemment nous permettra de d enir des syst` emes ous en langage naturel, la fonction dappartenance faisant le lien entre logique oue et variable linguistique que nous allons d enir ` a pr esent.

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 5 sur 13

Figure 1.4: Propri et es dun ensemble ou

D enition 7. Soit V une variable (qualit e du service, montant du pourboire, etc.), X la plage de valeurs de la variable et TV un ensemble ni ou inni de sous-ensembles ous. Une variable linguistique correspond au triplet (V, X, TV ).

Figure 1.5: Variable linguistique qualit e du service

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 6 sur 13

Figure 1.6: Variable linguistique qualit e de la nourriture

Figure 1.7: Variable linguistique montant du pourboire

1.4

Les op erateurs ous

An de pouvoir manipuler ais ement les ensembles ous, nous red enissons les op erateurs de la th eorie des ensembles classiques an de les adapter aux fonctions dappartenance propres ` a la logique oue permettant des valeurs strictement entre 0 et 1. Contrairement aux d enitions des propri et es des ensembles ous qui sont toujours les

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 7 sur 13

m emes, la d enition des op erateurs sur les ensembles ous est choisie, ` a linstar des fonctions dappartenance. Voici les deux ensembles dop erateurs pour le compl ement (NON), lintersection (ET) et lunion (OU) utilis es le plus couramment :
D enomination Op erateurs de Zadeh MIN/MAX Probabiliste PROD/PROBOR Intersection ET : AB (x) min (A (x), B (x)) A (x) B (x) R eunion OU : AB (x) max (A (x), B (x)) A (x) + B (x) A (x) B (x) Compl ement NON : A (x) 1 A (x) 1 A (x)

Avec les d enitions usuelles des op erateurs ous, nous retrouvons toujours les propri et es de commutativit e, distributivit e et associativit e des op erateurs classiques. Cependant, relevons deux exceptions notables : = X , autrement En logique ou, le principe du tiers exclu est contredit : A A dit AA (x) = 1. En logique oue, un el ement peut appartenir ` a A et non A en m eme temps : A A = , autrement dit AA el ements correspondent (x) = 0. Notons que ces ` a lensemble supp(A) noy(A).

1.5

Le raisonnement en logique oue

En logique classique, les raisonnements sont de la forme : Si p alors q p vrai alors q vrai En logique oue, le raisonnement ou, egalement appel e raisonnement approximatif, se base sur des r` egles oues qui sont exprim ees en langage naturel en utilisant les variables linguistiques dont nous avons donn e la d enition pr ec edemment. Une r` egle oue aura cette forme : Si x A et y B alors z C , avec A, B et C des ensembles ous. Par exemple : Si (la qualit e de la nourriture est d elicieuse), alors (le pourboire sera elev e). La variable pourboire appartient ` a lensemble ou elev e ` a un degr e qui d epend du degr e de validit e de la pr emisse, autrement dit du degr e dappartenance de la variable qualit e de la nourriture ` a lensemble ou d elicieux. Lid ee sous-jacente est que plus les propositions en pr emisse sont v eri ees, plus laction pr econis ee pour les

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 8 sur 13

sorties doit etre respect ee. Pour conna tre le degr e de v erit e de la proposition oue le pourboire sera elev e, nous devons d enir limplication oue. ` linstar des autres op A erateurs ous, il nexiste pas de d enition unique de lapplication oue : le concepteur du syst` eme ou devra choisir parmi le large choix dimplications oues d ej` a d enies, ou bien la d enir ` a la main. Voici les deux d enitions de limplication oue les plus couramment utilis ees :
Nom Mamdani Larsen Valeur de v erit e min (fa (x), fb (x)) fa (x) fb (x)

Fait notable, ces deux implications ne g en eralisent pas limplication classique. Il existe dautres d enitions dimplication oue la g en eralisant, mais elles sont moins utilis ees. Si nous choisissons limplication de Mamdani, voici ce que nous obtenons pour la r` egle oue Si (la qualit e de la nourriture est d elicieuse), alors (le pourboire sera elev e) lorsque la qualit e de la nourriture est not ee 8,31 sur 10 :

Figure 1.8: Exemple dimplication oue

Le r esultat de lapplication dune r` egle oue d epend donc de trois facteurs : 1. la d enition dimplication oue choisie ; 2. la d enition de la fonction dappartenance de lensemble ou de la proposition situ ee en conclusion de la r` egle oue ; 3. le degr e de validit e des propositions situ ees en pr emisse. Comme nous avons d eni les op erateurs ous ET, OU et NON, la pr emisse dune r` egle oue peut tr` es bien etre form ee dune conjonction de propositions oues. Lensemble des r` egles dun syst` eme ou est appel e la matrice des d ecisions. Voici celui de notre exemple du pourboire :

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 9 sur 13

Si le service est mauvais ou la nourriture est ex ecrable Si le service est bon Si le service est excellent ou la nourriture est d elicieuse

alors le pourboire est faible alors le pourboire est moyen alors le pourboire est elev e

La gure 1.9 montre nous obtenons pour la r` egle oue Si (le service est excellent ou la nourriture est d elicieuse), alors (le pourboire sera elev e) lorsque la qualit e du service est not ee 7,83 sur 10 et la qualit e de la nourriture 7,32 sur 10 si nous choisissons limplication de Mamdani ainsi que la traduction du OU par MAX.

Figure 1.9: Exemple dimplication oue avec conjonction OU traduite par un MAX

Nous allons maintenant appliquer lensemble des 3 r` egles de notre matrice des d ecisions. Cependant, nous allons obtenir 3 ensembles ous pour le pourboire : nous les agr egerons par lop erateur MAX qui est presque toujours utilis e pour lagr egation. La gure 1.10 montre cette agr egation. Comme nous le voyons, il ne nous reste plus qu` a prendre la d ecision nale, ` a savoir quel pourboire nous allons r eellement donner sachant que la qualit e du service est not ee 7,83 sur 10 et la qualit e de la nourriture 7,32 sur 10. Cette etape nale, qui permet de passer de lensemble ou issu de lagr egation des conclusions ` a une d ecision unique, sappelle la d efuzzication.

1.6

La d efuzzication

Comme pour tous les op erateurs ous, le concepteur du syst` eme ou doit choisir parmi plusieurs d enitions possibles de d efuzzication. Une liste d etaill ee peut etre consult ee dans [Leekwijck and Kerre, 1999]. Nous allons pr esenter bri` evement les deux principales m ethodes de d efuzzication : la m ethode moyenne des maxima (MM) et la m ethode du centre de gravit e (COG). La d efuzzication MM d enit la sortie (d ecision du montant du pourboire) comme

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 10 sur 13

Figure 1.10: Exemple dimplication oue en utilisant la matrice des d ecisions

etant la moyenne des abscisses des maxima de lensemble ou issu de lagr egation des conclusions. De cision =
S

o` u S = {ym R, (ym ) = SU PyR ((y ))} et R est lensemble ou issu de lagr egation des conclusions.

y dy S dy

Figure 1.11: D efuzzication avec la m ethode moyenne des maxima (MM)

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 11 sur 13

La d efuzzication COG est plus couramment utilis ee. Elle d enit la sortie comme correspondant ` a labscisse du centre de gravit e de la surface de la fonction dappartenance caract erisant lensemble ou issu de lagr egation des conclusions. De cision =
S

y (u)dy (u)dy

Figure 1.12: D efuzzication avec la m ethode centre de gravit e (COG)

Cette d enition permet d eviter les discontinuit es qui pouvaient appara tre dans la d efuzzication MM, mais est plus complexe et demande des calculs plus importants. Certains travaux tel [Madau D., 1996] cherchent ` a am eliorer les performances en cherchant dautres m ethodes aussi ecaces mais avec une complexit e algorithmique moindre. Comme nous le voyons sur les 2 gures montrant les m ethodes de d efuzzication MM et COG appliqu ees ` a notre exemple, le choix de cette m ethode a un eet important sur la d ecision nale.

1.7

Conclusions

Au cours des d enitions, nous avons vu que le concepteur dun syst` eme ou doit faire un nombre de choix important. Ces choix se basent essentiellement sur les conseils de lexpert ou sur lanalyse statistique des donn ees pass ees, en particulier pour d enir les fonctions dappartenance et la matrice des d ecisions. Voici un aper cu synoptique dun syst` eme ou : Dans notre exemple,

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 12 sur 13

Figure 1.13: Aper cu synoptique dun syst` eme ou

linput est la qualit e du service est not ee 7,83 sur 10 et la qualit e de la nourriture 7,32 sur 10 ; le fuzzier correspond aux 3 variables linguistiques qualit e du service, qualit e de la nourriture et montant du pourboire ; le moteur dinf erence est constitu e du choix des op erateurs ous ; la base de connaissances oues est lensemble des r` egles oues ; le defuzzier est la partie o` u entre en jeu la m ethode de d efuzzication ; loutput correspond ` a la d ecision nale : le montant du pourboire est 25,1. Il est int eressant de voir lensemble des d ecisions en fonction de chacune des variables avec notre syst` eme dinf erence ou (gure 1.14) par rapport au type densemble de d ecisions que nous obtiendrions en utilisant la logique classique (gure 1.15).

Figure 1.14: Ensemble des d ecisions dun syst` eme ou

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Introduction ` a la logique oue par Franck Dernoncourt - (Home Page) (Blog) (E-mail)

Page 13 sur 13

Figure 1.15: Ensemble des d ecisions dun syst` eme se basant sur la logique classique

Ainsi, toute la puissance de la logique oue est de rendre possible la mise en place de syst` emes dinf erence dont les d ecisions sont sans discontinuit es, exibles et non lin eaires, plus proche du comportement humain que ne lest la logique classique. De plus, les r` egles de la matrice des d ecisions sont exprim ees en langage naturel, ce qui comporte de nombreux avantages, comme par exemple inclure des connaissances dun expert non informaticien au coeur dun syst` eme d ecisionnel ou encore mod eliser plus nement certains aspects du langage naturel.

1.8

Remerciements

Je tiens ` a remercier (en ordre chronologique) : Jean Baratgin et Emmanuel Sander pour mavoir laiss e lopportunit e d ecrire ce cours sur la logique oue ; Alp Mestan et Romuald Perrot pour leur aide dans la mise en ligne ce cours sur Developpez.com ; 3DArchi, Julien Plu et Antoine Dinimant pour leur avis technique ; Patriarch24 pour avoir eectu e la correction orthographique.

Copyright 2011 - Franck Dernoncourt <franck.dernoncourt@gmail.com>. Ce cours est sous la licence libre Creative Commons-BY-SA. Vous pouvez le diuser sous condition de garder cette licence et de citer lauteur de ce document. http ://franck-dernoncourt.developpez.com/tutoriels/algo/introduction-logique-oue/

Bibliographie

[Leekwijck and Kerre, 1999] Leekwijck, W. V. and Kerre, E. E. (1999). Defuzzication : criteria and classication. Fuzzy Sets and Systems, 108(2) :159 178. [cited at p. 9] [Madau D., 1996] Madau D., D. F. (1996). Inuence value defuzzication method. Fuzzy Systems, Proceedings of the Fifth IEEE International Conference, 3 :1819 1824.
[cited at p. 11]

[Zadeh, 1965] Zadeh, L. (1965). Fuzzy sets. Information and Control, 8(3) :338 353.
[cited at p. 2]

14

Vous aimerez peut-être aussi