Cours Logique Floue
Cours Logique Floue
Cours Logique Floue
Sabeur ELKOSANTINI
Sabeur.Elkosantini@isima.rnu.tn
A. U. : 09-10 S. Elkosantini 1
Plan
A. U. : 09-10 S. Elkosantini 2
Plan
A. U. : 09-10 S. Elkosantini 3
1
I.A. – L’approche classique
) Introduction
« Science qui étudie comment faire faire à des machines des tâches pour
lesquelles l’homme est, aujourd’hui encore, le meilleur » (Rich et Knight).
A. U. : 09-10 S. Elkosantini 4
) La logique propositionnelle
Les propositions sont traitées comme des variables (désignées par des lettres).
A. U. : 09-10 S. Elkosantini 5
) La logique propositionnelle
Les propositions ont des valeurs dans l’ensemble {Vrai, faux} ou {0 , 1}.
Exemple de propositions :
Si p, alors q Noté aussi par p ⇒ q
A. U. : 09-10 S. Elkosantini 6
2
I.A. – L’approche classique
) Règle d’inférence
Conjonction
A
B
A⇒B CONJ: 1,2
A. U. : 09-10 S. Elkosantini 7
A. U. : 09-10 S. Elkosantini 8
A. U. : 09-10 S. Elkosantini 9
3
I.A. – L’approche classique
Base de connaissances
Moteur
d’inférence
z F1 : (non distance.<.300km)
z F2 : (avoir.le.téléphone)
Base de faits
A. U. : 09-10 S. Elkosantini 10
¾ Il a des nausées.
1
Forte fièvre
Pas de fièvre
0
39
Dans un système à base de règles, les connaissances sont représentées par des
règles.
A. U. : 09-10 S. Elkosantini 12
4
I.A. – L’approche classique
9 Ne sélectionne que les règles dont la partie prémisse est vérifiée par les faits présents
9 S’arrête :
A. U. : 09-10 S. Elkosantini 13
A. U. : 09-10 S. Elkosantini 14
¾ de f1 sont déduits f2 et f3
¾ de f2 sont déduits f4 et f5
¾ etc ...
A. U. : 09-10 S. Elkosantini 15
5
I.A. – L’approche classique
9 U des
Une d règles
è l estt choisie
h i i selon
l une stratégie
t té i d donnée.
é
9 Ses prémisses sont empilées dans la mémoire de travail et deviennent les sous-buts
actuels à résoudre.
9 Le système continue à travailler de cette façon jusqu’à ce que tous les sous buts placés
en mémoire soient vérifiés.
A. U. : 09-10 S. Elkosantini 16
¾ de f4 est déduit f3
¾ de f3 est déduit f1
A. U. : 09-10 S. Elkosantini 17
) Inconvénients
Forte fièvre
1
Pas de fièvre
0
Et si la température était de 38,99 ?! 39
Et si la température était de 39,01 ?!
A. U. : 09-10 S. Elkosantini 18
6
I.A. – L’approche classique
) Inconvénients
A. U. : 09-10 S. Elkosantini 19
Plan
A. U. : 09-10 S. Elkosantini 20
) L’incertain et l’imprécis
A. U. : 09-10 S. Elkosantini 21
7
Théorie des sous ensembles flous
) L’incertain et l’imprécis
A. U. : 09-10 S. Elkosantini 22
) Historique
1965 : Théorie des ensembles flous introduite par L.A. Zadeh (UC Berkeley)
En 1973, le Pr. Zadeh publie un article (dans l'IEEE Transactions on Systems, Man
and Cybernetics) qui mentionne pour la première fois le terme de variables
linguistiques (dont la valeur est un mot et non un nombre).
nombre)
En 1980, F.L. Smidth & Co. A/S (au Danemark) met en application la théorie de
la logique floue dans le contrôle de fours à ciment. C'est la première mise en
œuvre pratique de cette nouvelle théorie.
A. U. : 09-10 S. Elkosantini 23
) Historique
A. U. : 09-10 S. Elkosantini 24
8
Théorie des sous ensembles flous
) Concepts fondamentaux
A. U. : 09-10 S. Elkosantini 25
) Concepts fondamentaux
A. U. : 09-10 S. Elkosantini 26
) Concepts fondamentaux
Si μ A ( x ) =0,10
x appartient à l’ensemble flou A avec un degré d’appartenance de 10%
Si μ A ( x ) =0,90
0 90
x appartient à l’ensemble flou A avec un degré d’appartenance de 90%
A. U. : 09-10 S. Elkosantini 27
9
Théorie des sous ensembles flous
) Concepts fondamentaux
9 Le support : S(A) = {x/μA(x) ≠ 0} ; cet ensemble décrit l'ensemble des éléments qui
sont partiellement dans A.
A. U. : 09-10 S. Elkosantini 28
) Concepts fondamentaux
La fonction d'appartenance décrivant un sous-ensemble flou est caractérisée par
quatre propriétés :
9 Le type :
ou ou
A. U. : 09-10 S. Elkosantini 29
) Notation :
L'intervalle flou couramment utilisé dans R est décrit par sa fonction
d'appartenance.
A. U. : 09-10 S. Elkosantini 30
10
Théorie des sous ensembles flous
) Notation :
Un nombre flou triangulaire est un cas particulier d’un nombre trapézoïdale.
Il est notée généralement par (a, α, β).
9 La traduction de l’expertise humaine vers ce type de nombre flou est plus facile.
A. U. : 09-10 S. Elkosantini 31
) Notation :
La fonction d’appartenance d’un nombre flou avec des cotés paraboliques est
définie de la manière suivante :
A. U. : 09-10 S. Elkosantini 32
Triangle [a,b,c]
Trapézoïdale [a,b,c,d]
Gaussien [a, ʘ]
singleton [a, m]
A. U. : 09-10 S. Elkosantini 33
11
Théorie des sous ensembles flous
Triangle [a,b,c]
Trapézoïdale [a,b,c,d]
Gaussien [a, ʘ]
singleton [a, m]
A. U. : 09-10 S. Elkosantini 34
Égalité de sefs:
A = B ssi ∀ x ∈ X, µA (x) = µB(x)
Inclusion de sefs:
A ⊂ B ssi ∀ x ∈ X, µA (x) < µB(x)
Intersection de sefs: A ∩ B:
∀ x ∈ X, µA∩B (x) = min(µA (x), µB(x))
Union de sefs: A ∪ B:
∀ x ∈ X, µA ∪ B (x) = max(µA (x), µB(x))
A. U. : 09-10 S. Elkosantini 35
μ A∪ B ( x ) = max ( μ A ( x ) , μ B ( x ) ) ∀x ∈ U
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
A. U. : 09-10 S. Elkosantini 36
12
Théorie des sous ensembles flous
μ A∪ B ( x ) = min ( μ A ( x ) , μ B ( x ) ) ∀x ∈ U
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
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
A. U. : 09-10 S. Elkosantini 37
μ A ( x ) = 1 − μ A ( x ) ∀x ∈ U
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
A. U. : 09-10 S. Elkosantini 38
9 A ∪ = A, A ∩ = , A ∪ X = X, A ∩ X = A
9 Associativité de ∩ et de ∪ : (A ∪ B) ∪ C = A ∪(B ∪ C)
¾ A ∪ (B∩C) = (A ∪ B)∩(A ∪ C)
A. U. : 09-10 S. Elkosantini 39
13
Théorie des sous ensembles flous
9 La relation de Morgan :
¾ A ( A ∩ B) = A ∩ (A B) = A
A. U. : 09-10 S. Elkosantini 40
L’addition :
μA+B(z) = max {min(μA(x), μB(y)) / x + y = z} :
La multiplication :
μA.B
A B(z) = max {min(μA(x), μB(y)) / xy = z}
A+B :
(a, b, α, β) + (a', b', α', β') = (a + a', b + b', α + α', β + β')
λB :
λ (a, b, α, β) = ( λ a, λ b, λ α, λ β)
A. U. : 09-10 S. Elkosantini 41
) Le produit cartésien :
Le produit cartésien est défini par μA*B (x, y) = min [μA(x), μB(y)].
Dans le cas fini, on peut définir le nombre d'éléments d'un ensemble flou A
par : card ( A) = ∑ μ A ( x)
card( A) = ∫ μx ( x)dx
x
A. U. : 09-10 S. Elkosantini 42
14
Théorie des sous ensembles flous
) La distance de Hamming
La notion de distance entre ensembles flous peut être utile pour définir des
relations telles que «à peu près égal» ou «très supérieur à».
∫μ
a
A ( x) − μ B ( x) dx
d ( A, B )
δ ( A, B) =
card ( X )
A. U. : 09-10 S. Elkosantini 43
) La distance de Hamming
A. U. : 09-10 S. Elkosantini 44
) Les α-coupes
Une α-coupe d'un sous-ensemble ou A pour une valeur α [ א0..1] est le sous-
ensemble classique noté Aα et déni par :
A α = {x ; μ A ( x ) ≥ α }
1
α1
α2
A. U. : 09-10 S. Elkosantini 45
15
Théorie des sous ensembles flous
) Les α-coupes
9 (A B)α = Aα Bα
9 (A ∩ B)α = Aα ∩ Bα
A. U. : 09-10 S. Elkosantini 46
) Principe d’extension
A. U. : 09-10 S. Elkosantini 47
) Principe d’extension
Mesure précise
Mesure floue
A. U. : 09-10 S. Elkosantini 48
16
Théorie des sous ensembles flous
) Principe d’extension
Principe : possédant une fonction sur un univers classique X, permettre son
utilisation avec des sefs de X .
A. U. : 09-10 S. Elkosantini 49
Fonction d
d’appartenance
appartenance, distance,
distance cardinalité,
cardinalité ensemble flou,
flou etc.
etc
… et après !!???
A. U. : 09-10 S. Elkosantini 50
A. U. : 09-10 S. Elkosantini 51
17
Théorie des sous ensembles flous
le
ib
t
or
en
fa
le
f
ib
oy
ès
ès
rt
Fa
Tr
Fo
M
Tr
L’ensemble de référence d’un mot du langage naturel s’appelle l’univers du
discours.
Sa valeur est définie dans des termes linguistiques qui peuvent être des mots
ou des phrases d’un langage naturel.
A. U. : 09-10 S. Elkosantini 52
A. U. : 09-10 S. Elkosantini 53
A. U. : 09-10 S. Elkosantini 54
18
Plan
A. U. : 09-10 S. Elkosantini 55
Logique floue
Commande
Mesures
Système
Modus Ponens:
A⇒B
A
Et si c’est à peu près A ??
B
Modus Ponens:
A⇒B
A’
??
A. U. : 09-10 S. Elkosantini 56
Logique floue
Cette forme de raisonnement a été adaptée à la logique floue pour prendre en compte
les informations et les règles vagues que les systèmes d
d'inférence
inférence peuvent contenir.
A. U. : 09-10 S. Elkosantini 57
19
Logique floue
Éclairage
Température Température
Contrôleur Ventilation Serre
Humidité flou Humidité
Agricole
Chauffage/
Rayonnement Refroidissement Rayonnement
Humidification
A. U. : 09-10 S. Elkosantini 58
Logique floue
Position
Cap/chaussée
Contrôleur Véhicule
Vitesse flou Pas moteur autonome
volant
Angle volant
A. U. : 09-10 S. Elkosantini 59
Logique floue
Fatigue
Performance
Contrôleur Robot
Conflit flou
R1: SI Degré (Stress de Robot) est Très faible ET Degré (Fatigue de Robot) est Très faible
ET Degré (Conflit de Robot) est Faible
ALORS Performance est ZE
R2: SI Degré (Stress de Robot) est Modéré ET Degré (Fatigue de Robot) est Faible
ET Degré (Conflit de Robot) est Modéré
ALORS Performance est PS
R3:…
A. U. : 09-10 S. Elkosantini 60
20
Logique floue
Si Temps est beau ET Moment est DébutMatinée ALORS Moral est haut
A. U. : 09-10 S. Elkosantini 61
Logique floue
Les conjonctions :
• La définition des opérateurs logiques est assurée selon le type de la fonction
d'appartenance utilisée.
• Quelques
Q q opérateurs
p mathématiques
q :
A. U. : 09-10 S. Elkosantini 62
Logique floue
L’implication :
• L'implication floue est une relation qui associe à toute règle floue R une fonction
d'appartenance qui peut être définie de différentes manières.
A. U. : 09-10 S. Elkosantini 63
21
Logique floue
A. U. : 09-10 S. Elkosantini 64
Logique floue
Entrée
Fuzzification
Defuzzification
Sortie
A. U. : 09-10 S. Elkosantini 65
Logique floue
Contrôleur flou
Commande
Mesures
Système
A. U. : 09-10 S. Elkosantini 66
22
Logique floue
Base de connaissances
Mesures Commande
Système
A. U. : 09-10 S. Elkosantini 67
Logique floue
A. U. : 09-10 S. Elkosantini 68
Logique floue
A. U. : 09-10 S. Elkosantini 69
23
Logique floue
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 ».
A. U. : 09-10 S. Elkosantini 70
Logique floue
A. U. : 09-10 S. Elkosantini 71
Logique floue
A. U. : 09-10 S. Elkosantini 72
24
Logique floue
A. U. : 09-10 S. Elkosantini 73
Logique floue
A. U. : 09-10 S. Elkosantini 74
Logique floue
A. U. : 09-10 S. Elkosantini 75
25
Logique floue
A. U. : 09-10 S. Elkosantini 76
Logique floue
Centre de gravité
Premier Maximum
Dernier Maximum
Centre Maximum
A. U. : 09-10 S. Elkosantini 77
Logique floue
Centre de gravité
Premier Maximum
Dernier Maximum
Centre Maximum
A. U. : 09-10 S. Elkosantini 78
26
Logique floue
Min-Max
A. U. : 09-10 S. Elkosantini 79
Logique floue
1. Calcul du degré
g d'activation de chaque
q règle
g :
2. Calcul de l'implication :
A. U. : 09-10 S. Elkosantini 80
Logique floue
A. U. : 09-10 S. Elkosantini 81
27
Logique floue
1. Calcul du degré
g d'activation de chaque
q règle
g :
A. U. : 09-10 S. Elkosantini 82
Logique floue
A. U. : 09-10 S. Elkosantini 83
Logique floue
max-prod
A. U. : 09-10 S. Elkosantini 84
28
Logique floue
A. U. : 09-10 S. Elkosantini 85
Logique floue
A. U. : 09-10 S. Elkosantini 86
Logique floue
2. Calcul de l'implication :
3. La sortie finale est calculée comme la moyenne des sorties des règles,
pondérées par le poids αRi :
A. U. : 09-10 S. Elkosantini 87
29
Logique floue
A. U. : 09-10 S. Elkosantini 88
Plan
A. U. : 09-10 S. Elkosantini 89
Exemple d’applications
Fuzzy logic systems for transportation engineering: the state of the art
Design and
d implementation
l off a fuzzy
f inference
f system for
f supporting
customer requirements(pdf)
A. U. : 09-10 S. Elkosantini 90
30
Exemple d’applications
www.sciencedirect.com
login : YcJpNyi
mot de passe : ig1i9sf
A. U. : 09-10 S. Elkosantini 91
Logique floue
) Exemple de problème :
On désire contrôler la qualité de production de téléphone portable. Un Téléphone est
caractérisé par un poids P et sa largeur L.
A. U. : 09-10 S. Elkosantini 92
Logique floue
) Exemple de problème :
Les étapes de conception :
L
1. identifier les entrées et sorties :
Décision
P Contrôleur
flou
A. U. : 09-10 S. Elkosantini 93
31
Logique floue
) Exemple de problème :
Les étapes de conception :
….
….
A. U. : 09-10 S. Elkosantini 94
Logique floue
) Exemple de problème :
Les étapes d’inférences:
1. Fuzzification :
2. Calcul de l'implication
A. U. : 09-10 S. Elkosantini 95
Logique floue
) Exemple de problème :
Améliorons encore plus le système de contrôle de la qualité en minimisant le nombre de
de subdivision de chaque entrée.
A. U. : 09-10 S. Elkosantini 96
32
Fin du cours
A. U. : 09-10 S. Elkosantini 97
33