Professional Documents
Culture Documents
Rvision :
v2.4 12/2013
Auteurs :
Zyed ZALILA
zyed.zalila@intellitech.fr
INTELLITECH
14 rue du Fonds Pernant
Technopolis III 60200 COMPIGNE, FRANCE
Tl. : 03 44 23 48 90
Fax : 03 44 23 48 99
E-mail : contact@intellitech.fr
Web : www.intellitech.fr
SARL au capital de 206 400 Euros R.C.S. Compigne B 419 510 128
SIRET 419 510 128 00020 Code APE 7219Z
Sommaire
Sommaire
2. MODLISATION FLOUE
11
4. RFRENCES
12
2/12
1.
Les mathmatiques du flou, de plus en plus dsignes sous le terme gnrique de thorie
du flou, regroupent plusieurs thories qui sont des gnralisations ou des extensions de
leurs homologues classiques : la thorie des ensembles flous tend celle des ensembles, la
logique floue tend la logique binaire, la thorie des quantits floues tend celle des
nombres et intervalles, la thorie des possibilits tend celle des probabilits, plus
gnralement la thorie des mesures floues tend celle de la mesure. Elles ont toutes pour
objectif de proposer des concepts, des techniques et des mthodes formellement
rigoureuses pour recueillir, reprsenter et traiter des connaissances et des donnes floues
c'est--dire contenant de l'imprcision, de l'incertitude ou de la subjectivit ; ces trois
facettes principales du flou tant souvent coexistantes. D'autres synonymes, tels que
connaissance mal spcifie, mal dcrite, imparfaite, vague, qualitative, linguistique,
partielle, incomplte, approximative ou approche, recouvrent cette mme acception du
flou.
En rejetant laxiome de binarit, pos par Aristote il y a plus de 2300 ans, de telles
mathmatiques deviennent plus utiles et applicables car plus en adquation avec le
monde rel. Les mathmatiques du flou offrent aussi la possibilit de slectionner et
d'appliquer les oprateurs adquats en fonction du problme rsoudre et de la variabilit
de l'agent dcideur (comportements optimiste, pessimiste, de compromis, sensibilit
physiologique...).
La logique floue apparat comme une logique graduelle qui se veut tre trs proche de
notre perception nuance du monde, tandis que la mesure de possibilit remplacera avec
justesse la mesure de probabilit lorsque les informations disponibles sont en faible
nombre et/ou de faible qualit ; ceci est notamment le cas dans les panels dvaluation
sensorielle o un petit nombre de sujets joue le rle de capteurs (le plus souvent imprcis).
Formellement, la thorie du flou dfinit une interface entre le qualitatif/symbolique et le
quantitatif/numrique. Pratiquement, elle offre une approche lgante la rsolution de
problmes multidimensionnels et complexes, caractriss par une forte interactivit des
parties, faisant intervenir l'Homme la fois comme capteur et comme dcideur/actionneur.
Une logique multivalue ou multivalente admet plusieurs degrs de vrit entre le Vrai et le Faux.
3/12
courant, par des fonctions numriques d'appartenance [Black, 1937]. Il ne restait plus
Lotfi Zadeh qu' oser faire la jonction entre toutes ces prmisses pour aboutir la
dfinition formelle de la logique floue, logique nuance quil voulait tre proche d'une
logique humaine.
Introduit par [Zadeh, 1965], le concept densemble flou permet la reprsentation de
classes vagues aux frontires mal dfinies telles que personne ge , temprature
leve , virage serr , solution concentre ... Partant d'un rfrentiel gnralement
numrique, tel que celui dcrivant un ge mesur en annes, une temprature mesure en
degrs, un rayon de courbure mesur en mtres, une concentration mesure en moles par
litre, Zadeh propose de dfinir les concepts linguistiques par une application fonctionnelle
faisant correspondre tout lment du rfrentiel son degr d'appartenance au concept
considr.
(ge)
jeune
25
ge [0,100] ans
Nous prconisons lutilisation de ladjectif net pour faire rfrence lapproche classique binaire ; en opposition avec
lapproche floue , fonde sur la thorie du flou.
4/12
Inluctablement, un effet de seuil apparat : il suffit qu'un voyageur ait ft son anniversaire
la veille pour qu'il ne puisse plus bnficier des tarifs prfrentiels auxquels il aurait pu
prtendre s'il avait pris l'avion un jour auparavant. En un jour, il est pass pour la
compagnie arienne de la catgorie des voyageurs jeunes celle des voyageurs nonjeunes . Cette transition discontinue est spcifique aux ensembles nets et la logique
aristotlicienne du fait qu'il n'existe pas de niveau intermdiaire entre le 0 et le 1, entre
l'appartenance et la non-appartenance, entre le Vrai et le Faux, entre le Noir et le Blanc.
Pourtant, dans la vie de tous les jours, nous ressentons intuitivement que le passage de la
jeunesse simpose de faon moins drastique et beaucoup plus graduelle.
(ge)11
Jeune
jeune
0.5
20 30 40
ge [0,100] ans
Avec cette modlisation, les personnes de moins de 20 ans seront considres comme tout
fait jeunes (degr=1) : elles dfinissent les prototypes de cette classe floue ; un voyageur
ayant 30 ans comme plus ou moins jeune (degr=0.5). Par contre, la personne n'appartient
plus la catgorie jeune ds que son ge dpasse 40 ans (degr=0). D'autres catgories
vagues telles que voyageur ayant la quarantaine ou voyageur senior peuvent aussi
tre spcifies pour permettre une qualification de n'importe quel voyageur qui viendrait
passer les frontires (cf. Figure 3). Un ensemble flou permet de ce fait de crer une interface
naturelle entre le quantitatif/numrique et le qualitatif/symbolique.
( )
1
Jeune
Quarantaine
Senior
0.6
0.4
0
20
40
52 60
100
ge [0,100] ans
5/12
Grce au chevauchement des ensembles flous, un voyageur ayant 52 ans sera considr
la fois comme plutt senior (degr=0.6) et sloignant quelque peu de la quarantaine
(degr=0.4). Ce chevauchement des classes est la base de la robustesse des systmes
flous : il autorise un changement progressif dtat et par consquent une convergence
progressive de la dcision. Ainsi, le concept densemble flou, permettant une
appartenance nuance, autorise la dfinition de catgories linguistiques graduelles telles
qu'elles sont manipules par l'esprit humain.
Ce saut conceptuel, qui parat de prime abord anodin, bouleverse certains principes
fondateurs des mathmatiques classiques. Tout d'abord, il existe en thorie du flou une
infinit, et non plus une dfinition unique, d'oprateurs modlisant le ET
(conjonction/intersection), le OU (disjonction/union), le NON (ngation/complmentation)
et le SI..ALORS (implication/dduction). De plus, des lois aussi clbres que celle du tiersexclu3 et celle de non-contradiction4 ne sont gnralement plus respectes.
A partir de variables floues qualifies par les classes de partitions floues, il est possible de
construire des rgles floues de dcision :
SI (le voyageur est Jeune OU a la Quarantaine) ET que (le voyageur revient dune
destination Exotique) ET que (le sjour a t Bref) ALORS Procder une fouille approfondie
du voyageur et de ses bagages par le Matre-chien.
Un systme flou sera compos dune compilation de rgles floues. Grce au moteur
dinfrence implantant les schmas de raisonnement approch (Modus Ponens Gnralis),
il est possible de dclencher les rgles floues idoines afin de calculer la dcision finale du
systme flou [Zadeh, 1975] [Zalila, 1993].
3
4
6/12
2.
MODLISATION FLOUE
Tout modle flou bnficie des quatre proprits importantes des systmes flous [Zalila,
1993-2008] :
7/12
INTELLIGIBILIT
La dfinition d'un modle descriptif et qualitatif dun processus, par exemple le
comportement d'un agent dcideur, devient relativement aise puisqu'elle est
principalement base sur l'emploi de rgles linguistiques dcrivant lexpertise, les
stratgies heuristiques, le savoir-faire de cet oprateur. En effet, s'agissant d'identifier les
rgles de dcision/action et leurs conditions de mise en uvre dans les diffrentes soustches de prise de dcision tudies, les rgles floues s'avrent commodes pour associer
les actions opres par lagent dcideur aux conditions dcrivant, mme de faon partielle
et vague, les situations rencontres lors de la prise de dcision.
Cette simplification de l'architecture du modle entrane une plus grande simplicit de
programmation, une plus grande flexibilit et de plus faibles cots de maintenance. En
outre, par sa lisibilit et sa similarit avec le langage naturel, ce formalisme base de rgles
facilite le dialogue entre ingnieurs, ergonomes et psychologues cognitivistes, dans le
cadre d'une conception pluridisciplinaire d'un systme technologique en forte interaction
avec un oprateur [Bourlier & Sperandio, 1995] : l'ingnieur n'a plus besoin d'expliquer
qualitativement ce que modlise quantitativement une quation diffrentielle ou aux
drives partielles.
LOCALIT
Chaque rgle modlise le comportement de lagent dcideur face une situation donne,
qui peut tre dcrite de manire imprcise, incertaine ou subjective. La modification du
comportement de lagent pour une situation donne s'obtient alors par modification des
rgles locales spcialises dans la description de cet tat du monde. Dfinir des rgles
floues revient dfinir des cellules multidimensionnelles qui couvrent lespace de dcision6
(cf. Figure 4). Du fait que les rgles sont floues, les cellules correspondantes se chevauchent
aux frontires.
De par ce maillage cellulaire flou de lespace de dcision, une modification locale
n'engendre pas de changement global dans le comportement de lagent. Cette proprit
de localit, permet notamment au concepteur de rparer localement un systme flou
qui ne fonctionnerait pas de manire correcte pour certaines situations.
8/12
TRAABILIT
Le concepteur a la possibilit de tracer le chemin utilis par le systme flou pour atteindre
la dcision finale en partant des entres : il suffit pour cela de lister les rgles floues qui ont
t dclenches, avec leurs degrs d'activation. De ce fait, la validation du modle flou s'en
trouve facilite.
B1
B2
B3
B4
A4
A3
A2
A1
B1
B2
B3
B4
A4
X est A2 Z est C1
A3
A2
C1
C1
C1
B1
B2
B3
B4
A1
A4
A3
A2
A1
C1
9/12
GRANULARIT
Le concepteur a la libert de choisir la taille du grain de connaissance quil manipule.
Slectionner la taille du grain manipul revient fixer, dans le maillage de lespace de
dcision, la taille de la maille correspondant la rgle floue [Zadeh, 1996]. Deux dmarches
sont possibles :
Une autre faon daffiner localement une rgle, dont le comportement serait jug
grossier, consiste la remplacer par un groupe de rgles plus spcialises, en
procdant un remaillage de la maille. Ceci sopre en remplaant au moins une des
classes floues qualifiant une des entres de la rgle, par deux ou plusieurs classes plus
spcifiques (cf. Figure 6).
B1
B2
B33
B32
B31
A4
A1
A3
A22
A21
B4
Ce maillage peut tre ritr de manire fractale, par zooms successifs ; cest en particulier
grce cette proprit que le modlisateur peut approcher aussi finement quil le souhaite
nimporte quelle fonction non-linaire. De manire duale, la proprit de granularit
explique la frugalit dun systme flou qui peut se contenter dune description sommaire,
voire partielle, de la situation de prise de dcision, sans pour autant dgrader la
modlisation du processus.
la diffrence de lapproche connexionniste (i.e. rseaux de neurones formels) qui
construit des modles de type bote noire [Hassoun, 1995] [Patterson, 1996], linduction
automatique de modles flous permet de maintenir les proprits dintelligibilit, de
traabilit, de localit et de granularit qui font la force des systmes flous, tout en offrant
une grande souplesse dans la dfinition de modles non-linaires, mme en labsence de
connaissance a priori.
10/12
3.
11/12
4.
RFRENCES
12/12