Chapitre 02 - Home Works 02 PDF
Chapitre 02 - Home Works 02 PDF
Chapitre 02 - Home Works 02 PDF
Objectives of chapter 2
Desribe the prevailing approache to design intelligent systems both mathematical and heuristic
tools :
Fuzzy reasonning.
Concluding remarks.
2.1. Introduction
Le soft computing a été introduit par L. A. Zadeh en 1994 comme un moyen de
construire des systèmes intelligents répondant à des obligations d’efficacité, de
robustesse, de facilité d’implémentation et d’optimisation de coûts temporels,
énergétiques, financiers, …etc., tout en prenant en considération la composante
humaine, généralement, présente dans les systèmes.
Ses principales composantes dites aussi techniques intelligentes en sont la logique floue,
inspirée du processus de raisonnement approximatif des êtres humains, les réseaux neuronaux
artificiels et des méthodes d’optimisation telles que les algorithmes évolutionnaires.
La logique floue part, essentiellement, de la notion de variable linguistique. Ce type de
Intelligence Artificielle vs Systèmes Embarqués
Depuis le début des années 1990, ces techniques intelligentes font leur entrée dans les
sciences de l’ingénieur. Le but visé par les chercheurs est de concevoir des systèmes artificiels
qui retiennent les mécanismes importants des systèmes naturels.
Dr. A. SOUKKOU 1
Chapitre 2 Techniques de l’IA : SIF
La logique floue fournit un cadre formel pour construire des systèmes qui offrent à la fois
une bonne performance numérique (précision) et une représentation linguistique
(interprétabilité). D’un point de vue numérique, les SIF sont des systèmes non linéaires capables
de traiter des informations imprécises et incomplètes. Linguistiquement, ils représentent les
connaissances sous forme de règles floues. Ceci est une explication naturelle des processus
décisionnels.
Les quelques points de repères historiques suivants permettent de situer dans le temps le
développement de la logique floue et ses applications au contrôle des procédés.
Dr. A. SOUKKOU 2
Chapitre 2 Techniques de l’IA : SIF
par une fonction d’appartenance A qui attribut un degré d’appartenance à tous les éléments
dans l'univers de discours X :
A x X A x 1 (2.2)
h A
x X
A
s A
Univers de discours
Figure 2.1 : Caractéristiques d’un sous ensemble flou A.
Dr. A. SOUKKOU 3
Chapitre 2 Techniques de l’IA : SIF
x X , Ai x 1
N
(2.5)
i 1
L’univers de discours est dit aussi espace caractéristique ou espace de décision. L’un des
intérêts essentiels de la notion d’ensemble flou réside dans la possibilité d’étendre les opérateurs
ensemblistes usuels, tels que l’intersection, l’union et la complémentation. Si A et B sont 2 sous
ensembles flous de , on pose généralement :
2.2.2.3. Union
L’union entre A et B est donnée par :
Type t-norme
Min Am B x min A x , B x
Produit algébrique Aa B x A x . B x
Différence bornée Ab B x max 0, A x B x 1
A x . B x
Produit d’Einstein AEB x
2 A x B x A x . B x
A x . B x
Produit d’Hamasher AHB x
A x B x A x . B x
(a)
Type t-conorme
Max Am B x max A x , B x
Somme algébrique Aa B x A x B x A x . B x
Somme bornée bA B x min 1, A x B x
avec w 0, .
Dr. A. SOUKKOU 5
Chapitre 2 Techniques de l’IA : SIF
Une méthode d’optimisation est adoptée pour le choix d’une meilleure stratégie de t-
norme. Il est remarquable que si :
w , YA B x Am B x
min A x , B x si max A x , B x 1
w 0, YA B x (2.14)
0 autrement
w 1, YA B x Ab B x
Varx est la variable elle-même, X l’univers de discours et TVarx est l’ensemble des
Exemple 2.1 :
Considérons la variable taille définie sur l’ensemble des réels et caractérisée par
les ensembles flous (labels linguistiques) P, M , G où P désigne Petite, M est
l’abréviation de Moyenne et G caractérise la notion Grande, respectivement. La variable
taille est, alors, représentée par le triplet suivant : taille , , P, M, G .
Les codes P, M et G représentent les variables linguistiques (les fonctions d’appartenance)
qui décrivent l’état ou le comportement du phénomène (ou du procédé) à étudier.
D’après la figure 2.2, une personne mesurant 136 cm est de taille Petite avec un degré
taille
Taille Variable floue
P M G Variables linguistiques
1
0.6 Fonctions d’appartenance
0.4
Dr. A. SOUKKOU 6
Chapitre 2 Techniques de l’IA : SIF
Les fonctions d’appartenance peuvent avoir différentes formes, mais il est judicieux de
choisir des fonctions convexes de sorte qu’il existe au moins un point de degré maximal et tel
que le degré décroît, lorsqu’on s’éloigne de ce maximum.
Les modèles/formes des fonctions d’appartenance les plus, couramment, utilisées sont
données par le tableau 2.3 et la figure 2.3.
Trapézoïdale xa d x
F x; a, b, c, d max min , 1, , 0
(Fig. 2.3b) ba d c
Gaussienne x c 2
F x; , c exp
(Fig. 2.3c)
1
Sigmoïde F x; a, c
(Fig. 2.3d) 1 exp ax c
1
Cloche F x; a, b, c 2b
(Fig. 2.3e) xc
1
a
a<0 a>0
x
x x
x x ca ca
a a b c d c c
b c
Dr. A. SOUKKOU 7
Chapitre 2 Techniques de l’IA : SIF
variable et B l’un de ses termes linguistiques. Il est possible de tirer des conclusions à partir
d'une règle floue en appliquant le concept de l’inférence floue.
Le raisonnement logique est le processus qui combine des propositions en utilisant les
opérations de conjonction, disjonction et d’implication.
Soient A1 , A2 , ..., An des sous ensembles flous définis, respectivement, dans les univers de
discours U1 , U 2 , ..., U n . Le produit cartésien des A1 , A2 , ..., An est un sous ensemble flou,
A A1 A2 ... An dans U1 U 2 ... U n de fonction d’appartenance :
avec sup sélectionne la valeur maximale (supremum) d’un ensemble des éléments. La
composition est formée de 2 paires d’éléments dans U W avec leurs degrés d’appartenance
calculés comme étant le maximum des valeurs minimales de la composition de différents
éléments lorsqu’ils sont combinés avec tous les éléments de V .
La composition de la règle d'inférence est définie comme suit : Soit R une relation floue
~ ~
définie dans U V et A un ensemble flou de U , alors l’ensemble flou B de V est déduit de la
composition :
~ ~
B AR (2.18)
où
Intelligence Artificielle vs Systèmes Embarqués
B~ y sup xA~ min A~ x , R x, y (2.19)
Prémisse 1 x est A~
Prémisse 2 SI x est A ALORS y est B (2.20)
Conclusion ~
y est B
où la règle (prémisse 2) correspond à la relation floue R , définie avec un degré d’appartenance
qui indique le degré de vérité de l’implication A B .
Dr. A. SOUKKOU 8
Chapitre 2 Techniques de l’IA : SIF
D'un point de vue théorique, un modèle flou ou un SIF, peut être utilisé à la fois pour
l’identification des fonctions (approximateur universel) et comme système de contrôle non
linéaire. D'un point de vue pratique, la première application de la logique floue dans le domaine
industriel a été effectuée en 1974 par Mamdani et son équipe. De nombreux travaux de
recherches et d’applications ont été développés dans les 2 dernières décennies.
Les systèmes flous sont des systèmes faciles à comprendre, simple à mettre en oeuvre et
peu coûteux à se développer. Ces systèmes émulent les stratégies de contrôle humain. Ils sont
accessibles même par ceux qui n'ont aucune formation de base en contrôle.
Un contrôleur flou est décrit par un ensemble de règles de type SI (condition (s)) ALORS
(action (s)) permettant de convertir la stratégie de contrôle linguistique acquise auprès d’un
expert humain en une stratégie de contrôle automatique bien adaptée au monde réel. Dans cette
situation, l'opérateur humain peut être remplacé par une combinaison d’un ensemble de règles
floues, comme le montre la figure 2.4.
Expert
Entrées Sorties
humain
Les règles
Sorties
Entrées
Engin
Fuzzification Défuzzification
d’inférence
(a)
(b)
Figure 2.4 : Définition conceptuelle d’un système de contrôle flou.
Le schéma synoptique général d’un contrôleur flou est représenté par la figure 2.5. Quelque
soit le type d’application du contrôleur, on retrouve généralement la même configuration qui est
composée de 4 blocs essentiels, à savoir :
Une interface de fuzzification en entrée.
Une base de connaissances (base de règles & engin d’inférence).
Dr. A. SOUKKOU 9
Chapitre 2 Techniques de l’IA : SIF
Mécanisme
Défuzzification
Fuzzification
d’inférence Sorties
Entrées
Mise en échelle Mise en échelle
à l’entrée à la sortie
Base de
règles
Dr. A. SOUKKOU 10
Chapitre 2 Techniques de l’IA : SIF
générale, la partie conséquence d’une règle est une fonction polynomiale ou une
équation différentielle dépendant des variables associées à la partie prémisse de la règle
(règles à conclusions algébriques).
Le modèle flou de Tsukamoto : Ces règles sont un cas particulier des règles de type
Mamdani pour lesquelles les sous ensembles flous utilisés dans la partie des
conséquences sont des fonctions d’appartenance monotones. L’emploi de ce modèle est
très restreint.
SI ET ALORS
4. Application
d’une agrégation.
SI ET ALORS Intelligence Artificielle vs Systèmes Embarqués
Entrée 1 Entrée 2
1 1 5. Défuzzification.
Sortie
Dr. A. SOUKKOU 11
Chapitre 2 Techniques de l’IA : SIF
Défuzzification à la sortie.
Les modèles de Mamdani reposent sur l’approche proposée par Zadeh. Ils permettent une
description linguistique du système par une base de règles floues modélisant les relations
entrées/sorties du système. L’inférence floue correspond aux 4 étapes suivantes :
i x min X ij x j j 1, ..., n (2.21)
i x min i x , Bi y (2.22)
y max i y (2.23)
Le résultat de l’agrégation est donc un sous ensemble flou caractérisé par sa fonction
d’appartenance. Pour l’obtention d’une conclusion de nature précise y0 à partir d’un ensemble
flou résultant de l’agrégation, il faut utiliser une des méthodes de défuzzification.
Dans le modèle de TS, chacune des règles représente un modèle local sur une région floue
d’entrée. Dans chaque région, le modèle flou est défini par la fonction :
Le modèle global est constitué par interpolation des modèles locaux. L’inférence floue
dans ce modèle est composée de 3 étapes :
wi x X ij x j
n
i 1, ..., N (2.25)
j 1
Calcul des sorties individuelles : La sortie de la ieme règle est donnée par sa fonction
conséquente, c’est à dire :
Dr. A. SOUKKOU 12
Chapitre 2 Techniques de l’IA : SIF
y F i x
i
(2.26)
Agrégation des sorties individuelles : La valeur finale de la sortie résultante de
l’ensemble des règles est donnée par la moyenne des sorties individuelles pondérées par
le degré d’activation des règles, soit :
wi x . y
N
i
i 1
y (2.27)
wi x
N
i 1
Les modèles de TS sont les plus utilisés pour extraire les connaissances à partir des
données numériques. Ils correspondent en fait à une approche multimodèle dans laquelle le flou
est utilisé pour agréger les sorties produites par chacun des modèles locaux.
Vecteur d’entrées
Mise en échelle
Vecteur de sorties
Dr. A. SOUKKOU 13
Chapitre 2 Techniques de l’IA : SIF
TS
yn bn0 bn1x1 bnm xm
Rn SI x1 est A1n ET xm est A1n ALORS
yn est Cn
Mamdani
Schématiquement, les deux modèles flous sont représentés par la figure ci-dessous ainsi
que les processus de Fuzzification, Inférence et Défuzzification.
Entrées Sorties
Dr. A. SOUKKOU 14
Chapitre 2 Techniques de l’IA : SIF
Les paramètres d'un SIF peuvent être classés en 4 catégories présentées ci-dessous. Le
tableau 2.3 résume cette classification.
Classe Paramètres
Mécanisme de raisonnement
Opérateurs flous
Logique
Type des fonctions d’appartenance
Méthode de défuzzification
Variables d’entrées/sorties
Structurelle Nombre des fonctions
d’appartenance
Nombre des règles floues
Antécédents des règles
Connective Conséquences des règles
Poids des règles dans certains cas
Opérationnelle Degrés d’appartenance
Paramètres logiques : Ils caractérisent les fonctions et les opérateurs qui définissent le
type de transformations subies pendant le processus d'inférence. Il s'agit notamment de la
forme des fonctions d’appartenance, des opérateurs appliqués pour les connecteurs ET ou
OU, des implications et de la méthode de défuzzification utilisée.
Paramètres de connectivité : Ils sont liés à la topologie du système. Ces paramètres Intelligence Artificielle vs Systèmes Embarqués
définissent le lien entre les différentes propositions dans la base de règles : les
antécédents, les conséquences et les poids des règles dans certaines situations.
Dr. A. SOUKKOU 15
Chapitre 2 Techniques de l’IA : SIF
SI x1 est ' A12 ' ET x2 est ' B12 ' ALORS u est ' R5 '
A11 R1 R2 R3
A12 R4 R5 R6
A13 R7 R8 R9
u B11 B12 B13
x1
x2
Lorsque toutes les cases de la matrice d’inférence sont remplies, il s’agit de règles
d’inférence complètes. Dans le cas contraire, il s’agit de règles d’inférence incomplètes (Figure
2.8). La représentation matricielle de la base de règles devient plus complexe lorsque le nombre
de variables linguistiques d’entrées est supérieur à 3.
A11 R1
A12 R6
A13 R7 R9
u B11 B12 B13
x1
x2
Figure 1.8 : Fusion modifiée des règles : Matrice d’inférence incomplète.
Afin d’assurer une commande performante d’un système, la base de règles floues du SIF
doit posséder certaines caractéristiques. La continuité, la consistance et la complétude de
l’ensemble de règles sont les caractéristiques les plus significatives.
Une base de règles floues est complète si, quelle que soit la combinaison dans l’espace Intelligence Artificielle vs Systèmes Embarqués
d’entrée, il existe une valeur de commande. Une base de règles est incomplète, si elle existe une
situation de l’espace d’entrée pour laquelle aucune règle n’est activable. L’incomplétude conduit
à une discontinuité indésirable dans la loi de commande.
Cette propriété dépend de la partition des espaces et de l’écriture des règles, c’est-à-dire,
les fonctions d’appartenance doivent couvrir toute la dynamique possible des variables. L. T.
Kóczy propose l’interpolation entre les règles floues comme solution à ce problème.
Le tableau 2.5 donne les différentes situations possibles des bases des règles en fonction d’un
important facteur : Mesure de complétude. Une mesure de complétude C d’une base de règles
floues est définie par :
Dr. A. SOUKKOU 16
Chapitre 2 Techniques de l’IA : SIF
N m
C x X k xi (2.28)
k 1i 1 i
Tableau 2.5 : Caractéristiques de la base de règles.
Valeur Situation
C x 0 Base de règles incomplète.
0 Cx 1 Base de règles sous-complète.
C x 1 Base de règles strictement complète.
C x 1 Base de règles sur-complète (redondante).
Dans certaines situations, la prise en considération des surfaces ‘hedges’ des fonctions
d’appartenance est une nécessité pour permettre le contrôle de la forme de ces fonctions. Des
modificateurs linguistiques (linguistic hedges) sont introduits pour le réglage de la flexibilité des
fonctions d’appartenance.
Deux des modificateurs les plus connus sont le modificateur linguistique de concentration
‘très’ et de dilatation ‘plus-ou-moins’. Leurs expressions sont :
‘Très’ ‘Plus-ou-moins’
A A A
Dr. A. SOUKKOU 17
Chapitre 2 Techniques de l’IA : SIF
Dr. A. SOUKKOU 18
Chapitre 2 Techniques de l’IA : SIF
Dr. A. SOUKKOU 19
Chapitre 2 Techniques de l’IA : SIF
Système de suspension
magnétique, grâce à un
électroaimant
Système de régulation de
vitesse de rotation d'un moteur
à CC à excitation permanente
Dr. A. SOUKKOU 20
Chapitre 2 Techniques de l’IA : SIF
La conception du contrôleur flou se fait de la même façon que tous les systèmes flous
avec Matlab. Le processus de conception consiste à respecter les étapes suivantes :
Etape 1 : Écrire la commande : fuzzy sur la fenêtre de commande (command window) Une
fenêtre : FIS editor Untitled va apparaitre.
Dr. A. SOUKKOU 21
Chapitre 2 Techniques de l’IA : SIF
Etape 2 : Dans la fenêtre FIS editor le type de contrôleur apparaitre par default est le type du
raisonnement approximatif de Mamdani
Etape 3 : Pour changer le type de contrôleur clique : File puis New FIS puis Sugeno.
Dr. A. SOUKKOU 22
Chapitre 2 Techniques de l’IA : SIF
Etape 4 : Pour changer le type de contrôleur clique : File puis New FIS puis Sugeno.
Etape 5 : Une fois le type de FLC choisi (Mamdani ou Sugeno), il suffit de configurer (structure
et paramètres) le contrôleur choisi. Le reste du processus de conception est illustré
comme suit :
a) Define the fuzzy reasoning type used, Mamdani (Mamdani 1974) or
Sugeno (Sugeno 1985).
b) Identify the inputs, states, and outputs variables of the plant.
c) Partition the interval spanned by each variable into a number of fuzzy
Dr. A. SOUKKOU 23
Chapitre 2 Techniques de l’IA : SIF
Dr. A. SOUKKOU 24
Chapitre 2 Techniques de l’IA : SIF
2.5. Conclusions
D’un point de vue mathématique, un SIF n’est qu’une fonction non linéaire d’un espace
d’entrée vers un espace de sortie. D’un point de vue logique, un SIF est une structure de
traitement parallèle et de prise de décisions. Sa structure consiste en 4 partie principales :
1. La fuzzification,
2. La base de règles,
3. L’inférence et
4. La défuzzification.
Pendant les vingt dernières années, les SIF, dont les bases relèvent de la théorie des
ensembles flous proposés par Zadeh, sont devenus très populaires. Les applications dans la
modélisation, le contrôle, le traitement de signal, la supervision des procédés et la prise de
décision sont en effet autant d’application qui démontrent la capacité des SIF à traiter des
problèmes hautement non linéaires grâce à l’utilisation de connaissances expertes. La logique
floue aide à gérer des systèmes complexes de façon simple et facilement explicitable ‘l’expertise
humaine’. La difficulté de sa mise en oeuvre réside dans la mise au point d’une base de
connaissances floues (structure & paramètres du SIF). Ce problème peut être résolu par
l’utilisation des méthodes d’extraction automatique des connaissances : Les méthodes
analytiques, les méthodes d’oprimisation, …etc.
This is the
end of this
part!
Dr. A. SOUKKOU 25
Chapitre 2 Techniques de l’IA : SIF
2.6. Home
Works 2
H_M . 1 :
1. Donner la structure générale d’un contrôleur intelligent. Pourquoi il est intelligent ?
2. Expliquer brièvement la correspondance entre les deux parties de la figure suivante.
Expert
Entrées Sorties
humain
Les règles
Sorties
Entrées
Engin
Fuzzification Défuzzification
d’inférence
P M G ----------------------------
1 -
0.6 -------------------------------
0.4
H_M . 2 :
Fonction d’appartenance.
Variable linguistique.
Variable floue.
Univers de discours.
A quoi sert un système à base de la logique floue?
Le schéma synoptique général d’un contrôleur flou est représenté par la figure ci-dessous.
Quelque soit le type d’application du contrôleur, on retrouve généralement la même
configuration. Expliquer brièvement le rôle de chaque bloc.
Contrôleur flou
Signal de
Dénormalisati
Défuzzificatio
Fuzzification
Normalisati
contrôle
Mécanisme
Référence Sortie
d’inférence Process
Base de règles
H_M . 3 :
Soit le schéma de la figure suivante : A11
A12 R5 R6
A13
u B11 B12 B13
x1
x2
Dr. A. SOUKKOU 27
Chapitre 2 Techniques de l’IA : SIF
H_M . 4 :
Soit un SIF ayant une base de connaissances à deux règles :
NB ZE ZE PM PB
PM x16
r x17
r x18
r x19
r xr20
Dr. A. SOUKKOU 28
Chapitre 2 Techniques de l’IA : SIF
Donner la forme des règles linguistiques de type Mamdani pour les règles R13 , R19 , R25 .
Discuter…
Donner la forme des règles linguistiques de type Takagi-Sugeno pour les règles
R13 , R19 , R25 . Discuter…
Etudier comment obtenir la valeur de sortie xr t ti pour les cas suivants :
SIF du type TS linéaire,
SIF du type TS1,
SIF du type TS0.
Sachant que les valeurs d’entrées à l’instant t ti sont x1 ti , x2 ti ? Discuter…
Mettre sous forme d’organigramme les étapes de conception d’un contrôleur flou.
H_M . 6 :
Sachant que l’outil de développement est le MATLAB-SIMULINK. Expliquer le
processus de conception (de développement) d’un contrôleur flou. Etudier le cas d’un SIF du
type 555 pour le contrôle d’un :
Dr. A. SOUKKOU 29
Chapitre 2 Techniques de l’IA : SIF
PID
Q2 Ts
yk 1 Q1 Ts yk uk 1 Q1 Ts Y0
1 exp 0.5 yk
avec :
Q1 Ts exp Ts Intelligence Artificielle vs Systèmes Embarqués
Q2 Ts 1 exp Ts
Les paramètres du système utilisé dans cet exemple sont celui d’un modèle réel
développé par Chia-Feng Juang. Ils sont donnés par le tableau ci-dessous.
Dr. A. SOUKKOU 30
Chapitre 2 Techniques de l’IA : SIF
Couche de contrôle
y k
Module de
sonde
u k
Hélice
V
Sonde
Résistance
chauffante
Paramètres du système.
Coefficient Valeur
1.0015 .10 4
8.6793 .10 3
40
Ts [s] 30
Y0 [°C] 25.0
35C si k 40
y (k ) 55C
d
si 40 k 80
x1 x2
x2 f x g x u d
y x
1
avec
g sin x1 mc mp x22 cos x1 sin x1
f x
4 3 m m c p cos 2 x1 ,
Dr. A. SOUKKOU 31
Chapitre 2 Techniques de l’IA : SIF
mc cos x1
g x
4 3 m m c p cos2 x1
L’objectif est de maintenir le pendule dans
sa position d’équilibre correspondante à
un angle x1 ref rad et une vitesse MP
l
angulaire x2 ref 0 rad/s
θ g
u t MC
()
Une perturbation d’état d t est ajoutée au modèle du système non linéaire sous la
forme :
d 0,1sin 2t e0,1t
Les caractéristiques du pendule sont résumées dans le tableau 2.
Notation Description
mc[kg] = 1.0 Kg Masse du chariot
mp[kg] = 0.1 Kg Masse du pendule
l[m] = 0.5m Demi-longueur du pendule
2
g[m/s ] Accélération gravitationnelle
x1 [rad]
Intelligence Artificielle vs Systèmes Embarqués
L’angle du segment par rapport à l’axe vertical
x 2 [rad/s] La vitesse angulaire du segment
u [N] Force à appliquer au chariot
Dr. A. SOUKKOU 32
Chapitre 2 Techniques de l’IA : SIF
y t , y t
T
sin t , cost
d d T
30 30
Dans le plan de phase x1 t , x2 t , la trajectoire de référence peut être représentée par le
cercle :
2
y t y t
d 2 d 2
30
Dr. A. SOUKKOU 33
Chapitre 2 Techniques de l’IA : SIF
Dr. A. SOUKKOU 34
Chapitre 2 Techniques de l’IA : SIF
Dr. A. SOUKKOU 35