Cours Logique Floue
Cours Logique Floue
Introduction
Partie 1 : I.A. – L’approche classique
Partie 2 : La théorie des sous ensembles flous « L’intelligence artificielle est une science qui s’intéresse à la réalisation de
Partie 3 : Logique Floue machines qui réalisent des tâches qui nécessiteraient de l’intelligence si elles
Partie 3.1 : Fuzzification étaient faites par un homme » (Minsky, 1968)
Partie 3.2 : Inférence floue
Partie 3.3 : Défuzzification « Science qui étudie comment faire faire à des machines des tâches pour
Partie 4 : Exemple d’applications lesquelles l’homme est, aujourd’hui encore, le meilleur » (Rich et Knight).
1
I.A. – L’approche classique I.A. – L’approche classique
La logique propositionnelle
La logique propositionnelle
Exemple de propositions :
Les propositions sont traitées comme des variables (désignées par des lettres). Si p, alors q Noté aussi par p q
Conjonction
A
B
Structure d’un système expert
AB CONJ: 1,2
2
I.A. – L’approche classique I.A. – L’approche classique
F1 : (non distance.<.300km)
F2 : ([Link].téléphone)
Base de faits
A. U. : 10-11 S. Elkosantini 9 A. U. : 10-11 S. Elkosantini 10
3
I.A. – L’approche classique I.A. – L’approche classique
Ne sélectionne que les règles dont la partie prémisse est vérifiée par les faits présents
S’arrête :
Ses prémisses sont empilées dans la mémoire de travail et deviennent les sous-buts
de f1 sont déduits f2 et f3 actuels à résoudre.
de f2 sont déduits f4 et f5 Le système continue à travailler de cette façon jusqu’à ce que tous les sous buts placés
etc ... en mémoire soient vérifiés.
4
I.A. – L’approche classique I.A. – L’approche classique
Inconvénients
Les systèmes experts : les moteurs d’inférences
Les variables décrivant des états sont booléennes.
Le chaînage arrière : raisonnement guidé par le but :
La variable booléenne, qui ne peut prendre que deux
Exemple : valeurs (vrai ou faux) est mal adaptée à la représentation
de la plupart des phénomènes courants.
Si est q non vrai et si p q alors p est non vrai.
Ancien
1
Récent
de f4 est déduit f3 0
Et si le compte a 9 ans et 11 mois
de f3 est déduit f1 Et si le compte a 10 ans et 1 mois ?! 10
Inconvénients
Exemple : Dans un environnement de gestion des ressources humaines, Partie 1 : I.A. – L’approche classique
que signifie : Le stress de l’opérateur est 0.8
Partie 2 : La théorie des sous ensembles flous
Valuation numérique Valuation qualitative: langage Partie 3 : Logique Floue
naturel Partie 3.1 : Fuzzification
Le stress de l’opérateur est fort Partie 3.2 : Inférence floue
Partie 3.3 : Défuzzification
Comment représenter ces valeurs linguistiques ? Partie 4 : Exemples d’applications
Comment formuler cette quantification linguistique ?
Comment intégrer ces valeurs linguistiques dans un système intelligent ?
5
Théorie des sous ensembles flous Théorie des sous ensembles flous
L’incertain et l’imprécis
L’incertain et l’imprécis
Théorie des sous ensembles flous Théorie des sous ensembles flous
Historique Historique
1965 : Théorie des ensembles flous introduite par L.A. Zadeh (UC Berkeley) Dans les années 80, plusieurs applications commencent à immerger (notamment
au Japon).
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 1990: Généralisation de l’utilisation de cette technique.
linguistiques (dont la valeur est un mot et non un nombre). Appareils électroménagers (laves-linges, aspirateurs, autocuiseurs,...etc) ,
6
Théorie des sous ensembles flous Théorie des sous ensembles flous
Concepts fondamentaux
Concepts fondamentaux
Le concept de sous-ensemble flou permet des graduations dans l'appartenance
Dans l’approche floue :
d'un élément à une classe.
A Un élément peut appartenir plus ou moins fortement à cette classe.
Dans l’approche classique :
X Un sous-ensemble flou A d'un référentiel X est caractérisé par une fonction
Si μ Aest la fonction d' appartenance de l' ensemble A d'appartenance µA :
x X μ A ( x) 0 si x X
μ A ( x) 1 si x X Si μ Aest la fonction d' appartenance de l' ensemble flou A
x X μ A [0,1]
L’ensemble A est défini par : A (x, μ A ( x)) x X L’ensemble A est défini par : A (x, μ A ( x)) x X
Théorie des sous ensembles flous Théorie des sous ensembles flous
Si A x =0,10
La fonction d'appartenance décrivant un sous-ensemble flou est caractérisée par
x appartient à l’ensemble flou A avec un degré d’appartenance de 10%
quatre propriétés :
Faible appartenance Traduction de la valeur linguistique « Faible »
Le type : la forme du nombre flou qui peut être triangulaire, trapézoïdale, gaussienne
ou sigmoïdale.
Si A x =0,90
x appartient à l’ensemble flou A avec un degré d’appartenance de 90% La hauteur : H(A) = SupxX (μA(x)) de la fonction d'appartenance. Un sous-ensemble
flou est dit normalisé s'il est de hauteur 1.
Forte appartenance Traduction de la valeur linguistique « Fort»
Le noyau : N(A) = {x/μA(x) = 1} est l'ensemble des éléments qui appartiennent
degré d’appartenance = valeur de vérité. totalement à A. Pour les fonctions de type triangulaire, le noyau est un singleton qui
Un ensemble flou est totalement déterminé par sa fonction d’appartenance est appelé aussi valeur modale.
Le support : S(A) = {x/μA(x) ≠ 0} ; cet ensemble décrit l'ensemble des éléments qui
sont partiellement dans A.
7
Théorie des sous ensembles flous Théorie des sous ensembles flous
Théorie des sous ensembles flous Théorie des sous ensembles flous
Notation : Notation :
Un nombre flou triangulaire est un cas particulier d’un nombre trapézoïdale. La fonction d’appartenance d’un nombre flou avec des cotés paraboliques est
Il est notée généralement par (a, , ). définie de la manière suivante :
La traduction de l’expertise humaine vers ce type de nombre flou est plus facile.
La manipulation mathématique est plus Les nombres flous de forme gaussienne est
facile avec cette forme un cas particulier
8
Théorie des sous ensembles flous Théorie des sous ensembles flous
Théorie des sous ensembles flous Théorie des sous ensembles flous
Soient A et B deux sefs de X, définis par les fonctions d’apprentissage µA et µB : AB x max A x , B x x U
Égalité de sefs:
A = B ssi x X, µA (x) = µB(x)
Partition floue de l'univers du discours Ensemble flou:"Personne petite OU moyenne"
Inclusion de sefs: 1
Petit Moyen Grand
1
9
Théorie des sous ensembles flous Théorie des sous ensembles flous
0.8 0.8
0.8 0.8
0.6 0.6
0.6 0.6
0.2
0.2 0.2 0.2
Taille(m)
Taille(m) Taille (m) 0
0
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
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
Théorie des sous ensembles flous Théorie des sous ensembles flous
Certaines propriétés de la théorie des ensembles classiques sont vérifiées : La relation de Morgan :
A ∅ = A, A ∩ ∅ = ∅, A X = X, A ∩ X = A
¬(A ∩ B) = (¬A) ∪ (¬B)
A (B∩C) = (A B)∩(A C)
10
Théorie des sous ensembles flous Théorie des sous ensembles flous
La multiplication :
μA.B(z) = max {min(μA(x), μB(y)) / xy = z}
Cardinalité d’un ensemble flou
A+B : Dans le cas fini, on peut définir le nombre d'éléments d'un ensemble flou A
(a, b, α, β) + (a', b', α', β') = (a + a', b + b', α + α', β + β') par : card ( A) A ( x)
B :
Si A est continu, le nombre d'éléments d'un ensemble flou A par :
λ (a, b, α, β) = ( λ a, λ b, λ α, λ β)
card ( A) x ( x)dx
Et pour la multiplication et la division ? x
Théorie des sous ensembles flous Théorie des sous ensembles flous
La notion de distance entre ensembles flous peut être utile pour définir des Soit un ensemble de référence X={a,b,c,d,e,f,g} et deux sous ensembles flous
relations telles que «à peu près égal» ou «très supérieur à». représentés de la manière suivante :
a
A ( x) B ( x) dx
d ( A, B)
( A, B)
card ( X )
11
Théorie des sous ensembles flous Théorie des sous ensembles flous
α1 Si (A ⊇ B)α alors Aα ⊇ Bα
Théorie des sous ensembles flous Théorie des sous ensembles flous
Mesure floue
12
Théorie des sous ensembles flous Théorie des sous ensembles flous
Théorie des sous ensembles flous Théorie des sous ensembles flous
t
or
ai
en
le
f
f
ib
oy
ès
ès
rt
Fa
Tr
M
Tr
1
que signifie : Le stress de l’opérateur est 0.8
naturel
Le stress de l’opérateur est fort L’ensemble de référence d’un mot du langage naturel s’appelle l’univers du
discours.
Comment représenter ces valeurs linguistiques ? Une variable linguistique représente un état dans le système à régler.
Comment formuler cette quantification linguistique ? Sa valeur est définie dans des termes linguistiques qui peuvent être des mots
Comment intégrer ces valeurs linguistiques dans un système intelligent ? ou des phrases d’un langage naturel.
13
Théorie des sous ensembles flous Théorie des sous ensembles flous
o M est la règle sémantique pour associer un sens à chaque valeur linguistique Si le compte de client est très ancien Le client est potentiellement sans risque.
14
Logique floue 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'inférence peuvent contenir.
source : cours de LESCIEUX
Humidification
Ancienneté
Décision
Contrôleur
Salaire flou
source : (Riat & Aurrand-lions; 98)
Position
R1: SI Age est moyen ET Ancienneté est moyen ET Salaire est Moyen
Cap/chaussée ALORS Décision = octroyer le prêt
Contrôleur Véhicule
Vitesse R2: SI Age est Elevé ET Ancienneté est faible ET Salaire est Faible élevé
flou Pas moteur autonome ALORS Décision = ne pas octroyer le prêt
volant
Angle volant
R3:…
15
Logique floue Logique floue
Les conjonctions :
• La définition des opérateurs logiques est assurée selon le type de la fonction
Si Temps est beau ET Moment est DébutMatinée ALORS Moral est haut d'appartenance utilisée.
16
Logique floue Logique floue
Il y a 5 étapes à suivre pour aboutir à la sortie d’un système flou : Il y a 5 étapes à suivre pour aboutir à la sortie d’un système flou :
Entrée
Fuzzification
Il y a 5 étapes à suivre pour aboutir à la sortie d’un système flou : Il y a 5 étapes à suivre pour aboutir à la sortie d’un système flou :
Base de connaissances
Mesures Commande
Système source : cours de Tai-Wen Yue
17
Logique floue Logique floue
« Pierre est petit » à un degré de 75% Exemple : Selon les valeurs des entrées , le système flou indiquera qu’en sortie la
Interface de « Pierre est moyen » à 25%
Pierre mesure 1m625 puissance de chauffe devra prendre les valeurs de sortie « faible » ou « moyenne » ou
fuzzification
« Pierre est grand » à 0% « forte ».
18
Logique floue Logique floue
Exemple : Selon la t-norme défini par Zadeh avec T la T-norme Min et N est le nombre de règles activées
19
Logique floue Logique floue
2. Calcul de l'implication :
Min-Max
20
Logique floue Logique floue
3. Calcul de l'agrégation pour former la conclusion finale floue C : Considérons les observations : . . Le raisonnement flou se
décompose comme suit :
max-prod
21
Logique floue 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 :
22
Plan Exemple d’applications
Systèmes experts:
Partie 1 : I.A. – L’approche classique Development of an Expert System for Credit Card Application Assessment
Partie 2 : La théorie des sous ensembles flous Expert systems in finance – A cross-section of the field
Partie 3 : Logique Floue
Partie 3.1 : Fuzzification Fuzzy set theory:
Partie 3.2 : Inférence floue
A fuzzy credit-rating approach for commercial loans: a Taiwan case
Partie 3.3 : Défuzzification
Partie 4 : Exemples d’applications A fuzzy logic evaluation system for commercial loan analysis
Modelling credit rating by fuzzy adaptive network
Association rules applied to credit card fraud detection
Réseau de neurones artificielles : Fuzzy logic systems for transportation engineering: the state of the art
Neural network credit scoring models An evaluation of fuzzy transportation underwriting systematic risk
Using neural network ensembles for bankruptcy prediction and credit A fuzzy logic controller for traffic junction signals
scoring A two-stage fuzzy logic controller for traffi•
c signals
Credit risk assessment using Multilayer Neural Network Models : Case of a Design and implementation of a fuzzy inference system for supporting
Tunisian bank customer requirements(pdf)
23
Logique floue Logique floue
…. 2. Calcul de l'implication
….
24
Logique floue Logique floue
Solution 1 : 1 2 3 4 5 6 7 8 Solution 1 : 1 2 3 4 5 6 7 8
Comparer Comparer
Solution 2 : 8 2 3 4 5 6 7 1 Solution 2 : 8 2 3 4 5 6 7 1
Et si les données été imprécises : la durée de la tâche i sur la Et si les données été imprécises : la durée de la tâche i sur la
machine j est égale à 10 min mais pas plus de 15min et pas machine j est égale à 10 min mais pas plus de 15min et pas
moins de 5 min moins de 5 min
25
Fin du cours
26