Vous êtes sur la page 1sur 13

Réf.

: R7032 V1

Introduction à la logique
Date de publication :
10 octobre 1992 floue

Cet article est issu de : Automatique - Robotique | Automatique et ingénierie système

par Arnold KAUFMANN

Pour toute question :


Service Relation clientèle
Techniques de l’Ingénieur
Immeuble Pleyad 1 Document téléchargé le : 02/12/2019
39, boulevard Ornano
93288 Saint-Denis Cedex Pour le compte : 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

Par mail :
infos.clients@teching.com
Par téléphone :
00 33 (0)1 53 35 20 20 © Techniques de l'Ingénieur | tous droits réservés
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

Introduction à la logique floue

par Arnold KAUFMANN


Ancien professeur à l’Institut Polytechnique de Grenoble,
à l’École Supérieure des Mines de Paris et à l’Université de Louvain
Professeur Honoraire de l’Institut d’Administration
des Entreprises de Barcelone

1. Rappel sur l’algèbre de Boole..................................................... A 120 - R 7 032 - 2


2. Logique floue................................................................................... — 2
3. Rappel sur la théorie des probabilités ..................................... — 3
4. Axiomatique des sous-ensembles flous .................................. — 3
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

5. Relations floues .............................................................................. — 4


6. Inférences floues............................................................................ — 5
7. Nombres flous................................................................................. — 7
8. Sous-ensembles aléatoires flous et expertons ...................... — 7
9. Domaines d’application ............................................................... — 8
10. Exemple ............................................................................................ — 8
Pour en savoir plus ................................................................................. Doc. A 120 - R 7 032

L es concepts introduits par les mathématiques floues intéressent tous les


ingénieurs, partout où ils n’ont pas la possibilité d’effectuer des mesures
formelles ou probabilistes.
De tels cas se rencontrent dans beaucoup de techniques :
— soit parce qu’il n’existe pas d’antécédents ;
— soit parce qu’il s’agit des interactions homme-machine ;
— surtout quand on doit mettre en œuvre des nouveautés scientifiques dont
seulement quelques experts sont capables de proposer des données ; ces
données ne sont alors pas toujours numériques et sont souvent obtenues au
travers de connaissances exprimées par une sémantique, dont on cherche à
qualifier le niveau de vérité.

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Informatique industrielle A 120 ; R 7 032 − 1

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

INTRODUCTION À LA LOGIQUE FLOUE ______________________________________________________________________________________________________

1. Rappel sur l’algèbre (A ∩ B) ∩ C = A ∩ (B ∩ C)  (3)


 associativité
(A ∪ B) ∪ C = A ∪ (B ∪ C) 
de Boole (4)

A∩A = A  (5)
Historique  idempotence
A∪A = A  (6)
La pensée humaine est une symbiose de la logique et de
l’imagination, agissant de concert ou séparément. La logique
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)  (7)
humaine est un enchaînement d’idées, de concepts, concrets ou  distributivité
abstraits, aboutissant à des conclusions qui entraînent des A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)  (8)
décisions ou restant à l’état de résultats utilisables ou non. Les
formes de la pensée humaine, sous l’aspect de la logique, sont
infiniment variées, comme d’ailleurs l’imagination. Beaucoup A∩∅=∅ (∅ sous-ensemble vide) (9)
supposent que cela est une conséquence de l’asymétrie du
demi-cerveau gauche et du demi-cerveau droit, chacun ayant un A∪∅=A (10)
rôle différent mais communiquant sans cesse. A∩E=A (11)
Depuis la plus haute Antiquité, depuis que l’humain est
devenu, selon la terminologie des anthropologues, A∪E=E (12)
l’ homo-sapiens-sapiens , mais surtout depuis la civilisation
grecque antique, les penseurs ont cherché à reconstituer les (A) = A involution ( A est le complément de A ) (13)
mécanismes de la logique. D’Aristote à Chrysippe et bien
d’autres, et bien plus tard George Boole, ce génial clergyman A∩B = A ∪ B  (14)
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

anglais, et depuis lors, ici et là, très nombreux, les humains les  théorèmes de De Morgan
plus perspicaces ont cherché à définir les mécanismes de la A∪B = A ∩ B  (15)
logique, ce qui était le moteur de leurs déductions et actions.
La logique aristotélicienne présentée vingt siècles plus tard A∩ A = ∅ tiers-exclu (16)
par Boole sous une forme algébrique, celle de la théorie des
ensembles, comprend, entre autres et nombreuses propriétés : A∪ A = E non-contradiction (17)
— la non-contradiction, ce qui signifie qu’une proposition
On peut ajouter, dans un but pratique :
(ou prédicat) est vraie ou fausse, sans nuance ;
— le tiers-exclu, c’est-à-dire qu’une proposition ne contient A ∩ (A ∪ B) = A  (18)
jamais une valeur de vérité entre celle du faux et celle du vrai.  contraction
Ces deux propriétés en réalité n’en forment qu’une : absence A ∪ (A ∩ B) = A  (19)
de positions intermédiaires entre le faux et le vrai. Et dans ce
On va appeler valuation la valeur de vérité attachée à chaque
cas le faux est la négation du vrai et réciproquement. Si une pro-
propriété ensembliste :
priété est désignée par P et la propriété contraire ou négation
est désignée par ¬ P, on a alors : P est vraie ⇒ v (P ) = 1 (20)
P ∆ ¬ P = F (faux) , P ∇ ¬ P = V (vrai) P est fausse ⇒ v (P ) = 0 (21)
c’est-à-dire, une propriété P avec sa négation ¬ P forment une C’est une habitude dont les origines remontent à l’époque de
proposition composée toujours fausse où le symbole ∆ Boole.
représente le connecteur sémantique ET. De même P et ¬ P On écrira aussi, pour un élément x appartenant à E :
forment une proposition composée toujours vraie le symbole ∇
représente le connecteur ET/OU (que l’on écrit souvent abusive- x ∈ E ⇒ v (x ) = 1 (22)
ment avec OU qui est en réalité exclusif, l’un ou l’autre mais pas
x ∉ E ⇒ v (x ) = 0 (23)
les deux).
Nous cessons ce rappel de l’algèbre de Boole, pour sortir de ces
connaissances classiques et pénétrer dans le nouveau domaine de
Tous les ingénieurs connaissent les propriétés des ensembles ordi- l’algèbre multivalente ou algèbre floue.
naires et de la logique booléenne qui en est une présentation
numérique [1]. Mais il est bon de rappeler la configuration en treillis
distributif et complémenté ou treillis de Boole de ces ensembles.
Un peu plus loin nous nous servirons de ce rappel. 2. Logique floue
So i t E u n e n s e m b l e a p p e l é r é f é re n t i e l e t A, B, C d e s
sous-ensembles de ce référentiel. On a alors : On va commencer par se servir d’une représentation commode
pour débuter. Ce qui a été présenté en (22) et (23) s’appelle, dans
∀ A, B, C ⊂ E la théorie classique des ensembles, fonction caractéristique.
Maintenant, supposons que v (x ) au lieu de prendre la valeur 0 ou
et les symboles ∩ (intersection) et ∪ (union) :
la valeur 1 puisse prendre toute valeur dans l’intervalle [0,1]. Ainsi,
A∩B = B∩A (1) un élément x pourra appartenir au référentiel avec une valeur

 commutativité comprise entre 0 et 1 aussi. Un tel sous-ensemble dont les éléments
A∪B = B∪A  (2) ont cette propriété sera appelé sous-ensemble flou.

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
A 120 ; R 7 032 − 2 © Techniques de l’Ingénieur, traité Informatique industrielle

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

_____________________________________________________________________________________________________ INTRODUCTION À LA LOGIQUE FLOUE

Ainsi : Toutes les propriétés décrites par les relations (1) à (19) pour les
x ∈ E ⇒ v (x ) = a , a ∈ [0,1] (24) sous-ensembles ordinaires sont valables pour les sous-ensembles
flous sauf le tiers-exclu (16) et la non-contradiction (17). Les
Un sous-ensemble flou sera alors noté A .
, sous-ensembles ordinaires forment un treillis de Boole tandis que
La figure 1 a donne la représentation d’un sous-ensemble les sous-ensembles flous forment un treillis distributif. Un treillis
ordinaire (de la logique classique) de R (le continuum de – ∞ à + ∞ ) de Boole est aussi distributif mais possède en plus les propriétés (16)
et la figure 1b représente un sous-ensemble flou de R . et (17) attachées à la négation que divers auteurs appellent aussi
Comme on le voit, au lieu d’un passage brutal de 0 à 1 de 1 à 0, complémentation.
l’appartenance d’un sous-ensemble au référentiel s’effectue, si cela La théorie algébrique des fonctions caractéristiques des
correspond au réel, avec la continuité convenable. sous-ensembles ordinaires, on l’a précisé (§ 1), est due à George
Prenons le cas d’un référentiel fini : Boole (vers 1850). La théorie algébrique des fonctions d’apparte-
nance des sous-ensembles flous est due au Professeur Leofi A. Zadeh
E = {a, b, c, d, e, f, g } de l’université de Californie à Berkeley (proposée dès 1965).
Nota : il convient de signaler dès maintenant qu’il ne faut pas confondre la théorie des
probabilités et celle des sous-ensembles flous. La théorie des probabilités est basée sur la
théorie de la mesure et concerne donc les phénomènes mesurables en probabilité tandis
(25) que celle des sous-ensembles flous concerne les phénomènes incertains où la mesure
n’est pas possible ni même concevable. D’autre part, la théorie des probabilités est conçue
pour les phénomènes de caractère objectif tandis que celle des sous-ensembles flous l’est
pour les phénomènes de caractère subjectif.
est un sous-ensemble ordinaire de E.

(26)
3. Rappel sur la théorie
des probabilités
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

est un sous-ensemble flou de E.


On rappelle l’axiomatique de la théorie des probabilités ou axio-
On a l’habitude d’appeler fonction d’appartenance pour un
matique de Borel-Kolmogorov.
ensemble flou, ce qui est appelé fonction caractéristique pour un
sous-ensemble ordinaire. Soit E un référentiel, 3 ( E ) l’ensemble de ses parties, ∆ ⊂ 3 ( E )
contenant obligatoirement E. On doit avoir :
O n défini t c omme s ui t l ’ i n te r secti o n , l a réu n i o n e t la
complémentation pour les sous-ensembles flous. Le symbole ∀A ∈ ∆ : A ∈ ∆ (30)
µ représente la fonction d’appartenance.
Soient A , B ⊂ E où E est un référentiel donné et quelconque et ∀ A ∈ ∆ et ∀ B ∈ ∆ : A ∪ B ∈ ∆ (31)
, ,
x ∈ E , µ A ( x ), µ B ( x ) ∈ [ 0,1 ] . Il s’agit de tous les nombres compris ∀A ∈ ∆ : pr ( A ) > 0 (32)
, ,
entre 0 et 1, où 0 est la borne inférieure incluse dans ce segment
et 1 est la borne supérieure incluse dans ce segment. Les fonctions ∀A ∈ ∆ et ∀B ∈ ∆ :

µ A ( x ) et µ B ( x ) ont des valeurs dans ce segment. ( A ∩ B = ∅ ) ⇒ pr ( A ∪ B ) = pr ( A ) + pr ( B )  (33)
, , pr ( E ) = 1 
µA ∩ B ( x ) = µA ( x ) ∧ µB ( x ) intersection (27)
, , , , La configuration des sous-ensembles ainsi probabilisés est un
treillis de Boole.
µA ∪ B ( x ) = µA ( x ) ∨ µB ( x ) réunion (28)
, , , ,

µA ( x ) = 1 Ð µA ( x ) complémentation (29) 4. Axiomatique


, ,
des sous-ensembles flous
avec les symboles ∧ minimum, ∨ maximum.
Lorsqu’il s’agit de sous-ensemble flous, il est préférable de dire Voyons l’axiomatique correspondant à la valuation d’un
« complémentation » au lieu de « négation » (à réserver aux sous-ensemble flou (il est préférable de ne pas employer les mots
algèbres de Boole). mesure floue ).
v (∅) = 0 , v (E ) = 1 (34)
∀A , B ⊂ E : ( A ⊂ B ) ⇒ ( v ( A ) < v ( B ) ) (35)
, , , , , ,
La propriété (35) est appelée monotonie par inclusion.
Une probabilité est une valuation mais une valuation n’est pas
une probabilité à moins de satisfaire (30) (31) (32) et (33) pour tous
les sous-ensembles considérés.
La notion de sous-ensemble flou est liée à celle d’intervalle ou
segment du référentiel par le concept de coupure de niveau α ou
α – coupure.
Sur la figure 2, [m, n ] ∪ [p, q ] représente la coupure de niveau
α du sous-ensemble flou. Évidement α ∈ [0, 1]. Un sous-ensemble
flou est entièrement défini par l’ensemble de toutes ses coupures
de α = 0 à α = 1.

Figure 1 – Sous-ensemble ordinaire (a ) et sous-ensemble flou (b )

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Informatique industrielle A 120 ; R 7 032 − 3

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

INTRODUCTION À LA LOGIQUE FLOUE ______________________________________________________________________________________________________

Les propriétés des relations floues généralisent celles des relations


non floues. On remarque que (39) et (40) peuvent s’appliquer aux
relations booléennes. Comme pour un référentiel unique, le cas d’un
référentiel E1 × E2 fait intervenir des α – coupures qui donnent des
relations booléennes. De très nombreuses et nouvelles propriétés
sont attachées aux relations floues.
Lorsque E1 = E2 = E, on définit diverses propriétés particulières
comme on le fait habituellement pour les relations booléennes :
■ symétrie :
∀ ( x , y ) ∈ E × E : ( µ 5 ( x,y ) = µ ) ⇒ ( µ 5 ( y , x ) = µ ) (41)
, ,

Figure 2 – Coupure au niveau a ■ réflexivité :


∀ ( x , x ) ∈ E × E : µ5 ( x , x ) = 1 (42)
,

5. Relations floues ■ transitivité :


∀ ( x , y ), ( y , z ), ( x , z ) ∈ E × E :
Voyons maintenant la notion de relation floue. µ5 ( x , z ) > V [ µ5 ( x , y ) ∧ µ5 ( y , z ) ] (43)
, y , ,
On considère deux référentiels E 1 et E 2 (finis ou non). Soient
x ∈ E 1 et y ∈ E2, on désigne par µ 5 ( x , y ) ∈ [ 0,1 ] la fonction La fermeture transitive d’une relation floue 5
,
⊂ E × E est donnée
,
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

par :
d’appartenance d’une relation 5 ⊂ E 1 × E 2 . Une telle relation floue
, ^ 2 3
est aussi appelée graphe flou. 5 = 5∪5 ∪5 ∪… (44)
, , , ,
Voyons un exemple. Soient : n fois








2 n
où 5 s 5,5 = 5 s 5 s … s 5
5 signifie , (45)
E1 = {a, b, c, d, e, f } (36) , , , , ,
E2 = {m, n, p, q, r } (37) ■ antisymétrie :
∀( x , y ) ∈ E × E :
µ5 ( x , y ) ≠ µ5 ( y , x ) 
, , 
ou µ5 ( y , x ) = µ5 ( x , y ) = 0  (46)
, ,
■ similitude :
Une relation floue transitive, réflexive et symétrique est dite
(38) relation de similitude.
■ ressemblance :
∀ (x , y ) ∈ E × E :
µ5 ( x , x ) = 1 (47)
,

est une relation floue sous-ensemble de E 1 × E 2 . On opére avec les µ5 ( x , y ) = µ5 ( y , x ) (48)


, ,
relations floues comme avec des matrices booléennes mais la
convolution de deux relations floues ne passe plus par l’opération Si dans les relations booléennes la ressemblance joue un faible
somme-produit mais par max-min (maximum-minimum). Ainsi rôle, dans le cas du flou cette relation est très intéressante.
soient deux relations floues 5,1
⊂ E 1 × E 2 ,5
,2
⊂ E 2 × E 3 , il vient : Évidemment la fermeture transitive d’une relation de ressemblance
donne une relation de similitude. D’autre part, les α – coupures d’une
µ 51 s 52 ( x,z ) = V ( µ 51 ( x , y ) ∧ µ 52 ( y , z ) ) (39) relation de ressemblance floue donnent des relations booléennes
, , y , ,
dans lesquelles on cherche les sous-relations maximales de
similitude ; ces sous-relations jouent un rôle important dans
ce qui signifie : l’analyse pour assembler des éléments ayant des propriétés en
µ5 ( x,z ) = sup [ min ( µ 51 ( x , y ), µ 52 ( y , z ) ) ] (40) commun.
s 52
, , ,
,1
Dans les relations floues on retrouve aussi les notions de
pré-ordre, d’ordre total ou linéaire, d’ordre partiel, de fonction
où x ∈ E 1 , y ∈ E 2 , z ∈ E3 ordinale, etc.
Les opérations max-min (ou sup-min) se font : ligne par colonne
comme on le fait avec les matrices.

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
A 120 ; R 7 032 − 4 © Techniques de l’Ingénieur, traité Informatique industrielle

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

_____________________________________________________________________________________________________ INTRODUCTION À LA LOGIQUE FLOUE

et la relation entre a et b notée a p b = c doit satisfaire aux conditions


6. Inférences floues suivantes :
∀ a, b ∈ [0, 1]
Passons maintenant à une notion très importante dans les 1) a p b ∈ [ 0,1 ] (58)
applications nouvelles : systèmes experts, intelligence artificielle,
neuromimétique floue, etc. 2) 0p0 = 1, 0p1 = 1, 1p0 = 0, 1p1 = 1 (59)
■ On appelle d’abord la notion d’inférence dans le cas booléen. 3) ∀ a, b, a ’, b ’, ∈ [0, 1] :
Une proposition P est vraie ou fausse ou encore [(20) et (21)] :
( a < a ′ ) ⇒ [ ( a p b ) > ( a ′p b ) ] 
P est vraie : v (P ) = 1 (49) (b < b′) ⇒ [(apb) < (a p b′)]  (60)

P est fausse : v (P ) = 0 (50)
On appelle inférence une opération logique booléenne ou floue ■ Voici quelques inférences classiques utilisées dans les
définie de la façon suivante pour le cas booléen : mathématiques floues :
si a = v (P ) et b = v (Q ) (51) apb = a ∨b inférence de Lee (61)
on associe à P et Q :
a p b = 1 ∧ ( a + b) inférence de Lukaciewicz (62)
P & Q l′opérateur a p b = a ∨ b (52)
a p b = 1, a < b 
cela se lit : prendre le maximum du complément de a avec b  inférence de Godel-Mizumoto (63)
= b,a > b 
soit v ( P ) p v ( Q ) = v ( ¬ P ) ∨ v ( Q ) (53)
b  inférence de Goguen ou inférence des
a p b = 1 ∧ ----- 
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

L’inférence ainsi définie est aussi appelée implication. À partir probabilités conditionnelles (64)
a 
de (52) on a le tableau :

a+b 
a p b = -------------------  inférence relativiste (65)
1 + ab 

(54) etc.
On en connaît et utilise un grand nombre et on peut en définir
une infinité satisfaisant aux conditions (58), (59) et (60).
En logique multivalente, on peut utiliser le découpage de l’inter-
Avec ce tableau, on retrouve les deux formes classiques de valle [0, 1] en deux parties 0 et 1 (booléen), en trois parties 0, 0,5, 1
l’inférence où apparaissent les relations de cause à effet ou encore en quatre, etc. L’auteur recommande le découpage en endécadaire
le classique syllogisme : (du grec endéca qui signifie 11) qui est ni trop nuancé, ni pas
— le modus ponens : assez :
0, 0,1, 0,2, 0,3, ... ,0,7, 0,8, 0,9, 1 (66)
v (P ) = 1 , v (P&Q ) = 1 , v (Q ) = 1
(55)

















prémisses conclusion Avec la correspondance sémantique :

— le modus tollens : v (P ) = 0 faux, 


= 0,1 quasiment faux, 
v (Q ) = 0, v (P&Q ) = 1 , v (P ) = 0 = 0,2 presque faux, 
(56) 

















prémisses conclusion = 0,3 assez faux, 


= 0,4 plus faux que vrai, 
Il existe seulement ces deux modes. = 0,5 ni vrai, ni faux,  (67)
= 0,6 plus vrai que faux, 
Ainsi, l’exemple le plus classique : = 0,7 assez vrai, 
= 0,8 presque vrai, 
Modus ponens : Pierre est un homme ; être un homme, c’est être
= 0,9 quasiment vrai, 
mortel ; conclusion ; Pierre est mortel. = 1 vrai. 

Modus tollens : Gabriel n’est pas mortel ; être un homme, c’est
être mortel ; conclusion : Gabriel n’est pas un homme. Bien entendu, cette correspondance est arbitraire et bien des
■ Ce raisonnement booléen a été étendu aux inférences auteurs en choisissent d’autres.
multivalentes ou floues . Dans ce cas, il n’existe plus une seule L’endécadaire présente aussi l’avantage de donner des valuations
inférence telle (53) mais on peut en construire une infinité. Cela veut à un seul chiffre décimal pour diverses inférences, comme avec 3
dire que les prémisses peuvent être vraies, fausses et prendre aussi qui ne donne pas assez de nuances.
une valuation entre vraie et fausse. Ainsi peut-on avoir :
v (P ) = a, v (P → Q ) = c , v (Q ) = b (57)

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Informatique industrielle A 120 ; R 7 032 − 5

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

INTRODUCTION À LA LOGIQUE FLOUE ______________________________________________________________________________________________________

À titre d’exemple, nous présentons deux inférences floues par Pour utiliser les inférences floues, il faut savoir les inverser à
leurs représentations endécadaires : gauche et à droite, ce qui s’impose dans les systèmes experts.
– inférence de Luckaciewicz (62) : Voici, à titre d’exemple, l’inversion à droite et à gauche de l’infé-
rence de Lukaciewicz.

(68)
(70)

Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

– inférence de Goguen (64) :


(70) représente l’inversion à droite de (68).
La formule correspondant à (70) est, en posant :

c = 1 ∧ ( a + b)

b = [ a ,1 ], c = 1, 
 (71)
= c + a Ð 1, a < c < 1 

= ∅, c < a

(69)

(72)

(72) représente l’inversion à gauche de (68)


La formule correspondant à (72) est :


a = [ 0, b ], c = 1, 
= 1 Ð c b, b<c<1  (73)
= ∅, c < b 

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
A 120 ; R 7 032 − 6 © Techniques de l’Ingénieur, traité Informatique industrielle

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

_____________________________________________________________________________________________________ INTRODUCTION À LA LOGIQUE FLOUE

Les inférences s’enchaînent par la gauche et/ou par la droite Les nombres flous trapézoïdaux peuvent être l’objet de calculs
pour donner ce qu’on nomme des moteurs d’inférence ou suites simplifiés très commodes sous la forme de (a 1 , [a 2 , a 3], a 4) et les
de relations de causes à effets où les données subjectives peuvent nombres flous triangulaires sous la forme (b 1 , b 2 , b 3) ; ces formes
être des prémisses et des conclusions valuées dans [0, 1] les plus sont appelées triplets de confiance.
diverses. C’est la base des systèmes experts utilisant le flou. Les sous-ensembles flous peuvent être associés de diverses
manières aux probabilités dans le cas où des phénomènes possèdent
des données déterministes, d’autres mesurées en probabilité,
d’autres se situant dans l’incertain (données floues). De nombreuses
7. Nombres flous extensions sont possibles.

D’autres concepts très importants sont à décrire. Voyons la


notion de nombre flou. 8. Sous-ensembles aléatoires
La figure 3a représente un nombre ordinaire m ∈ R dont la fonc-
tion d’appartenance est µ (x = m) = 1 et la figure 3b représente un flous et expertons
nombre flou n où la fonction caractéristique est µ n ( x ) .
, ,
Un nombre flou est un sous-ensemble flou qui doit être convexe Une autre extension importante des sous-ensembles flous est celle
et normal. La normalité est la propriété : des sous-ensembles aléatoires flous et leur généralisation dans la
V µn ( x ) = 1 (74) théorie des expertons. Voyons un exemple pour présenter les sous-
x , ensembles aléatoires flous. Supposons que l’on demande à 7 experts
de donner leur valuation dans [0, 1] sur une propriété ou un prédicat.
V ayant le même sens que pour la relation (39).
x Par exemple, les experts doivent se prononcer sur la valuation ou
La convexité est la propriété suivante : toute α – coupure est un valeur de vérité d’une proposition comme : ce véhicule est en bon
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

segment [a (α), b (α)], ∀ α. état, la pression est trop élevée pour agir, la bonne direction est
Les nombres flous ont des propriétés qui généralisent les nombres indiquée sur la carte, le produit utilisé est approprié, etc. Soit la
ordinaires d’une part et les intervalles de confiance (segments) figure 5.
d’autre part. Sur la figure 5, la colonne (4) représente un sous-ensemble aléa-
Une classe particulière de nombres flous sont les nombres tra- toire flou (SEAF), ici un singleton. L’algèbre des SEAF est celle des
pézoïdaux (N F Tr ) (figure 4a ) dont un cas particulier le plus impor- valuations, des intervalles, des sous-ensembles flous : mêmes
tant est constitué par les nombres triangulaires (N F T ) (figure 4b ). configurations et structures.
Une généralisation encore plus large et extrêmement efficace pour
les expertises est celle des expertons. Supposons que les 7 experts
précédents soient autorisés à donner non pas exclusivement un
nombre de [0, 1], mais un segment de [0, 1], on formera alors un
experton qui généralise encore tous les concepts précédents. On
reprend donc la figure 5 avec des segments de [0, 1].
La colonne (4) de la figure 6 donne l’experton qui représente la
distribution des bornes donnée par les experts. Les expertons
généralisent tous les concepts flous donnés précédemment. On les
a aussi étendus par transformation linéaire à R + (non négatifs).

Figure 3 – Nombre ordinaire et nombre flou

Figure 5 – Sous-ensemble aléatoire flou


Figure 4 – Nombres flous trapézoïdaux (a ) et triangulaires (b )

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Informatique industrielle A 120 ; R 7 032 − 7

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

INTRODUCTION À LA LOGIQUE FLOUE ______________________________________________________________________________________________________

Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3 Figure 6 – Experton

Beaucoup d’autres concepts sont disponibles pour traiter Cet échantillon des applications est donné dans un volontaire
l’incertain et le subjectif. En sortant de {0, 1} mais en restant dans désordre.
[0, 1], on a ouvert une porte assez gigantesque pour les problèmes À titre indicatif, de 1965 à 1991, 12 000 articles dans les revues
à données incertaines non mesurables. scientifiques, 150 ouvrages, 200 thèses de doctorat, ont été publiés
Voyons les applications de la théorie des sous-ensembles flous à travers le monde. Presque toutes les universités ont des cours
et de ses généralisations. Disons d’abord que tous les modèles de réguliers ou à option sur les mathématiques floues.
systèmes où l’on rencontre des données imprécises, incertaines,
subjectives, objet d’expertises, etc. plus ou moins insérées avec des
données déterministes ou probabilisables peuvent être traités avec
les théories proposées dans cet article. L’idée fondamentale est de
faire tomber l’entropie (désordre) le plus tard possible. Avec l’emploi
10. Exemple
des moyennes, et mêmes d’autres moments, on peut obtenir des
résultats faux ou douteux. Dans les applications de la théorie du flou, Exemple concernant les problèmes de fiabilité : tous les ingé-
on travaille tant qu’on le peut avec les distributions et c’est seulement nieurs sont concernés par la fiabilité des produits ou des systèmes.
le plus tard possible qu’on accepte moyennes et autres indicateurs Pour les ingénieurs, deux problèmes importants sont à résoudre :
pour toute décision ou contrôle. — connaître les courbes de survie des composants des systèmes ;
— définir la configuration du système soit à l’aide de son réseau
de fiabilité, soit en construisant son arbre de défaillance ;
ces deux procédés étant équivalents et seulement plus pratiques à
9. Domaines d’application traiter dans certains cas par l’une des méthodes ou par l’autre.
Les mathématiques floues interviennent dans la détermina-
Les applications pratiques déjà connues sont innombrables, tion des courbes de survie tandis qu’elles n’ont pas à être utilisées,
nous en citons quelques-unes : sauf dans quelques cas, pour l’étude des réseaux de fiabilité et des
— la recherche opérationnelle ; arbres de défaillance. On va montrer l’utilisation des intervalles ou
— la gestion financière ; segments de confiance et des sous-ensembles flous pour les courbes
— le contrôle de production ; de survie.
— le contrôle des machines ; Deux cas peuvent se présenter pour la détermination de la vie
— la robotique ; d’un équipement :
— la sismologie ; — dans le premier cas, on peut faire des expériences destructives
— la météorologie ; ou non et obtenir de là des statistiques qui donneront des lois de
— la didactique ; probabilités, d’où la connaissance de lois cumulées
— la sélection du personnel ; complémentaires qui donneront des lois de survie ;
— l’informatique ; — dans le deuxième cas, surtout lorsqu’il s’agit de composants
— la médecine ; nouveaux sur lesquels on ne peut pas disposer de statistiques, il faut
— l’intelligence artificielle ; travailler avec des avis d’experts et ceux-ci acceptent de donner le
— la neuromimétique ; plus souvent des courbes de survie sous la forme de deux courbes
— la linguistique ; associées, l’une la plus pessimiste ou borne supérieure, l’autre la
— le traitement des données ; plus optimiste ou borne inférieure.
— la communication homme-machine ;
Dans le premier cas, c’est une courbe de survie probabiliste,
— la reconnaissance des formes ;
dans le deuxième cas une courbe (plus précisément deux courbes)
— la fiabilité ;
de possibilité de survie, celle obtenue par des avis d’experts.
— la chimie industrielle ;
— les transports ; Sur la figure 7a, on a représenté une courbe de survie probabiliste
— la sociologie ; obtenue à partir de statistiques et à un temps t = τ correspond une
probabilité de survie v (τ ). Sur la figure 7b, on a représenté une
etc.
courbe de survie floue obtenue à partir d’avis d’experts ; à un temps

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
A 120 ; R 7 032 − 8 © Techniques de l’Ingénieur, traité Informatique industrielle

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

_____________________________________________________________________________________________________ INTRODUCTION À LA LOGIQUE FLOUE

t = τ correspond un segment de confiance [ v (τ ), v * (τ )] et dans Tout cela dans le cas de courbes de survie floues.
certains cas où un raffinement plus poussé * est exigé, chaque
Si les courbes de survie floues sont données par des experts, on
segment est doté d’une fonction d’appartenance comme on l’a démontre que les formules (75) et (76) restent valables et deviennent
indiqué au paragraphe 2. respectivement :
Si l’on considère un système plus ou moins complexe, dans le
réseau de fiabilité (ou dans l’arbre de défaillance), on va rencontrer [ v ( t ), v * ( t ) ] = [ v 1 ( t ), v *1 ( t ) ] ⋅ [ v 2 ( t ), v *2 ( t ) ]
* * *
deux catégories de composants, les uns bien connus et définis à le = [ v1 ( t ) ⋅ v2 ( t ) , v * 1 (t ) ⋅ v* 2 (t )] (77)
l’aide de courbes de survie probabilistes, les autres sans historique système * *
















et estimés par avis d’experts, comme sur la figure 7b. les
composants
Quand deux composants sont en série comme sur la figure 8a,
la défaillance d’un composant suffit à la défaillance du système et [ v ( t ), v * ( t ) ] = [ v 1 ( t ), v *
1 ( t ) ] + [ v 2 * ( t ), v *
^
2 (t )]
l’on a : * *
le
v ( t ) = v1 ( t ) ⋅ v2 ( t ) système = [ v 1 ( t ) ^+ v 2 ( t ), v * ^
1 (t ) + v* 2 (t )] (78)
* *


















le les (75) les
système composants composants
S’ils sont en parallèle (figure 8b ), il faut la défaillance des deux On sait qu’un intervalle de probabilités n’est pas une probabilité
composants pour que le système soit défaillant et l’on a : mais peut toujours être considéré comme une valuation (une pro-
babilité est une valuation mais une valuation n’est pas une proba-
v ( t ) = v1 ( t ) ^
+ v2 ( t ) = v1 ( t ) + v2 ( t ) Ð v1 ( t ) ⋅ v2 ( t ) ·
bilité). Or il se trouve que les opérateurs (·) et ( + ) utilisés dans les
(76)












le les probabilités sont de même utilisés dans les valuations du même réfé-
système composants rentiel [0, 1] (ce sont des t – normes connues autant en statistiques
que dans les mathématiques floues). Et ainsi, dans un même système
où l’on s’intéresse à la fiabilité, on peut associer sans s’en soucier,
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

les courbes de survie probabilistes et les courbes de survie floues


mais le résultat donnera, on s’en doute, une courbe de survie globale
floue. On note que si :
v i ( t ) = vi* ( t ) alors [ v i ( t ), v*i ( t ) ] = v i ( t ) = v i* ( t ) = v i ( t ) (79)
* * *
Il en reste de même si les segments de confiance sont dotés d’une
fonction d’appartenance comme sur la figure 9, simplement les
calculs se compliquent.Toutefois, avec les ordinateurs d’aujourd’hui,
on peut faire des calculs de plus en plus fins et robustes.
Notre exemple sommaire avait pour but de montrer aux ingénieurs
un exemple où mesures et valuations peuvent s’associer ou opérer
séparément. Tout ce qui est vivant s’use ou peut s’user, des êtres
issus de la nature comme des créations des hommes. Les systèmes,
de la vie à la mort, ont des lois parfois mesurables et souvent
estimées subjectivement en tant que valuations.
La théorie récente des sous-ensembles flous, dont nous devons
les bases principales au Professeur L.A. Zadeh de l’université de
Californie à Berkeley, permet, en toute rigueur mathématique,
d’associer l’objectivité quand elle est possible à la subjectivité
contrôlée pour comprendre et agir face à divers aspects de l’incer-
titude.

Figure 7 – Courbes de survie

Figure 9 – Segment de confiance avec fonction d’appartenance

Figure 8 – Composants en série (a ) et en parallèle (b )

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie est strictement interdite.
© Techniques de l’Ingénieur, traité Informatique industrielle A 120 ; R 7 032 − 9

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

P
O
U
Introduction à la logique floue R

E
par Arnold KAUFMANN N
Ancien professeur à l’Institut Polytechnique de Grenoble,
à l’École Supérieure des Mines
de Paris et à l’Université de Louvain
Professeur Honoraire de l’Institut d’Administration
des Entreprises de Barcelone S
A
Bibliographie
Dans les Techniques de l’Ingénieur KANDEL (A.). – Fuzzy techniques and pattern reco- MANDANI (E.) et GAINES (B.A.). – Fuzzy reasoning
V
[1] BLANCHARD (M.). – Algèbre de Boole. Tech-
niques de l’Ingénieur Traité Informatique
gnition. Publ. Wiley (1988).
KAUFMANN (A.). – Introduction à la théorie des
and its applications. Publ. Academic Press
(1982-1983). O
Parution : octobre 1992 - Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3

industrielle, R 7 050, mars 1982. sous-ensembles flous. 4 volumes, Ed. Masson NEGOITA (C.V.) et RALESCU (D.A.). – Applications
Livres et Revues
DUBOIS (D.) et PRADE (H.). – Théorie des possibi-
(1972 à 1976).
KAUFMANN (A.). – Nouvelles logiques pour l’intel-
of fuzzy sets to system analysis. Publ. Birhauser
(1980). I
ligence artificielle. Ed. Hermès (1987). ZIMMERMANN (H.J.). – Fuzzy sets and its applica-
lités. Ed. Masson (1988).
DUBOIS (D.) et PRADE (H.). – Fuzzy sets and systems
KAUFMANN (A.) et GIL ALUJA (J.). – Technicas
operativas de gestion, para el travamiento de la
tions. Publ. Kluwer Nighoff (1987). R
theory and applications. Publ. Academic Press
incertidumbre. Ed. Hispano Europea (1987).
(1988).

P
L
U
S

Toute reproduction sans autorisation du Centre français d’exploitation du droit de copie


est strictement interdite. − © Techniques de l’Ingénieur, traité Informatique industrielle Doc. A 120 - R 7 032 − 1

tiwekacontentpdf_r7032 v1 Ce document a ete delivre pour le compte de 7200083552 - universite de liege // fabrice HUBERT // 193.190.65.3
GAGNEZ DU TEMPS ET SÉCURISEZ VOS PROJETS
EN UTILISANT UNE SOURCE ACTUALISÉE ET FIABLE

Techniques de l’Ingénieur propose la plus importante


collection documentaire technique et scientifique
en français !
Grâce à vos droits d’accès, retrouvez l’ensemble
des articles et fiches pratiques de votre offre,
leurs compléments et mises à jour,
et bénéficiez des services inclus.

   
RÉDIGÉE ET VALIDÉE MISE À JOUR 100 % COMPATIBLE SERVICES INCLUS
PAR DES EXPERTS PERMANENTE SUR TOUS SUPPORTS DANS CHAQUE OFFRE
NUMÉRIQUES

 + de 350 000 utilisateurs


 + de 10 000 articles de référence
 + de 80 offres
 15 domaines d’expertise
Automatique - Robotique Innovation
Biomédical - Pharma Matériaux
Construction et travaux publics Mécanique
Électronique - Photonique Mesures - Analyses
Énergies Procédés chimie - Bio - Agro
Environnement - Sécurité Sciences fondamentales
Génie industriel Technologies de l’information
Ingénierie des transports

Pour des offres toujours plus adaptées à votre métier,


découvrez les offres dédiées à votre secteur d’activité

Depuis plus de 70 ans, Techniques de l’Ingénieur est la source


d’informations de référence des bureaux d’études,
de la R&D et de l’innovation.

www.techniques-ingenieur.fr
CONTACT : Tél. : + 33 (0)1 53 35 20 20 - Fax : +33 (0)1 53 26 79 18 - E-mail : infos.clients@teching.com
LES AVANTAGES ET SERVICES
compris dans les offres Techniques de l’Ingénieur

  
ACCÈS

Accès illimité Téléchargement des articles Consultation sur tous


aux articles en HTML au format PDF les supports numériques
Enrichis et mis à jour pendant Pour un usage en toute liberté Des contenus optimisés
toute la durée de la souscription pour ordinateurs, tablettes et mobiles

 
SERVICES ET OUTILS PRATIQUES

Questions aux experts* Articles Découverte Dictionnaire technique multilingue


Les meilleurs experts techniques La possibilité de consulter des articles 45 000 termes en français, anglais,
et scientifiques vous répondent en dehors de votre offre espagnol et allemand

 
Archives Impression à la demande Alertes actualisations
Technologies anciennes et versions Commandez les éditions papier Recevez par email toutes les nouveautés
antérieures des articles de vos ressources documentaires de vos ressources documentaires

*Questions aux experts est un service réservé aux entreprises, non proposé dans les offres écoles, universités ou pour tout autre organisme de formation.

ILS NOUS FONT CONFIANCE

www.techniques-ingenieur.fr
CONTACT : Tél. : + 33 (0)1 53 35 20 20 - Fax : +33 (0)1 53 26 79 18 - E-mail : infos.clients@teching.com

Vous aimerez peut-être aussi