Sisteme cu logica nuantata, G.

Oltean
Mulimi fuzzy
Este dificil de stabilit cu certitudine apartenena sau
neapartenena unui obiect dat la o clas sau alta de obiecte.
Noiunea de mulime n forma ei clasic reprezint mai
degrab o idealizare a situaiilor reale.
Exist fenomene n care gradualitatea i ambiguitatea joac
un rol important (imprecizie care nu este de tip aleator).
Problema este de a putea aprecia n ce msur un obiect
dat aparine unei clase ale crei margini nu pot fi
precizate clar (transant).
La baza logicii fuzzy se afl o ntrebare care ine de esena
gndirii: Ce este o clas?.
1 /21
Sisteme cu logica nuantata, G. Oltean
mprire
n clase
Multimi fuzzy
Multimi clasice
201 este amplificare mare
adevarat
199 este amplificare mare
fals
201 este amplificare mare
adevarat cu grad 0,55
199 este amplificare mare
adevarat cu grad 0,45
Cum impartim in 2 clase (medie, mare)
valorile amplificarilor cuprinse intre 50 si 300?
2 /21
Sisteme cu logica nuantata, G. Oltean
Definire multime fuzzy
Clas de obiecte cu grade de apartenen continue. O astfel de mulime
este caracterizat de o funcie de apartenen ce atribuie fiecrui obiect un
grad de apartenen ntre 0 i 1.
i. Variabila lingvistic x =: o proprietate, un atribut al obiectului (obiectelor)
n discuie (pentru un amplificator: amplificarea);
ii. Valoarea lingvistic A =: un adverb, adjectiv asociat variabilei lingvistice,
care d numele mulimii fuzzy asociate (medie, mare);
iii. Universul discuiei X =: o mulime clasic, tranant, pe care se definesc
mulimile fuzzy (intervalul considerat pentru amplificare X = [50; 300];
iv. Funcia de apartenen
A
=: asociaz fiecrui element x gradul de
apartenen la mulimea fuzzy A

A
(x) : X[0; 1] (exemplu:
medie
(amplificare) : [50; 300][0; 1].

v. Gradul de apartenen =: msura n care un element aparine unei
mulimi fuzzy, e[0; 1] (
mare
(201) =0,55; pentru amplificare de 201 ce
aparine mulimii fuzzy amplificare mare)

3 /21
Sisteme cu logica nuantata, G. Oltean
Definire
multime fuzzy
- cont.
Mulimea fuzzy A este complet determinat de mulimea perechilor ordonate:
A = {(x,
A
(x))|xeX}.
variabila
lingvistica
valoare
lingvistica
universul
discutiei
0.55
grad de
apartenenta
functie de
apartenenta
0.3
Suportul unei multimi fuzzy A: Submultimea strict a lui X ale crei elemente
au grade de apartenen nenule n A:
( ) { } 0 | ) ( supp > e = x X x A
A

4 /21
Sisteme cu logica nuantata, G. Oltean
Care variabile lingvistice se preteaza la impartire in mf?
Ce valori lingvistice se potrivesc?
1. Calitatea servirii la restaurant
2. Culorile semaforului
3. Inaltimea unei persoane
4. Temperatura
5. Lunile anului
5 /21
Sisteme cu logica nuantata, G. Oltean
0
0.2
0.4
0.6
0.8
1
trapmf gbellmf trimf gaussmf gauss2mf smf
0
0.2
0.4
0.6
0.8
1
zmf psigmf dsigmf pimf sigmf singleton
Tipuri de multimi fuzzy
Multimi fuzzy predefinite in Matlab
6 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy triunghiulara

s s

s s

= =
rest in ; 0
;
;
) ( ) ( |
|
|
o
o
o
x a
a
x
a x
a
x
x x A
A
] ; [ supp | o = (A)
(finita) discreta multime o este
} , ... { Daca
, 2 , 1 n
x x x X =
( )
)
`

=
n
n
x x x
x A

; ... ; ;
2
2
1
1
A se mai numeste i numar fuzzy triunghiular
x este apoximativ egal cu a
Definit prin punctele de
inflexiune
) , , ( | o a
multimii centrul a
7 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy triunghiulara - exemplificare
13 ; 5 ; 10 ] 15 ; 0 [ = = = = | o a X
Reprezentati grafic o mf triunghiular
Care este expresia analitica a mf?
Care este suportul mf?
Care este centrul mf?
Considerati ca universul discutiei este finit, descris de valorile
} 15 , 14 , 12 , 11 , 10 , 8 , 7 , 5 , 4 , 0 { = X
)
`

=
15
,
14
,
12
,
11
,
10
,
8
,
7
,
5
,
4
,
0
) (x A
8 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy trapezoidala

s s

s s
s s

= =
rest in ; 0
;
; 1
;
) ( ) (
|
|
|
o
o
o

x b
b
x
b x a
a x
a
x
x x A
A
] ; [ supp | o = (A)
A se mai numeste si numar fuzzy trapezoidal
x este apoximativ in intervalul [a; b]
intervalul de toleranta ] , [ b a
Definit prin punctele de
inflexiune
) , , , ( | o b a
9 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy trapezoidala - exemplificare
11 ; 5 ]; 11 , 7 [ ] , [ ] 15 ; 0 [ = = = = | o b a X
Reprezentati grafic o mf triunghiulara
Care este expresia analitica a mf?
Care este suportul mf?
Care este intervalul de toleranta al mf?
Considerati ca universul discutiei este finit descris de valorile
} 15 , 14 , 12 , 11 , 10 , 8 , 7 , 5 , 4 , 0 { = X
)
`

=
15
,
14
,
12
,
11
,
10
,
8
,
7
,
5
,
4
,
0
) (x A
10 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy gaussiana
c centrul multimii
abaterea standard;
controleaza forma multimii
0 ,
) ( ) (
2
2
2
) (
>
= =

o
c
e x x A
c x
A
X (A) = supp
2 ; 9 ; ] 15 ; 0 [ = = = o c X Reprezentati grafic o mf gaussiana cu
)
`

=
15
,
14
,
12
,
11
,
10
,
8
,
7
,
5
,
4
,
0
) (x A
Pentru cazul discret
11 /20
Sisteme cu logica nuantata, G. Oltean
Multime fuzzy singleton
c centrul multimii

=
= =
rest in , 0
, 1
) ( ) (
c x
x x A
A

c (A) = supp
A se mai numeste si punct fuzzy
12 /20
Sisteme cu logica nuantata, G. Oltean
Partitie fuzzy


Pentru fiecare element din universul discutiei X, suma gradelor de
apartenenta la toate multimile fuzzy definite peste X este egala cu 1.
N mf definite peste X

=
= e
=
N
i
A
i
x X x
N i A
i
1
1 ) ( ,
, ... , 1 ,

Cum definim o partitie fuzzy formata din 5 mf pentru variabila

lingvistica inaltimea unei persoane considerand X=[140, 220] cm?
Ce valori lingvistice pot fi utilizate?
Care sunt
gradele de
apartenenta ale
valorii de 163
cm, la fiecare
mf?
13 /20
Sisteme cu logica nuantata, G. Oltean
Operatii cu multimi fuzzy
Intersectia
X x x B x A x B A e . = ) ( ) ( ) (
Ce operator putem folosi pentru conectivul logic si ?
X x x x x B x A x B A
B A
e = . = )) ( ), ( min( ) ( ) ( ) (
demo matlab intersectie.m
14 /21
Sisteme cu logica nuantata, G. Oltean
Exemplificarea
intersectiei
pentru mf
discrete:
)
`

=
)
`

=
4
2 . 0
,
3
3 . 0
,
2
0 . 1
,
1
0 . 1
,
0
9 . 0
,
1
3 . 0
,
2
1 . 0
4
4 . 0
,
3
3 . 0
,
2
6 . 0
,
1
0 . 1
,
0
6 . 0
,
1
3 . 0
,
2
6 . 0
B
A
)
`

=
4
2 . 0
,
3
3 . 0
,
2
6 . 0
,
1
0 . 1
,
0
6 . 0
,
1
3 . 0
,
2
1 . 0
B A
Pentru conectivul logic si se pot utiliza si alti operatori:
Operatorul utilizat pentru implementarea conectivului logic si trebuie sa
fie o norma triunghiulara (t - norma)
15 /21
Sisteme cu logica nuantata, G. Oltean
Definitie: O norma triunghiulara (t-norma) este o aplicatie
1] [0, 1] [0, x ] 1 , 0 [ : T
simetrica, asociativa, nedescrescatoare in raport cu oricare argument si
T(a, 1) = a, pentru orice ae[0, 1]. Cu alte cuvinte satisface proprietatile:
T(x, y) = T(y, x) (simetrie)
T(x, T(y, z)) = T(T(x, y), z) (asociativitate)
T(x, y) T(x
*
, y
*
) daca x x* si y y
*
(monotonie)
T(x, 1) = x, pentru orice x e [0, 1] (identitate)
Facultativ
16 /21
Sisteme cu logica nuantata, G. Oltean
Reuniunea
X x x B x A x B A e v = ) ( ) ( ) (
Ce operator putem folosi pentru conectivul logic sau ?
X x x x x B x A x B A
B A
e = v = )) ( ), ( max( ) ( ) ( ) (
demo matlab reuniune.m
Se utilizeaza la operatia de
agregare in SLF
17 /21
Sisteme cu logica nuantata, G. Oltean
Exemplificarea
reuniunii
pentru mf
discrete:
)
`

=
)
`

=
4
2 . 0
,
3
3 . 0
,
2
0 . 1
,
1
0 . 1
,
0
9 . 0
,
1
3 . 0
,
2
1 . 0
4
4 . 0
,
3
3 . 0
,
2
6 . 0
,
1
0 . 1
,
0
6 . 0
,
1
3 . 0
,
2
6 . 0
B
A
)
`

=
4
4 . 0
,
3
3 . 0
,
2
0 . 1
,
1
0 . 1
,
0
9 . 0
,
1
3 . 0
,
2
6 . 0
B A
Pentru conectivul logic sau se pot utiliza si alti operatori:
Operatorul utilizat pentru implementarea conectivului logic sau trebuie
sa fie o co-norma triunghiulara (t - conorma)
18 /21
Sisteme cu logica nuantata, G. Oltean
Definitie: O co-norma triunghiulara (t-conorma) este o aplicatie
1] [0, 1] [0, x ] 1 , 0 [ : S
simetrica, asociativa, nedescrescatoare in raport cu oricare argument si
S(a, 0) = a, pentru orice ae[0, 1]. Cu alte cuvinte satisface proprietatile:
S(x, y) = S(y, x) (simetrie)
S(x, S(y, z)) = S(S(x, y), z) (asociativitate)
S(x, y) S(x
*
, y
*
) daca x x* si y y
*
(monotonie)
S(x, 0) = x, pentru orice x e [0, 1] (identitate)
Daca T este o t-norma atunci egalitatea
) 1 , 1 ( 1 ) , ( b a T b a S =
defineste o t-conorma si spunem ca S este derivat din T
Facultativ
19 /21
Sisteme cu logica nuantata, G. Oltean
Complement
Ce operator putem folosi pentru
complement (negare) ?
X x x x A
A
e = ), ( 1 ) (
Sunt
satisfacute
legile din
teoria
multimilor
clasice ?
legea tertului exclus
legea noncontradictiei
legile lui De Morgan B A B A
O A A
X A A
v = .
/ = .
= v
NU (Lukasiewicz -da)
NU (Lukasiewicz -da)
DA
demo matlab
complement.m
20 /21
Sisteme cu logica nuantata, G. Oltean
Exercitiu
21 /21