Silvia Modesto Nassar

silvia@inf.ufsc.br
Conjuntos Difusos
Operaes:
Complemento ponto de equilbrio e ponto dual
Interseco
Unio
Definio e nomenclatura
Tipos
Axiomas
Relaes

Silvia Modesto Nassar
silvia@inf.ufsc.br
Conjuntos Fuzzy: operaes

Complemento: A(x)

Interseco: (AB) (x)

Unio: (AB) (x)

NO
E
OU
Silvia Modesto Nassar
silvia@inf.ufsc.br
Nomenclatura: Operaes Fuzzy
NO : Complemento : complemento

E : Interseco : t - normas

OU : Unio : t - conormas
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: A(x) ou cA(x)
Seja A um conjunto fuzzy em X
A(x): grau de pertinncia de x ao conjunto A

Notao:
cA o complemento fuzzy do tipo c de A
cA(x)
O complemento cA definido pela funo
c: [0; 1] [0; 1]
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: exemplo

0.5
c(a) = ( 1 +cos [ o ) / 2
0 1
a
0.5
1
c(a)
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: tipos
Complementos tipo threshold

Complementos involutivos de Sugeno

Complementos involutivos de Yager
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: tipos
Complementos tipo threshold :
c(a) = 1 para as t
= 0 para a > t
0 1
t
a
1
c(a)
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: tipos
Complementos involutivos de Sugeno:
c(a) = ( 1 - a) / ( 1+ a) para e (-1 ; )
0 1
1
a
c(a)
0.5
0.5
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: tipos
Complementos involutivos de Yager:
0 1
1
a
c(a)
0.5
c(a) = ( 1 - a
w

)
1/w
para w e ( 0; )
0.5
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: axiomas

a
1
. Condies Limites:
c(0) = 1 e c(1) = 0
a
2
. Monotonicidade:
a, b e [0 ; 1] se as b ento c(a)> c(b)
a
3
. Contnua
a
4
. Involutiva:
c(c(a)) = a para a e [0; 1]

c: [0; 1] [0; 1]
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: teoremas
Teo.1: Todo complemento fuzzy tem pelo menos
um ponto de equilbrio e
c

e
c
a soluo para c(a) - a = 0

Teo.2: Se c um complemento contnuo fuzzy
ento c tem um nico ponto de equilbrio e
c

Silvia Modesto Nassar
silvia@inf.ufsc.br
Ponto de Equilbrio: c(a) - a =0
Complementos involutivos de Sugeno:
0 1
1
a
c(a)
0.5
e
c
= 0.5 para = 0
e
c
= (( 1+)
1/2
- 1 )/ para =0
0.5
-1 0 1 2 3
1


0.5


0

e
c

c(a) = ( 1 - a) / ( 1+ a) para e (-1 ; )
Silvia Modesto Nassar
silvia@inf.ufsc.br
Complemento Fuzzy: ponto dual
d
a
Seja um complemento fuzzy c
Seja um grau de pertinncia a representado por
um nmero real a e [0; 1] tal que

a - c(a) = c(
d
a) -
d
a

d
a chamado ponto dual de a em relao a c.
Silvia Modesto Nassar
silvia@inf.ufsc.br
Interseco Fuzzy: t-normas
Notao:

A(x) = a B(x) = b
(AB)(x) = i [A(x), B(x)] = i (a, b)

I : [0, 1] x [0, 1] [0, 1]
Silvia Modesto Nassar
silvia@inf.ufsc.br
Interseco Fuzzy ( t normas): tipos
Padro
Produto Algbrico
Diferena Limitada
Drstica

Silvia Modesto Nassar
silvia@inf.ufsc.br
Tipos de t- normas: i (a, b)
Interseco Padro:
i (a, b) = min (a, b)
Produto Algbrico:
i (a, b) = a*b
Diferena Limitada:
i (a, b) = max ( 0, a+b-1)
Interseco Drstica: i
min
(a, b)
i(a, b) =
a para b=1
b para a=1
0 para outros valores
Silvia Modesto Nassar
silvia@inf.ufsc.br
Interseco Fuzzy (t-normas): axiomas
Para todo a, b e d e [0, 1] tem-se:
a
1
. Condio Limite: i (a, 1) = a
a
2
. Monotonicidade:
se b s d ento i(a, b) s i(a, d)
a
3
.Comutatividade:
i (a, b) = i (b, a)
a
4
. Associatividade:
i (a, i(b, d)) = i ( i(a, b), d)
Silvia Modesto Nassar
silvia@inf.ufsc.br
Interseco Fuzzy (t-normas): axiomas adicionais
Para todo a, b e d e [0, 1] tem-se:
a
5
. Continuidade:
i uma funo contnua
a
6
.Sub-Idempotncia:
i(a, a) < a
a
7
.Strict Monotonicidade:
se a
1
< a
2
e b
1
< b
2
ento i(a
1
, b
1
) < i(a
2
, b
2
)
t-norma de
Arquimedes:
a
5
e a
6

Strict t-norma de Arquimedes:: a
5
, a
6
e a
7

Silvia Modesto Nassar
silvia@inf.ufsc.br
Relao de t-normas:
Drstica
Diferena
Limitada
Produto
Algbrico
Padro
i
min
(a, b) s max( 0, a+b-1) s (a*b) s min (a, b)
arrocho
relaxamento
Silvia Modesto Nassar
silvia@inf.ufsc.br
t - normas: classe de Yager
Complementos involutivos de Yager:




Seja i
w
as t-normas para a classe de Yager
ento:

i
min
(a, b) s i
w
(a, b) s min (a, b)
c(a) = ( 1 - a
w

)
1/w
para w e ( 0; )
Silvia Modesto Nassar
silvia@inf.ufsc.br
Unio Fuzzy: t-conormas
Notao:

A(x) = a B(x) = b

(AB)(x) = u [A(x), B(x)] = u (a, b)

U : [0, 1] x [0, 1] [0, 1]
Silvia Modesto Nassar
silvia@inf.ufsc.br
Unio Fuzzy (t-conormas) : tipos
Padro
Soma
Soma Limitada
Drstica

Silvia Modesto Nassar
silvia@inf.ufsc.br
Tipos de t-conormas: u (a, b)
Unio Padro:
u (a, b) = max (a, b)
Soma Algbrica:
u (a, b) = a+b -a*b
Soma Limitada:
u (a, b) = min ( 1, a+b)
Unio Drstica: u
max
(a, b)
u (a, b) =
a para b= 0
b para a= 0
1 para outros valores
Silvia Modesto Nassar
silvia@inf.ufsc.br
Unio Fuzzy (t-conormas) : axiomas
Para todo a, b e d e [0, 1] tem-se:
a
1
. Condio Limite: u (a, 0) = a
a
2
. Monotonicidade:
se b s d ento u(a, b) s u(a, d)
a
3
.Comutatividade:
u (a, b) =u (b, a)
a
4
. Associatividade:
u (a, u(b, d)) = u ( u(a, b), d)
Silvia Modesto Nassar
silvia@inf.ufsc.br
Unio Fuzzy (t-conormas) : axiomas adicionais
Para todo a, b e d e [0, 1] tem-se:
a
5
. Continuidade:
u uma funo contnua
a
6
.Super-Idempotncia:
u (a, a) > a
a
7
.Strict Monotonicidade:
se a
1
< a
2
e b
1
< b
2
ento u(a
1
, b
1
) < u(a
2
, b
2
)
t-conorma de
Arquimedes:
a
5
e a
6

Strict t-conorma de Arquimedes: a
5
, a
6
e a
7

Silvia Modesto Nassar
silvia@inf.ufsc.br
Relaes: t-normas e t-conormas
max (a, b) s a+b - a*b s min (1, a+b) s u
max
(a, b)
Arrocho
Relaxa-
mento
i
min
(a, b) s max( 0, a+b-1) s (a*b) s min (a, b)
t-normas
drstica dif.limitada prod.algbrico padro
padro soma algbrica soma limitada drstica
t-conormas