F U Z Z II F II E R FUZZ F ER L A R C H II T E C T U R E ARCH TECTURE L

ETUDE DE LA LOGIQUE FLOUE ET DES SES APPLICATIONS DANS L ARCHITECTURE

Guillaume Me unier AT GE

Personne na su riger lArchitecture en Science, alors adaptons les Sciences lArchitecture

Directeur de Mmoire : Monsieur Alain Constans. Merci : Anne pour sa gnrosit hors du temps.

PREAMBULE :
Le mmoire de quatrime anne est une tape importante au des tudes darchitecture. Il a pour vocation de permettre llve de produire un travail personnel identifiable1 Attir par les sciences en gnral et linformatique en particulier, je ne voyais pas lintrt de produire un mmoire consacr linformatique applique larchitecture ni sur le renouveau de larchitecture par lordinateur . Je souhaitais suivre une voie assez pointue et surtout peu connue des sciences qui me permettrait de mettre en avant mes capacits scientifiques, professionnelles et mes capacits pdagogiques dans le but de faire dcouvrir quelque chose. Aprs quelques tentatives infructueuses, une ide de recherche ma paru satisfaire ces trois buts : Ltude de la logique floue*, logique ayant pour but de rendre la pense scientifique plus humaine . Si, au terme de ce mmoire, je parviens mlanger les trois genres alors je pense que je serais parvenu mon but premier : tre apte a suscit lintrt auprs de mes lecteurs

Note de M. Beyhum, 7 octobre 2002 * Voir dfinition dans glossaire

1

SOMMAIRE
PRAMBULE : 5

SOMMAIRE

INTRODUCTION

LA LOGIQUE BINAIRE
1. ARISTOTE ET LES ENSEMBLES 2. RAPPEL THEORIQUE SUR LES ENSEMBLES 3. CEST PROBABLE 4. ENVAHIE PAR LA LOGIQUE 5. QUAND LA LOGIQUE TROUVE SES LIMITES

10
10 11 12 12 13

LA LOGIQUE FLOUE
1. UN PEU DHISTOIRE 2. UN PEU DE THORIE 3. COMMENT LAPPLIQUER ?

15
15 16 20

LE FLOU ARCHITECTURAL
1. DES AVANTAGES OUI, MAIS LESQUELS ? 2. UNE APPLICATION PROFESSIONNELLE 3. L ARCHITECTURE FUZZIFI

25
25 26 27

CONCLUSIONS
6

29

BIBLIOGRAPHIE
1. LIVRES 2. MAGAZINES 3. SITES WEB

30
30 30 30

ANNEXES

32

TABLE DES ILLUSTRATIONS

33

GLOSSAIRE

34

INDEX

36

INTRODUCTION
Larchitecture, cest moche ! Qui parle ainsi? Un fou ? Une personne qui hait les sciences et lart ? Ou un Homme, tout simplement ? Une telle exclamation exempte de logique te tout crdit son auteur. Une affirmation similaire soutenue par un raisonnement logique aurait au contraire mis son ide en exergue. Cest grce cette logique justement, qui existe depuis 2400 ans (merci Aristote*), que nous avons pu acqurir des connaissances sres et vrifiables. Ces connaissances logiques sont un enchanement de raisonnements bass sur des postulats*. Les Postulats de la gomtrie Euclidienne par exemple. Puis, un jour, quelquun sest amus changer ces postulats et cela a donn naissance une nouvelle gomtrie, ainsi le blanc devient noir et le noir devient blanc. Mais, au final, cela fait 2400 ans que lon perd de vue le principe mme qui a cr cette logique : Comprendre le monde alentour. Et lorsque lon essaye, le monde apparat non pas tout blanc ni tout noir mais videment gris. Le vrai se mlange au faux contrairement au 0 qui soppose au 1. Alors pourquoi avoir cr une logique hors du monde ? Daccord il fallait bien commencer, mais au final, na-t-on oubli le principal savoir le peut tre et le partiellement qui apportent une toute nouvelle dimension aux ides. Cest alors quil devient intressant de remettre en cause la logique absolue et de faire intervenir une logique plus humaine et moins contraignante. Ainsi, la logique dite floue trouve naturellement sa voie parmi les sciences appliques, permettant dviter le carcan trop touffant de la Science pure. En fait, Il faut voir dans la logique floue une dmarche intellectuelle logique qui permet de rsoudre des problmes de faon simple et humanise. Par contre, elle ncessite lavis dexpert, non en logique mais dans le domaine concern do lintrt qui apparat dinitier et de former les architectes au flou. Pour cela, il faut dabord comprendre la logique bivalente* pour ensuite aborder une logique plurivalente*, la 8

logique floue*. Enfin, il sagit de lappliquer larchitecture et den tirer les programmes informatiques avec les bases acquises. Ainsi tout ce que peut nous apporter cette nouvelle dmarche aura t entrevu.

LA LOGIQUE BINAIRE
1. A RISTOTE
ET LES ENSEMBLES

La logique est une dmarche de pense. Logique vient du grec logos : la parole, le verbe et ses balbutiements sont imputer un philosophe grec : Aristote*. Aristote a consacr sa vie tenter dexpliquer (et de rationaliser) la Nature en classant et codifiant tout ce qui la constitue. Tous les Hommes sont mortels. Platon est un Homme. Donc Platon est mortel. Ce syllogisme bien connu, a formalis un courant de pense qui est maintenant tellement ancr en nous que lon ne parle mme plus de logique mais dvidence. Le concept bivalent* du vrai et du faux, du bien et du mal est ainsi apparut et on le retrouve exprim par les plus grands philosophes comme Descartes pour qui la raison est la puissance de bien juger, et distinguer le vray davec le faux1 . Ce nest qu la fin du 19me sicle quun mathmaticien du nom de Georg Cantor met en place la thorie des ensembles qui est le support mathmatique du concept de vrai et faux.

E A

Figure 1 Concept de la thorie des ensembles

1 Ren Descartes (1596-1650), dans le Discours de la mthode, premire partie

10

Malgr son apparente simplicit, ce schma rsume a lui tout seul la logique aristotlicienne. Cependant, afin de mieux le comprendre et pour approfondir un peu cette logique apparemment si naturelle, un petit rsum sur les ensembles est ncessaire.

2. R APPEL

THEORIQUE SUR LES ENSEMBLES

Le principal postulat* connatre est le principe du tiers exclus* qui peut snoncer ainsi : Une proprit (p) ne peut que tre vraie ou fausse mais jamais simultanment vraie et fausse. A partir ce cette simple phrase, on peut construire toute la logique bivalente*

p p= p p=
On peut traduire ce tableau par : un ensemble ET son contraire nont pas dlment commun et un ensemble OU son contraire forme le tout ; cest logique.

p
V V F F

q
V F V F

p
F F V V

pq
V F F F

pq
V V V F

pq
V F V V

pq
V F F V

V = vrai ; F = faux ;

pq

= non p ;

= si p alors q ;

p q = p et q ; p q = p ou q ; p q = p si et seulement si q

Figure 2 - Tableau de la thorie des Ensembles Voila le tableau partir duquel fonctionne tout ordinateur : Ce sont les oprations logiques de ngation, dunion, dintersection et dimplication. Pour le comprendre il faut le lire haute voix : si P est vrai et Q vrai ? Le contraire de P est faux, P et Q est vrai, P ou Q est vrai etc..Ce quil faut en retenir, cest que nous navons pas le choix, une proprit est vraie ou fausse ; un ordinateur traduit cela par des 1 ou 0.

11

Souvent confondues avec la logique et encore plus avec la logique floue, les probabilits ont leurs subtilits qui les diffrencient bien.

3. C EST P ROBABLE
Dfinition : Une mesure de probabilit P est une application de lensemble des vnements dans lintervalle [0,1] qui satisfait aux deux proprits suivantes :

A B = P( A B) = P( A) + P( B)

Ce qui veut dire que si on a deux ensembles distincts (sans lment commun), alors la probabilit de A et B est gal la somme des probabilits de A et B. De plus :

P ( ) = 1

P ( ) = 0 P( A A) = P( ) P( A A) = P(U )
En somme, la probabilit dun vnement certain est gale 100%, celle dun vnement impossible est de 0% et, enfin, si un vnement a 30% de risque de survenue, il a par la-mme 70% de chance de ne pas se produire.

4. E N V A H I E

PAR LA LOGIQUE

Ce bref rsum thorique peut paratre trs rbarbatif, mais, il est tonnant de remarquer que toutes ces notions abstraites sont utilises quotidiennement de faon trs concrte. En effet, qui ne sest jamais pos de question se rfrant aux calculs de probabilit? Il suffit de jouer aux ds pour appliquer dj bien plus que ce qui a t expos prcdemment. Que dire alors des courses hippiques ? Les enfants, ds dix ans, aiment, de mme, crer des syllogismes semblables celui de Platon. Lordinateur, quant lui, est une application sans nulle fantaisie du tableau de la thorie des ensembles. On peut mme dire que la base dun ordinateur nest quune srie de trois oprations basics : ET, OU , NON. Grce cela, il calcule additions, soustractions et toutes les combinaisons imaginables. Les systmes experts en sont lune des applications les plus prometteuses: Ces programmes permettent de rsoudre 12

des problmes complexes en posant des questions dont les rponses sont simplement oui ou non. Ainsi, un systme expert concernant le fonctionnement des vhicules automobiles permettra-t-il de dcouvrir do vient une panne en formulant ainsi ses questions : _La voiture dmarre-t-elle ? _Si non, le dmarreur fonctionne-t-il ? _Si non, la batterie est-elle branche correctement ? _Si oui, alors la batterie est vide.

5. Q UAND

LA LOGIQUE TROUVE SES LIMITES

Ainsi, la logique parat inne et servir chaque instant; cependant, lobserver de plus prs, les enfants nont pas cette capacit logique, elle est remplace par lintuition. En plus elle ne nous est utile que dans des cas trs simples, ne prsentant ni contraintes multiples ni caractre bien prcis. Un raisonnement de dpart bas sur la logique simple, volue ensuite vers une conception beaucoup plus personnelle : Sexpriment alors toute loriginalit de ltre humain, son particularisme et ventuellement tout son gnie. Ainsi, en architecture, la notion densoleillement ou la ralisation dune esquisse ne rpondent pas une logique parfaite, de mme lestimation de la qualit globale dun btiment. Et lhomme supporte mal la logique bte et mchante dun ordinateur : Qui na jamais perdu patience face cette pure logique mcanique ? A une chelle humaine, un systme expert par exemple appliqu, comme il en existe, lanalyse dune maladie, donne le type de rponses suivantes : _Etes vous malade ?
_Oui (quelle question !)

_Toussez vous ? _Oui beaucoup. _Toussez vous OUI ou NON ?

_Oui (pff). _Un peu sche.

_Avez vous une toux sche ou grasse ?

_Avez vous une toux SECHE ou GRASSE ? 13

_Ben un peu seche !

FATAL ERROR IN ANSWER.DLL On comprendra ainsi que des rponses logiques, limites un OUI ou un NON ne correspondent pas toujours lorsquil sagit de circonstances humaines ou lorsque que les donnes ne sont pas absolues; cest toute la richesse de notre langage. En effet, pour rendre fine et prcise la comprhension de ce que nous exprimons, nous ajoutons des adjectifs qualificatifs (grand, long, fin, mince) ou des adverbes (beaucoup, un peu) qui permettent dapporter des nuances beaucoup plus subtiles et plus concrtes quune simple affirmation ou ngation : Cest toute lchelle des gris qui soppose au simple choix du blanc ou du noir. Ainsi, la logique, cre par et pour lHomme pour mieux laider, trouve-t-elle ses limites au sein des jugements de valeur de ce mme Homme. Quel modle scientifique peut sadapter une pense complexe qui dsire une expression simplifie ?

14

LA LOGIQUE FLOUE
1. U N
P E U D H I S T O I R E

Au del du simple manichisme qui est lvolution la plus radicale de la logique et aussi son aboutissement religieux et temporel, on peut se demander o nous mnerait une logique implacable. Tout dabord, justement des ides simples puis parfois simplistes et en poussant un peu loin a des ides trs populistes. Mme si le cartsianisme est un peu galvaud, il est la base de beaucoup de courants de pense. Adopt donc dans de nombreux domaines, son utilisation reste trs emblmatique dune socit frileuse qui ne veut appliquer que les mathmatiques sans quivoque l o le doute subsiste. Et pourtant il nen reste pas moins que trop de logique tue la logique. Au bout du compte, si il y a bien un domaine o la logique na jamais russi prendre le dessus cest dans tout ce qui touche la beaut, ce qui explique la ncessit dutiliser dautres moyen, comme les chelles, pour la dfinir. Nul naurait la prtention ici de parler dune vraie beaut absolue. Et bien voil, jen appelle dfinir tout ce qui nous entoure non pas par une logique bivalente* mais plurivalente*. Car quoi de plus humain quune langue et quoi de plus complexe que la traduction de ce mme langage en donnes formelles. Et jirais mme jusqu' donner aux qualifications des propositions une nuance pistmologique1. Rappelons un philosophe crtois oubli, Epimnide qui pensait que tous les crtois taient des menteurs. Joli paradoxe que voil puisque, si Epimnide est crtois, alors il ment et donc tous les crtois disent la vrit et donc Epimnide qui est crtois na pas menti ! Ce type de problme irrationnel a pouss les mathmaticiens reconsidrer srieusement la logique bivalente*. Dans les faits, tout se dclenche au dbut du sicle dernier, priode laquelle o plusieurs problmes insolubles apparaissent. En physique par exemple, lincertitude dHeisenberg* amne
1

R.Blanch

15

les physiciens crer le en logique pour caractriser ce qui ne peut tre dtermin. De mme, Lukasiewicz, logicien polonais, en travaillant sur le futur contingent (ce qui est en devenir), est un peu devenu le crateur de la logique plurivalente* puisquil faut bien quil existe un tat qui nexiste pas ET existe simultanment : le futur. Cest ainsi que, dans les annes Trente, Max Back travaille sur la logique plurivalente applique aux ensembles. Mais finalement, ce nest quen 1965 que Lofti Zadeh, Professeur luniversit de Berkeley, jette vritablement les bases de la logique floue dans son livre Fuzzy set theory . En 1975, le professeur Mandani ralise le premier contrleur flou exprimental dont, quatre ans plus tard, on trouve la premire application dans un four. Depuis, la grande majorit des travaux sur la logique floue a t mene au Japon o cette thorie est trs prise. L-bas, il existe de nombreux ustensiles et appareils lectromnagers utilisant cette mthode et mme le fameux mtro de Sendai en est dpendant. On peut expliquer ce revirement des recherches en Orient par le fait que la pense occidentale est trop marque par le cartsianisme qui rend aberrante la violation du principe du tiers exclus* alors que cette ide est volontiers admise au Japon. En clair, la logique floue nest surtout pas une logique imprcise mais bien une logique qui sadapte ltre humain en laissant une place entre la certitude du vrai et la certitude du faux.

2. U N

PEU DE THEORIE

Afin de mieux comprendre, de pouvoir comparer et ensuite dappliquer ces notions, il est impratif de passer par la thorie.

16

Au chapitre prcdent, une fonction dappartenance de lensemble E,

A : U {0,1}

1, si : x A A ( x) = 0, si : x A
ne laissait le choix quentre 1 ou 0. Imaginons maintenant A, sous ensemble de E, et une valeur dappartenance A (x ) , de llment x dans A, alors :

A = A ( x1 ) + A ( x 2 ) + K + A ( x n ) = A ( xi ) = A ( x )
i =1

A est alors un ensemble comme fonction. Prenons un exemple simple : soit E, lensemble des tailles possibles et A le sous ensemble grand. En logique bivalente, on est soit petit soit grand, (x<170cm : pas grand ; x=170cm : grand). Stupide non ? Si je mesure 170cm, je suis grand et si je mesure 169cm, je suis petitCette discontinuit est totalement absurde.

A (x )

GRAND

170cm

En ralit si je mesure 170cm, je ne suis ni vraiment grand ni vraiment petit ; par contre, si je mesure 175cm, je commence tre srieusement grand et, au del de 180cm, je suis vraiment grand. Voila un exemple typique de ce quest la logique floue et de son intrt.

17

 A (x )

1 0.5

GRAND

160

170

180cm

La suite est trs simple, il ne reste plus qu tablir les rgles de calcul en logique floue. Elles sont presque toutes analogues celle de la logique bivalente. La commutativit, lassociativit, la distributivit et linvolution sont respectes. Cependant, contrairement aux probabilits,

P( A A) pas _ necessairement = P( ) P( A A) pas _ necessairement = P(U )

il y a violation du principe du tiers exclus ! Dautre part, la logique floue dcrit lambigut alors que les probabilits dcrivent le doute quant loccurrence dun vnement. Les oprateurs, quant eux, sont bien diffrents. Loprateur NON est dfini ainsi :

non( A ( x )) = A ( x) = 1 A ( x)
Loprateur OU : Loprateur ET :

A ( x) B ( x) = max ( A ( x), B ( x )) A ( x) B ( x) = min ( A ( x), B ( x) )

Voici maintenant, en comparaison de celui de la logique standard , un tableau rcapitulatif.

18

p
1 1 0 0 0.8 0.3

q
1 0 1 0 0.5 0.9

p
0 0 1 1 0.2 0.7

pq
1 0 0 0 0.5 0.3

pq
1 1 1 0 0.8 0.9

p p
0 0 0 0 0.2 0.3

p p
1 1 1 1 0.8 0.7

Les valeurs donnes ici sont les valeurs dappartenance un ensemble ;

= non p ;

p q = p et q ; p q = p ou q ;

Figure 3 - Tableau de la thorie des Ensembles Flous Ainsi, nous remarquons que si lon contraint les valeurs 0 ou 1, la thorie est la mme que pour la logique bivalente ; de mme, on peut vrifier que le tiers exclus est faux. Nous avons utilis, pour ce tableau, la mthode de Zadeh, la plus utilise. Cependant, il existe dautres mthodes qui permettent de calculer le ET et le OU. Par exemple, la mthode Probalistique dans laquelle OU se calcul par :

A ( x) B ( x) = A ( x) + B ( x) A ( x ) B ( x )
Ou encore la mthode de Lukasiewicz dans laquelle ET se calcule par :

A ( x) B ( x) = max ( A ( x) + B ( x) 1,0 )

Lun des nombreux avantages de la logique floue est aussi que les concepts de trs ou trs peu existent. On peut ainsi dfinir la fonction de concentration (trs) comme :
2 con( A) ( x) = A ( x)

19

3. C OMMENT L APPLIQUER ?
BASE DE DONNES RGLES DINFRENCES*

FUZZIFICATION

DCISION

DFUZZIFICATION

Entre

PROCESSUS

Sortie

Figure 4 Rgulateur par logique floue Maintenant, essayons dappliquer ces concepts au rgulateur de temprature dun chauffe eau. Etape n1 : Dfinition des entres et sorties. En entre, nous avons la temprature de leau lintrieur du ballon et en sortie, lamprage fournir au chauffe-eau. Nous pourrions trs bien dfinir dautres entres comme la temprature extrieure ou celle de la pice ou les trois la fois. Etape n2 : Fuzzification ou dfinition des fonctions dappartenance des variables. En clair, il sagit dattribuer chaque variable des degrs dappartenance diffrents tats que lon doit dfinir. Pour simplifier, nous allons dfinir trois tats dentre (trop chaud, tide et trop froid) et trois tats de sorties (nul, faible et fort). Maintenant, nous allons tablir les degrs dappartenance ces tats laide de graphique.

20

Trop froid

Tide

Trop chaud

33

35

37

39

Temp. (C)

Nul

Faible

Fort

Ampre (A)

Figure 5 - Graphique de fuzzification des variables Etape n3 : Cration des rgles dinfrences*. Il sagit tout simplement, comme nous le ferions naturellement, de donner les rgles qui lient les donnes aux actions. Ainsi, si la temprature est trop froide , il faut mettre le courant fort ; si la temprature est trop chaude , il faut mettre le courant sur nul , et, enfin, si la temprature est tide , il faut mettre le courant sur faible . Cest ici quintervient tout lintrt de la logique floue car ces rgles sont tablies par le bon sens dune personne avertie ou experte dans le domaine et non pas par un programmeur. Dans le cas cit, on pourrait prendre lavis dun ingnieur en climatisation qui dirait quil ne faut pas trop chauffer (notons bien le pas trop ) lorsque la temprature extrieure est un peu au dessus de 20C ( un peu ) et il sagirait alors simplement de rajouter une rgle et dutiliser une des mthodes de calcul du ET . Etape n4 : Calcul et dfuzzification. 21

Prenons un exemple simple: leau est 37,5C.

Figure 6 - Schma de dfuzzification Une fois les calculs faits, on obtient un schma de rsultat qui nest autre quune valeur floue : la surface hachure. Il sagit maintenant de transformer cette valeur floue en grandeur physique relle. Pour cela il existe trois grandes mthodes : La mthode du maximum qui correspond labscisse minimum de lordonne maximum de la surface (on trouve 0,75A). Cette technique simple voir simpliste ignore les rgles secondaires qui peuvent nanmoins tre importantes pour la stabilit du systme. Cette technique est peu utilise. 22

La mthode de la moyenne pondre. Il faut simplement cette fois faire la moyenne des rsultats en leur attribuant comme coefficient leur validit.

0.5 * 0.75 + 1 * 0.25 = 0.625 0.75 + 0.25

Cette mthode est nettement plus juste et prend en compte tous les rsultats prsents malgr quelques ambiguts. La mthode des centrodes est de loin la meilleure. Elle consiste tout simplement calculer le centre de gravit des surfaces. Pour cela nous calculons les centres de gravit de chaque surface puis nous pondront les rsultats avec les surfaces.

Figure 7 - Schma de la mthode des centrodes

23

X 1 * S1 + X 2 * S 2 = resultat S1 + S 2 0.44 * 0.219 + 1 * 0.9375 = 0.78 0.44 + 0.9375

Cette mthode est la plus gourmande en calcul mais donne les rsultats les plus justes. Il ny a bien sur pas de mthode miracle et on peut encore trouver dautres mthodes qui nuanceraient le rsultat. Lessentiel est darriver trouver une valeur cohrente par rapport a lutilit que lon cherche.

24

LE FLOU ARCHITECTURAL
1. D ES
AVANTAGES OUI , MAIS LESQUELS

Abordons les avantages de la logique floue en ellemme. Dj, comme nous avons pu le constater, nous navons pas eu besoin dtablir de modle mathmatique de lensemble du chauffage. Cela vite des annes de travail sur des modles, qui au bout du compte nexistent pas forcement ou sont dune complexit faire plir les chercheurs dans le nuclaire. Ensuite la logique floue permet de prendre en compte les typologies linguistiques et donc toutes les nuances que lon a cres dans le but dimiter au mieux le rel. Nous avons pu traiter des systmes comportement complexe (mme si lexemple est simplifi, cela reste un systme complexe en mathmatique pure) en restant accessible tout un chacun. Nous pouvons aujourdhui nous servir de solutions matrielles comme des microprocesseurs uniquement ddis aux calculs flous, ce qui permet daccrotre le rendement puisque cela rduit la programmation. Nous aurions pu augmenter facilement le nombre dentres sans rellement compliquer les calculs (alors quen logique simple la taille des calculs est exponentielle). Ensuite on peut aussi voir tout les avantages annexes lis la simplicit de la formulation qui ne ncessite aucun programmeur ultra performant ni algorithmicien de gnie mais tout simplement un expert dans le domaine concern qui a pour simple tache dnoncer des lois en langage courant avec toutes les nuances quil dsire. Cest en faite cette phase de la conception qui est primordiale et elle ncessitera une phase de test afin de vrifier la vracit des dires. De mme lajout ou le retrait de rgles ne change quasiment rien au principe alors quen logique bivalente, cela peut changer du tout au tout. Dans la majeure partie des cas, les applications des concepts flous, portent sur le traitement flou dinformations non floues par nature, mais entaches dimperfections 25

apportes par le processus de mesure (imprcision et/ou incertitude). Cependant, on rencontre parfois des situations o linformation est floue par essence : objets (dfauts dans le bois), caractristiques dobjets (confort dun sige) ou rsultats dvaluation sensorielle.

2. U NE

APPLICATION PROFESSIONNELLE

les outils danalyse sont de plus en plus sophistiqus, bass sur des traitements statistiques, mathmatiques, que ce soit de la logique floue ou des approches non dterministes. Robert Cop dans Techniques & Archi. Chercheurs et praticiens ont pos la question de la place de linstrumentation dans le processus de projet urbain. Lingnierie de la cohrence mais aussi des modes de raisonnement analogiques comme la logique floue[] ont t mis en avant Frdric Mialet dans AMC. un domaine d'application privilgi reste la vision artificielle[] Nous cherchons prendre en compte la variabilit de lenvironnement et des images pour amliorer les performances des traitements en y introduisant des connaissances contextuelles du problme. Lutilisation des concepts flous permet daborder diffremment des problmes tels que la segmentation dimages ou la reconnaissance de formes. Nos travaux se dcomposent selon deux actions principales, l'une plus applique portant sur les modles flous, symboliques, l'autre plus mthodologique, concernant lapplication des concepts flous la segmentation dimages et la reconnaissance de formes. Brmont, E. Levrat, L. Rondeau, R. Ruelas, A. Voisin Projet de Recherche 1996/2000. Comme on peut le constater, les domaines dapplication de la logique floue sont vastes et varis, et les recherches dans ce domaine sont nombreuses. Ds quil sagit dinteragir avec les hommes on peut faire appel ces mthodes. Et justement, les endroits dans lesquels nous voluons sont les premiers liens que lhomme tisse avec son environnement. Donc la relation avec Larchitecture est vidente. Il sagit bel et bien dutiliser des donnes floues comme les Hommes, leur confort et lenvironnement pour arriver faire des Btiments dont la logique permet 26

damliorer toutes les donnes de dpart. Cest le principe mme du flou.

3. L A R C H I T E C T U R E

FUZZIFIE

On peut envisager toutes sortes dapplications lies a larchitecture qui utiliseraient les bases de la logique floue. Dans lurbanisme ou la logique floue permettrai envisager autrement les limites des villes et des de quartiers. Des logiciels de calcul de COS prendraient alors en compte rellement lenvironnement suivant les choix des urbaniste. De mme on peut imaginer des applications qui tabliraient le degr dappartenance des normes comme le HQE. Car quoi de plus flou que lactuelle norme HQE. 14 points quil faut essayer datteindre. Avec un programme en logique floue il serait trs simple de donner les entres comme les perditions thermique du btiment ou dautres entre plus subtil comme lorientation ou lutilisation de tel matriaux et au final avec quelques rgles on pourrais obtenir ou non le label HQE. Cela serait trs simple a mettre en uvre une fois le moteur flou cre. On pourrait aussi faire des tudes dimpact des btiment ou de faades ou tudier au mieux la gestion des surfaces ou encore valuer le cot global dun btiment. Enfin bref les applications ne manquent pas. Une des ides les plus abouties concerne la mise en dessin de croquis darchitectes. Cette ide, sans doute aussi vieille que lapparition des NTIC* a toujours excit les pense des architectes. Avec la logique floue on atteint une tape supplmentaire dans cette recherche. Maintenant les dmarches humaines utilises lors de croquis peuvent tre interprt par la machine travers le moteur flou. Le meilleur exemple est le programme Esquise issu de la recherche du groupe Lucid dirig par Pierre Leclerc. Ce logiciel na besoin que dun simple croquis.

27

Pour arriver a calculer en temps rel : La topologie de lagencement des pices avec des indications annexes concernant les formes

De mme quune estimation des besoins nergtiques du btiment.

Et bien sr une visualistation 3D en temps reel.

Ainsi le croquis entrane le dessin et les rsultats des calculs influent sur le croquis. 28

CONCLUSIONS
Larchitecture cest moche Cette exclamation existera toujours mais on peut esprer que dire dun btiment quil est mal agenc nexistera plus. On pourrait sapprocher de cette utopie en utilisant les ordinateurs a bon escient. Il ne sagit pas de faire faire un btiment lordinateur mais bien de se servir de sa puissance de calcul afin de rgler les problmes techniques (normes, agencement, structure). Ces problmes ntaient jusqu' prsent pas abord parce que cela ncessitait des annes de recherches et des quantits de programmes pour arriver des maigres rsultats. Aujourdhui de nouvelles voies souvrent. Celle de la logique floue par exemple permet dapprhender des problmes mathmatiques complexe de faon simple et intuitive. La ou des quantits faramineuses de lignes de code et des processeurs ultra puissants sont utiles ; un moteur de logique floue avec son processeur ddi pourrait rpondre beaucoup plus vite et simplement en se basant en plus sur lexprience dun architectes, plus que sur le talent du programmeur. Ainsi serait redonn aux acteurs principaux le rle qu'ils ont jouer dans la cration grce la matrise de leurs outils. On peut esprer quavec un architecte matre de tous les aspects, la cohsion globale dun btiment soit assure et par l-mme sa beaut. Avec de tel outils cest chose assure. C'est finalement que juste retour de lhistoire, puisque jusqu' prsent les hommes devaient s'adapter aux outils informatiques, maintenant ce sont les outils qui s'adaptent l'homme.

29

BIBLIOGRAPHIE
1. L IVRES
Le monde de Sophie Jostein Gaardner La logique, informatique et paradoxe J.P. Delahaye Ed. Pour la sciences Diffusion Belin La logique ou lart de raisonner Y. Delmas-Rigoutsos R. Lalement Ed. Le pommier La logique Floue : pour les affaires et lindustrie Earl D. Cox Thomson publishing Les systmes intelligents bass sur la connaissance W.J. Black Ed. Manson Une Histoire des Mathmatiques, routes et ddales Dahan-Dalmedico/J. Peiffer Ed. Points Sciences Cours Algbre Jean Marie Monier Ed. Dunod Comprendre la logique moderne F. Chenique Ed. Dunod. Elment de la logique floue L. Gascogne Ed. Hermes Ides nettes sur la logique floue J. Godjevac Presse Polytechniques et universitaires romandes Introduction la thorie des sous ensembles flous A. Kaufmann Ed. Masson

2. M AGAZINES
Note de M.Beyhum, 7 octobre 2002 Techniques et Archi oct-nov 2002 Alchimie du Beton , Robert Cop AMC n120 novembre 2001 p38

3. S I T E S W EB
Projet de Recherche 1996/2000 Brmont, E. Levrat, L. Rondeau, R. Ruelas, A. Voisin http://uranus.cran.uhp-nancy.fr/ Pour y voir plus clair, dans la logique floue ! 30

Bernard Mantel http://www.chez.com/bmantel/ Introduction la logique floue Pierre Gabriel http://elap.montefiore.ulg.ac.be/fuzzy/ Logique Floue Eric Brasseur - 1994 http://www.4p8.com/eric.brasseur/lofo.html Logique Floue Renald Lehoux - 2000 http://perso.wanadoo.fr/lehoux/ Esquise Sketch Recognition Pierre Leclercq http://www.lema.ulg.ac.be/tools/esquise/

31

ANNEXES

Figure 8 - Esquise : le futur ?

32

TABLE

DES

ILLUSTRATIONS

FIGURE 1 CONCEPT DE LA THORIE DES ENSEMBLES ..............................10 FIGURE 2 - TABLEAU DE LA THORIE DES ENSEMBLES.................................11 FIGURE 3 - TABLEAU DE LA THORIE DES ENSEMBLES FLOUS.......................19 FIGURE 4 RGULATEUR PAR LOGIQUE FLOUE ........................................20 FIGURE 5 - GRAPHIQUE DE FUZZIFICATION DES VARIABLES ........................21 FIGURE 6 - SCHMA DE DFUZZIFICATION................................................22 FIGURE 7 - SCHMA DE LA MTHODE DES CENTRODES ............................23 FIGURE 8 - ESQUISE : LE FUTUR ? ............................................................32

33

GLOSSAIRE
Aristote (384 322 AV JC) : Elve de Platon il devient aprs la mort de ce dernier le prcepteur dAlexandre le grand. Il cra une cole Athnes en 334 AV JC. Il cherche produire un discours capable dexpliquer la nature. Il met en place les rgles de ce discours qui sont : la logique Savoir cest connatre par le moyen de la dmonstration . Esquise : Esquise est un logiciel prototype exprimental de capture et dinterprtation de croquis darchitecte. Il a t cre par lquipe de Pierre Leclerc au sein du groupe Lucid. (www.lema.ulg.ac.be/tools/esquise/ ) Incertitude dHeisenberg : Cela explique le caractre indterministe des phnomnes quantiques. Mieux la position dun corpuscule est dfinie, plus grande est lincertitude sur son tat de mouvement et inversement. Logique Floue (n.) : Tout systme de calcul o les valeurs ne sont pas prcisment dtermines ou dont le systme ou les donnes ne sont pas totalement fiables. Logique Bivalente : Logique dans laquelle seul les valeurs 1 et 0 ou vrai et faux sont utilises. Logique Plurivalente : Evolution de la logique bivalente, dans laquelle on ne se limite plus deux valeurs mais une infinit. Non contradiction (principe) : Enonc en premier par Aristote dans lOrganon sous cette forme, nous ne pouvons pas dire de quelque chose qu'il est et qu'il n'est pas, dans un mme gard et en mme temps . NTIC : Les Nouvelles Technologies de lInformation et de la Communication. Apparues dans les annes 1990, elles dsignent lensemble des machines lectroniques des rseaux et des programmes susceptibles de sinterfacer pour reconnatre, acheminer et traiter des donnes numriques. Postulat : Tout principe d'un systme dductif qui n'est ni une dfinition ni une proposition assez vidente pour qu'il soit impossible de la mettre en doute. Probabilit : voir page 11. Rgles dinfrences : En plus des axiomes d'un systme formel, nous avons besoin de rgles d'infrence pour tirer des conclusions. Un exemple d'application d'une rgle 34

d'infrence est lorsque vous concluez qu'un voisin est la maison parce que son auto est dans l'entre.' Systme Expert : Application capable d'effectuer dans un domaine des raisonnements logiques comparables ceux que feraient des experts humains de ce domaine. Il s'appuie sur des bases de donnes de faits et de connaissances, ainsi que sur un moteur d'infrence, lui permettant de raliser des dductions logiques (chanage avant et arrire). C'est avant tout un systme d'aide la dcision. Tiers exclus (principe) : Toute proposition ne peut tre que vraie ou fausse. Ce principe a pour consquence le principe de non contradiction.

35

INDEX
A
Aristote................................................................................................. 8, 10, 34

C
Cantor............................................................................................................ 10

D
Descartes ....................................................................................................... 10

E
Ensembles................................................................................ 10, 11, 12, 16, 30 Epimnide...................................................................................................... 15 Esquise.....................................................................................................31, 34

F
Fuzzification ....................................................................................... 20, 21, 22

H
Heisenberg................................................................................................16, 34

L
Logique bivalente...................................................... 8, 11, 15, 17, 18, 19, 25, 34 Logique plurivalente........................................................................ 9, 15, 16, 34

36

N
NTIC ........................................................................................................27, 34

P
Platon ................................................................................................. 10, 12, 34 Postulat................................................................................................. 8, 11, 34 Probabilit ................................................................................................12, 35

R
Rgles dinfrences ...................................................................................21, 35

S
Syllogisme ..................................................................................................... 10 Systmes experts ............................................................................................ 13

T
Tiers exclus.............................................................................. 11, 16, 18, 19, 35

Z
Zadeh Lofti ...............................................................................................16, 19

37