Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la...

63
1 Logique floue Logique floue « Ce que les hommes veulent en fait, ce n’est pas la connaissance, c’est la certitude. » Bertrand Russel

Transcript of Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la...

Page 1: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

1

Logique floue

Logique floue

« Ce que les hommes veulent en fait, ce n’est pas la connaissance, c’est la certitude. »

Bertrand Russel

Page 2: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

2

2

Logique floue

Nous faisons de la logique floue….

Exemple de règles floues:

Règles de conduite automobile à l’approche d’un carrefour contrôlé par des feux tricolores.

si le feu est rouge...

si ma vitesse est élevée ...

et si le feu est proche ...

alors je freine fort.

si le feu est rouge...

si ma vitesse est faible ...

et si le feu est loin ...

alors je maintiens ma vitesse.

si le feu est orange...

si ma vitesse est moyenne ...

et si le feu est loin ...

alors je freine doucement.

si le feu est vert...

si ma vitesse est faible ...

et si le feu est

proche ... alors j'accélère.

Les règles floues sont énoncées en langage naturel

Page 3: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

3

3

Logique floue

Transposition de notre exemple selon un modèle plus mathématique « moins flou » 

Si le feu est rouge, si ma vitesse dépasse 85,6 Km/H et si le feu est à moins de 62,3 mètres, alors j'appuie sur la pédale de frein avec une force de 33,2 Newtons !!!

Notre cerveau fonctionne en logique floue.

Elle apprécie les variables d'entrées de façon approximative (faible, élevée, loin, proche), fait de mêmes pour les variables de sorties (freinage léger ou fort) et édicte un ensemble de règles permettant de déterminer les sorties en fonction des entrées.

…sans le savoir!

Page 4: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

4

4

Logique floue

un patient atteint d'hépatite présente généralement les symptômes suivants :

• Le patient a une forte fièvre, • sa peau présente une coloration jaune, • il a des nausées.

Limite de la logique booléenneLimite de la logique booléenne

36 37 38 39 40 41 42

0

0.2

0.4

0.6

0.8

1

T(°C)

Avoir une forte fièvreEnsemble classique

36 37 38 39 40 41 42

0

0.2

0.4

0.6

0.8

1

Ensemble flou

T(°C)

Avoir une forte fièvre

Le patient n’a pas de forte fièvre Le patient n’a pas d’hépatite.

Le patient a une forte fièvre à 48% Le patient a une hépatite à x %.

Si le patient à 38,9°C de température

Logique classiqueLogique classique

Logique floueLogique floue

Page 5: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

5

5

Logique floue

Champ d’applications de la logique floueChamp d’applications de la logique floue

• Aide à la décision, au diagnostic. (domaine médical, orientation professionnelle…)

• Base de données.(objets flous et/ou requêtes floues)

• Reconnaissance de forme.

• Agrégation multicritère et optimisation

• Commande floue de systèmes…

•Traitement d’images (e.g. segmentation)

Page 6: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

6

6

Logique floue

Bref historique: les débutsBref historique: les débuts

1965: Concept introduit par Pr. Lotfi Zadeh (Berkeley): « Fuzzy set theory »: Définition des ensembles flous et opérateurs associés

1970: Premières applications: Systèmes experts, Aide à la décision en médecine,commerce…

1974: Première application industrielle. Régulation floue d’une chaudière à vapeur réalisée par Mamdani

Longtemps universitaire.

1985: Les premiers, les japonais introduisent des produits grand public « Fuzzy Logic Inside ».

Page 7: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

7

7

Logique floue

Bref historique: la maturitéBref historique: la maturité

1990: Généralisation de l’utilisation de cette technique. – appareils électroménagers (lave-linge, aspirateurs, autocuiseurs,...etc) , – systèmes audio-visuels (appareils de photos autofocus, caméscope à stabilisateur d'images,

photocopieurs,...)– systèmes automobiles embarqués (BVA, ABS, suspension, climatisation,...etc.),– systèmes autonomes mobiles, – systèmes de décision, diagnostic, reconnaissance, – systèmes de contrôle/commande dans la plupart des domaines industriels de production.

Il existe de processeurs dédiés et des interfaces de développement spécifiques (Cf 68HC12 de Motorola)

– Ex: la famille des processeurs WARP (Weight Associative Rule Processor) de SGS-THOMSON dont les principales caractéristiques sont les suivantes :

Nombre de règles traitées : 256 Nombre d' entrées : 16 Nombre de sorties : 16 Méthode de composition des règles : Centre de gravité Vitesse de traitement : 200 microsecondes pour 200 règles.

Page 8: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

8

8

Logique floue

AvertissementAvertissement

L’approche des problèmes par la logique floue est différente de celle adoptée, a priori, dans une démarche scientifique.

Elle est beaucoup plus pragmatique que déterministe.

La décision en logique floue est basée sur la notion d’expertise, qui permet de quantifier le flou à partir de connaissance a priori ou acquise antérieurement.

Ne pas être trop cartésien pour aborder la logique floue

Il n’est pas nécessaire d’avoir un modèle entrées/sorties d’une voiture pour pouvoir la conduire de manière satisfaisante.

Page 9: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

9

9

Logique floue

Concepts principauxConcepts principaux

1. Les ensembles et variables flous et opérateurs associés.

2. Prise de décision à partir d’une base de règles de type « SI…ALORS ».

inférence floue.

Deux points essentiels :

Page 10: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

10

10

Logique floue

Ensemble flouEnsemble flou

A

U

Soient U: L’univers du discours.A: un sous-ensemble de U

Théorie classique des ensembles:

' '

0

1

A

A

A

Si est la fonction d appartenance de l ensemble A

x U x si x A

x si x A

Concept d’ensemble flou:

' '

0;1A

A

Si est la fonction d appartenance de l ensemble flou A

x U x

Si =0,30x appartient à l’ensemble flou A avec un degré d’appartenance de 30%

A x

Un ensemble flou est totalement déterminé par sa fonction d’appartenance

degré d’appartenance = valeur de vérité.

Page 11: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

11

11

Logique floue

Un sous-ensemble flou F est défini sur un ensemble de valeur, le référentiel U. Il est caractérisé par une fonction d'appartenance :

qui quantifie le degré d'appartenance de chaque élément de U à F.

Froide : F ; Tiède : T ; Chaude : C

Logique classique(ensembles « nets »)

Logique floue(passage graduel)

Ensemble flouEnsemble flou

Page 12: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

12

12

Logique floue

XxxxA A /))(,( avec 1,0:)( XxA

0(x)X/xsupp(A) A

1(x)X/xnoy(A) A

Définitions-Propriétés

Une partie floue A de X peut aussi être caractérisée par l'ensemble de ses α-coupes. Une α-coupe d'un ensemble flou A est l’ensemble net (classique) des éléments ayant un degré d'appartenance supérieur ou égal à α.

α-coupe(A) = {x ∈ X| μA(x) ≥ α}=A

0,5

A

Ensemble flouEnsemble flou

Page 13: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

13

13

Logique floue

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

partition floue de l'univers du discours

Taille(m)

Petit Moyen Grand

Exemples d’ensembles flousExemples d’ensembles flous

Ici, Pierre mesure 1m625se traduit en logique floue par« Pierre est petit » à un degré de 75%« Pierre est moyen » à 25%« Pierre est grand » à 0%

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble flou " Personne de petite taille"

Taille(m)

Petit

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble flou: "Personne de taille moyenne"

Taille(m)

Moyen

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble flou :"Personne de grande taille"

Taille(m)

Grand

Page 14: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

14

14

Logique floue

Fonctions d’appartenance particulièresFonctions d’appartenance particulières

0

0

x 0 0

x 0

Lorsqu'un fait certain correspond à l'énoncé de la valeur d'une variable, on a un singleton:

1 pour

0 pour

x x x

x x x

1Couleur dufeu tricolore

rouge orange vert

Fonction d’appartenance de la classe « Le feu est rouge »Fonction d’appartenance de la classe « Le feu est rouge »

Les ensembles classiques sont des cas particuliers d'ensemble flou.

Leurs fonctions d'appartenances valant 0 ou 1 sont en créneaux

Fonction d’appartenanceFonction d’appartenance de la classe « la température est tiède»de la classe « la température est tiède»

1

T(°C)

15°C 20°C

La logique floue englobe les données certaines

Page 15: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

15

15

Logique floue

Opérateurs de logique floue Opérateurs de logique floue 

• Comme pour la théorie classique des ensembles.

On définit l’union, l’intersection, le complément….d’ensembles flous

logique booléenne standard = cas particulier de la logique floue

Tous les résultats obtenus en logique classique doivent être retrouvés par la logique floue

Page 16: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

16

16

Logique floue

Si A et B sont deux sous-ensembles flous et A(x) et B(x) leur fonction d'appartenance, on définit :

)x()x( AA 1

• Le complémentaire cAA Ade

ComplémentComplément

Page 17: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

17

17

Logique floue

ComplémentComplément

A est l’ensemble flou des personnes petites.

L’ensemble des personnes NON petites est un ensemble flou de fonction d’appartenance :

1 AAx x x U

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Partition floue de l'univers du discours

Taille(m)

Petit Moyen Grand

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble floue :"Personnes non petites"

Taille (m)

Page 18: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

18

18

Logique floue

• Le sous-ensemble A et B (AB), par:

))x(),x((min)x( BAUx

BA

• Le sous-ensemble A ou B (AB), par:

T-norme

T-conorme ( -norme)

Remarque: T pour Triangulaire

Intersection, unionIntersection, union

(x)

(x)

))x(),x((max)x( BAUx

BA

Page 19: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

19

19

Logique floue

UnionUnion

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 A Bx max x x x U

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble flou:"Personne petite OU moyenne"

Taille(m)

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Partition floue de l'univers du discours

Taille(m)

Petit Moyen Grand

Page 20: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

20

20

Logique floue

IntersectionIntersection

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 A Bx min x x x U

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Ensemble flou: "Personne petite et moyenne"

Taille (m)

1.5 1.55 1.6 1.65 1.7 1.75 1.8 1.85 1.9

0

0.2

0.4

0.6

0.8

1

Partition floue de l'univers du discours

Taille(m)

Petit Moyen Grand

Page 21: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

21

21

Logique floue

T-norme T-conorme Négation Nom

min(x,y) max(x,y)

1 - x Zadeh

x.y x + y - xy 1 - x probabiliste

max(x + y - 1, 0) min(x + y, 1) 1 - x Lukasiewicz

max(1-((1-x)p+(1-y)p),0) min((xp+yp)1/p,1) 1-x Yager (p>0)

x si y = 1

y si x = 1

0 sinon

x si y = 0

y si x = 0 1 sinon

1 - x drastique

OpérateursOpérateurs

Liste non exhaustive

Page 22: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

22

22

Logique floue

Opérateurs les plus utilisésOpérateurs les plus utilisés

Dénomination Intersection

ET

(t-norme)

Réunion

OU

(t-conorme)

Complément

NON

Opérateurs de Zadeh

MIN/MAX

Probabiliste

PROD/PROBOR

,A B A Bx max x x ,A B A Bx min x x

A B A Bx x x A B A Bx x x x

1 AAx x

1 AAx x

Page 23: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

23

23

Logique floue

OpérateursOpérateurs

Commutativité

Distibutivité

A B C A B A C

A B C A B A C

Associaticité

A B C A B C

A B C A B C

Lois de Morgan

A B A B

A B A B

��������������

2 exceptions notables :2 exceptions notables :

i.e. 0A A

A A x

2. En logique floue, on peut être A et non A en même temps.

i.e. 1A A

A A U x

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

les définitions d'opérateurs ET et OU, on retrouve les propriétés des opérateurs booléens

Page 24: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

24

24

Logique floue

Fuzzification

La fuzzification est l’étape qui consiste en la quantification floue des valeurs réelles d’une variable.

Interface defuzzification

« Pierre est petit » à un degré de 75%Pierre mesure 1m625

« Pierre est grand » à 0%« Pierre est moyen » à 25%

Les systèmes à base de logique floue traitent de variables d’entrées floues et fournissent de résultats sur des variables de sorties elle-mêmes floues

Page 25: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

25

25

Logique floue

Comment fuzzifier?

Pour fuzzifier, il faut donner:

1. L’univers du discours i.e.: Plage de variations possibles de l’entrée considérée.

2. Une partition en classe floue de cet univers.3. Les fonctions d’appartenances de chacune de ces classes.

La fuzzification des variables est une phase délicate du processus mis en oeuvre par la logique floue. Elle est souvent réalisée de manière itérative et requiert de l'expérience (expertise).

• Il faut fuzzifier les entrées ET les sorties du processus flou.

Exemple: Selon les valeurs des entrées , le système flou indiquera qu’en sortie la puissance de chauffe devra prendre les valeurs de sortie « faible » ou « moyenne » ou « forte ».

Page 26: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

26

26

Logique floue

Variables floues

• Logique floue basée sur des variables floues dites variables variables linguistiqueslinguistiques à valeurs linguistiques dans l’univers du discours U.

• Chaque valeur linguistique constitue alors un ensemble flou de l’univers du discours.

Exemple:

Univers du discours :Univers du discours : Gamme de température de 0°C à 200°C.Variable linguistique :Variable linguistique : La température.Valeurs linguistiques :Valeurs linguistiques : « Très froid» « Froid » « Tempéré » « Chaud » « Très Chaud »

Page 27: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

27

27

Logique floue

Une variable linguistique est représentée par un triplet (V, XV, TV)– V : nom de la variable (age, taille, température, longueur,...)– XV : univers des valeurs prises par V ( ,...)ℝ– TV = {A1, A2, ...} : ensemble de sous-ensembles flous de XV,

utilisés pour caractériser V. Par exemple: (Age-Personne, [0,130], {Très-jeune, Jeune,

Agé})

1

0Age

Très-jeune Jeune Agé

Variable linguistique

Page 28: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

28

28

Logique floue

Après avoir "fuzzyfier" les variables d'entrée et de sortie, il faut établir les règles liant les entrées aux sorties.

But final: à chaque instant, analyser l'état ou la valeur des entrées du système pour déterminer l'état ou la valeur de toutes les sorties.

Principe de la logique floue:

Plus la condition sur les entrées est vraie,Plus l'action préconisée pour les sorties doit être respectée

Règles floues

Page 29: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

29

29

Logique floue

Raisonnement flou

Variables linguistiques et propositions floues– Variables linguistiques– Proposition floue générale– Implication floue

Raisonnement Flou– Modus ponens classique– Modus ponens généralisé

Application du Modus ponens généralisé

Règles floues

Page 30: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

30

30

Logique floue

Base de règles

Les systèmes à logique floue utilisent une expertise exprimée sous forme d’une base de règles du type: Si….Alors…

Si X est A Alors Y est B

Si ET ALORS Temps est beau Moment est DébutMatinée Moral est haut

Si ET ALORS Cours est Ennuyeux Moment est DébutCours Moral est bas

Si ET ALORS Cours est Intéressant ChargedeTravail est Importante Moral est Maussade

Si .........

Page 31: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

31

31

Logique floue

Règles floues

Une règle

Page 32: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

32

32

Logique floue

Plusieurs règles

Règles floues

Page 33: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

33

33

Logique floue

Exemple d’un système de règles floues

Page 34: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

34

34

Logique floue

Inférence floueInférence floue

Inférence : Opération logique par laquelle on admet une proposition en vertu de sa liaison avec d’autres propositions tenues pour vraies.

Si ET ALORS Temps est beau Moment est DébutMatinée Moral est haut

Prémisses Conjonction ConclusionImplication

En logique classique

Si p Alors q

p vrai Alors q vrai

En logique floue

Si X est A Alors Y est B

• La variable floue X appartient à la classe floue A avec un degré de validité (x0)

• La variable floue Y appartient à la classe floue B à un degré qui dépend du degré de validité (x0) de la prémisse

Page 35: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

35

35

Logique floue

Principe du raisonnement approximatifPrincipe du raisonnement approximatif

Plus la condition sur les entrées est vraie.

Plus l'action préconisée pour les sorties doit être respectée

SI la température est très basse ALORS Chauffer fort

Cette appartenance dépend de :

1) La classe floue de sortie considérée.2) du degré de validité de la prémisse prémisses(x0).3) de la méthode d’implication choisie.

La conclusion d’une règle floue est l’appartenance d’une variable floue de sortie « Chauffer » à une classe floue « fort ».

Page 36: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

36

36

Logique floue

Proposition floue élémentaire : qualification « V est A » d'une variable linguistique (V, X

V, T

V)

– Par exemple: « Age-personne est jeune » Proposition floue générale : composition de

propositions floues élémentaires de variables linguistiques qui peuvent être distinctes

– Soit « V est A » p.f.e. de (V, XV, T

V), et « W est B » p.f.e. de

(W, XW, T

W),

– Exemples de proposition floue générale : « V est A et W est B »« V est A ou W est B »

Proposition floueProposition floue

Page 37: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

37

37

Logique floue

Proposition classique : valeur de vérité {0, 1} (FAUX ou VRAI) Proposition floue : la valeur de vérité est un sous-ensemble flou à

valeurs dans [0,1] Valeur de vérité p

A de « V est A » :

A fonction d'appartenance de A

Négation: « V n'est pas A » : pAc

= Ac

= 1-A

Valeur de vérité p d'une proposition floue générale : agrégation des valeurs de vérité p

A et p

B de chaque proposition floue élémentaire

– Le type d'agrégation dépend de la composition réalisée (et, ou,...)

Conjonction « V est A et W est B » : pAB= min(p

A, p

B)

Disjonction « V est A ou W est B » : pAB= max(p

A, p

B)

Valeur de vérité d’une proposition floueValeur de vérité d’une proposition floue

Page 38: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

38

38

Logique floue

Règle de production : lien particulier (implication) entre 2 propositions floues

– « V est A W est B » est lue « si V est A alors W est B »– « V est A » = prémisse– « W est B » = conclusion– Par exemple: « si Age-personne est Jeune alors Salaire est Bas »

Valeur de vérité de l'implication « V est A W est B » : évaluée par une fonction implicative f

I : X x Y [0,1]

x X, y Y, fI(x, y) = (

A(x),

B(y))

est une fonction [0,1]x[0,1] [0,1] qui est équivalente à l'implication classique quand les propositions sont classiques.

Implication floueImplication floue

Page 39: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

39

39

Logique floue

fI(x, y) = (

A(x),

B(y))

-

Principales fonctions d'implication flouePrincipales fonctions d'implication floue

Page 40: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

40

40

Logique floue

Logique classique Logique classique vsvs Logique floue Logique floue

Page 41: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

41

41

Logique floue

Modus ponens de la logique classique

Règle: Prémisse Conclusion

Observation: Prémisse-observée

Déduction: Conclusion

Modus ponens :

règle de déduction pour inférer de la connaissance

Règle: H est humain H est mortel

Observation: Socrate est humain

Déduction: Socrate est mortel

Mode de raisonnement classiqueMode de raisonnement classique

Page 42: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

42

42

Logique floue

Modus ponens généralisé : extension du MP aux propositions floues Soient (V, X

V, T

V) et (W, X

W, T

W) deux variables linguistiques

Règle floue: V est A W est B

A B

Observation floue: V est A'

A'

Déduction: W est B'

B'

A,

B, et

A' sont connues, on recherche la valeur de

B'(y), y Y

Mode de raisonnement flouMode de raisonnement flou

A partir d’une règle floue et d’un fait observé A’ pour V, on en déduit une valeur B’ pour W.

Page 43: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

43

43

Logique floue

Règle floue « V est A W est B » Implication x X, y Y, fI(x,y)= (A(x), B(y))

Le MPG combine la règle floue avec l'observation « V est A' » pour construire la conclusion B'

Opérateur de modus ponens généralisé : fonction T de [0,1]x[0,1] dans [0,1] pour combiner f

I et

A' T est une t-norme T est liée à fI pour que le MPG soit compatible avec le modus ponens classique.

On a, pour tout y Y :

B' = sup

x X T(f

I(x,y),

A'(x))

Modus ponens généraliséModus ponens généralisé

Page 44: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

44

44

Logique floue

Exemples d'opérateurs de MPGExemples d'opérateurs de MPG

Zadeh : u,v [0,1], T(u,v) = min(u,v)Utilisé avec les implications de Mamdani, Larsen,...

Lukasiewicz : u,v [0,1], T(u,v) = max(u+v-1,0)Utilisé avec les implications de Lukasiewicz,

Reichenbach, Mamdani, Larsen,...

Page 45: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

45

45

Logique floue

Applications du modus ponens généraliséApplications du modus ponens généralisé

Commande floue : ensemble de règles floues + entrée numérique + sortie numérique Contrôle flou de processus Phase de défuzzification nécessaire

Systèmes experts flous : ensemble de règles floues + entrée floue + sortie floue Raisonnement flou, inférence de connaissances Pas de défuzzification

Raisonnement par analogie : ensemble de règles floues + entrée floue + sortie floue B' est à B ce que A' est à A ressemblance (A,A') doit être la même que ressemblance(B,B')

Page 46: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

46

46

Logique floue

Méthodes d’implicationMéthodes d’implication

2 méthodes principales d’implication floue:

0' ,conclusion prémisse conclusiony

y x yMIN Méthode de Mamdani :

0'conclusion prémisse conclusiony x y Méthode de Larsen :

Page 47: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

47

47

Logique floue

-10 -5 0 5 10 15

0

0.2

0.4

0.6

0.8

1Température trés basse

T(°C)0 5 10 15

0

0.2

0.4

0.6

0.8

1Chauffer fort

Puissance chauffe(KW)0 5 10 15

0

0.2

0.4

0.6

0.8

1Chauffer fort

Puissance chauffe(KW)0 5 10 15

0

0.2

0.4

0.6

0.8

1Chauffer fort

Puissance chauffe(KW)

0' ,conclusion prémisse conclusiony

y x yMIN

-10 -5 0 3 5 10 15

0

0.2

0.4

0.6

0.7

0.8

1Température trés basse

T(°C)

Exemple (Mamdani) Exemple (Mamdani)

Plus la condition sur les entrées est vraie.

Plus l'action préconisée pour les sorties doit être respectée

Règle: SI la température est très basse ALORS Chauffer fort

12KW

Selon la règle considérée, si T=3°C alors Puissance de chauffe =12KW

T=3°C

Page 48: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

48

48

Logique floue

Activation des règlesActivation des règles

1 11 2 12 1

1 21 2 22 2

1 31 2 32 3 33 3

R1:

R2:

R3:

..........

Si X est A et X est A alors Y est B

Si X est A ou X est A alors Y est B

Si X est A et X est A et X est A alors Y est B

• Une règle est activée dès qu’elle a une prémisse ayant une valeur de vérité non nulle.

• Plusieurs règles peuvent être activées simultanément et préconiser des actions avec différents degrés de validités; ces actions peuvent être contradictoires.

Il convient d’agréger les règles pour fournir une appartenancede la variable floue de sortie à une classe floue consolidée

Page 49: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

49

49

Logique floue

Composition de règlesComposition de règles

On considère que les règles sont liées par un opérateur OU.

iB By MAX y i indices des règles activées

Page 50: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

50

50

Logique floue

Exemple : Max-Min inférenceExemple : Max-Min inférence

Page 51: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

51

51

Logique floue

Moteurd’inférences

4 règles

R1

R2

R3

R4

moyenne=0.3

petite=0.7

petite=0.6

grande=0.1

0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortiePetite Moyenne Grande

Volt(v)

On considère un moteur d’inférence à 4 règles qui fournit pour sa sortie tension S1,

les résultats suivants :

0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortiePetite Moyenne Grande

Volt(v)

Implication flouede Mamdani

0' ,conclusion prémisse conclusiony

y x yMIN

ExempleExemple

Page 52: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

52

52

Logique floue

Exemple

0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortie

Volt(v)

A ce stade, on a la fonction d’appartenance d’un ensemble flouqui caractérise le résultat

0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortiePetite Moyenne Grande

Volt(v)

Associer à cette ensemble flou un nombre interprétable par l’utilisateur, l’interface de commande…

Il faut défuzzifier:

Agrégation des conclusions

iB By MAX y i indices des règles activées

ExempleExemple

Page 53: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

53

53

Logique floue

Principales méthodes de défuzzificationPrincipales méthodes de défuzzification

Méthode moyenne des maximums (MM)Méthode du centre de gravité (COG)

0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortie

Volt(v)

U

U

y y dy

sortiey dy

U Univers du discours

Toutes les valeurs de sorties considérées

C’est l’abscisse du centre de gravitéde la surface sous la courbe résultat

3,5V0 2 4 6 8 10

0

0.2

0.4

0.6

0.8

1

Tension de sortie

Volt(v)

0 0/

S

S

y U

y dy

sortiedy

où S y U y SUP y

C’est la moyenne des valeurs de sorties les plus vraisemblables

1,9V

Page 54: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

54

54

Logique floue

DéfuzzificationDéfuzzification

• En commande floue, la défuzzification COG est presque toujours utilisée. Elle prend en compte l’influence de l’ensemble des valeurs proposées par la solution floue.

• La défuzzification MM est plutôt utilisée lorsqu’il s’agit de discriminer une valeur de sortie (Ex: reconnaissance de formes).

Page 55: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

55

55

Logique floue

Prise de décision par logique flouePrise de décision par logique floue

Page 56: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

56

56

Logique floue

Exemple : système de notation floueExemple : système de notation floue

Système d’inférences

floues

Résultats obtenus (sur 20)

Méthodes utilisées (sur 20)

Présentation (sur 20)

Évaluation du travail (sur 20)

On choisit :

Page 57: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

57

57

Logique floue

Mise en place du système d’inférences flouesMise en place du système d’inférences floues

3 entrées: Résultats, Méthodes, Présentation.1 sortie: Évaluation

1. Choix des entrées/sorties

2. Univers des discours

[0..20] pour chacune des E/S

3. Classes d’appartenances:

Résultats {Médiocre, Moyen, Excellent}

Méthodes {Médiocre, Moyen, Excellent}

Présentation {Médiocre, Moyen, Excellent}

Evaluation {Médiocre, Mauvais, Moyen, Bon, Excellent}

Page 58: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

58

58

Logique floue

4. Choix des fonctions d’appartenances

Entrées :

Sortie :

Mise en place du système d’inférences flouesMise en place du système d’inférences floues

Page 59: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

59

59

Logique floue

Bases de règlesBases de règles

1. If (Résultats is excellent) then (Evaluation is excellent)

2. If (Résultats is moyen) then (Evaluation is moyen)

3. If (Résultats is médiocre) then (Evaluation is médiocre)

4. If (Résultats is moyen) and (Méthodes is médiocre) then (Evaluation is mauvais)

5. If (Résultats is moyen) and (Méthodes is excellent) then (Evaluation is bon)

6. If (Résultats is médiocre) and (Méthodes is moyen) then (Evaluation is mauvais)

7. If (Résultats is excellent) and (Méthodes is excellent) and (Présentation is excellent) then (Evaluation is excellent)

8. If (Résultats is médiocre) and (Méthodes is excellent) then (Evaluation is moyen)

9. If (Résultats is excellent) and (Méthodes is médiocre) then (Evaluation is moyen)

Page 60: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

60

60

Logique floue

Choix des opérateurs flousChoix des opérateurs flous

ET flou : MINOU flou : MAXImplication floue : MINAgrégation des règles : MAXDéfuzzyfication : COG

Page 61: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

61

61

Logique floue

Surface de décision floueSurface de décision floue

(Obtenue pour une évaluation de la présentation de 10/20).

Page 62: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

62

62

Logique floue

ApplicationsApplications

• Fours à micro-ondes• Boites de vitesses automatiques • Ascenseurs (freinage, ralentissement) • Régulateurs de température • Système de freinage progressif (métro, tram, voiture) • Appareils photo et caméscopes "anti-tremblement" • Robotique• …

Page 63: Logique floue 1 « Ce que les hommes veulent en fait, ce nest pas la connaissance, cest la certitude. » Bertrand Russel.

63

63

Logique floue

This is the end of this part!This is the end of this part!