Lgica Fuzzy

Funes de Pertinncia

Prof. Msc. Seldon R. Duarte

A lgica em questo foi desenvolvida por Lofti A. Zadeh da Universidade da

Califrnia em Berkeley na dcada de 60 e combina lgica multivalorada, teoria

probabilstica, inteligncia artificial e redes neurais para que possa representar o

pensamento humano, ou seja, ligar a lingustica e a inteligncia humana, pois

muitos conceitos so melhores definidos por palavras do que pela matemtica.

Lgica Difusa ou Lgica Nebulosa, tambm pode ser definida , como a

lgica que suporta os modos de raciocnio que so aproximados, ao
invs de exatos, como estamos naturalmente acostumados a trabalhar.
Ela est baseada na teoria dos conjuntos nebulosos e difere dos
sistemas lgicos tradicionais em suas caractersticas e detalhes.

Lgica Fuzzy
Habilidade de inferir concluses e obter respostas baseada em informaes

vagas e ambguas e quantitativamente incompletas e imprecisas.

Capacidade de raciocnio semelhante ao raciocnio humano.
A teoria dos conjuntos fuzzy estende a teoria dos conjuntos tradicionais crisp
com a incorporao do conceito de grau de verdade.
Resolve paradoxos os gerados pela classificao de verdadeiro ou falso da

lgica clssica.

Os conjuntos fuzzy apresentam limites imprecisos

Conjunto fuzzy lgica fuzzy

Graus de pertinncia

Graus de pertinncia

Conjunto tradicional lgica clssica

1,75

Altura (m)

1
0,9
0,8

Funo de pertinncia
0,4
0

A = Conjunto de pessoas altas

1,55 1,70 1,75

Altura (m)

13

17

Funo caracterstica de um conjunto

crisp adolescente

12 13

17 18

Funo trapezoidal de um conjunto

nebuloso adolescente

B = Conjunto nebuloso adoslescente

conciso, decisivo

Conjuntos Fuzzy
Um conjunto fuzzy A definido no universo de discurso X caracterizado por uma funo de
pertinncia A, a qual mapeia os elementos de X para o intervalo [0,1].

A: X [0,1]
Desta forma, a funo de pertinncia associa a cada elemento x pertencente a X um nmero
real A(x) no intervalo [0,1], que representa o grau de pertinncia do elemento x ao conjunto
A, isto , o quanto possvel para o elemento x pertencer ao conjunto A.
Uma sentena pode ser parcialmente verdadeira e parcialmente falsa.
A(x) : X [0,1], a funo de pertinncia mapeia os elementos do universo X, no
intervalo [0,1].
A(x) = 0 => indica que x possivelmente no elemento de A com 0% de possibilidade, i.

, o elemento x incompatvel com as caractersticas dos elementos de A;

0 < A(x) < 1 => indica que x parcialmente compatvel com A, com grau de pertinncia
A (x).
A(x) = 1 => indica que x elemento de A com 100% de possibilidade;

Prof. Msc. Seldon R. Duarte

Definio formal

Um conjunto fuzzy A em um universo de discurso X expresso como um conjunto

de pares ordenados:

Elemento de A

A = {(x, A(x)) | x X}

Conjunto fuzzy

funo de
pertinncia

universo de
discurso

Prof. Msc. Seldon R. Duarte

A teoria dos Conjuntos Fuzzy uma extenso da teoria dos Conjuntos Tradicionais.
Assim, as principais operaes e relaes entre Conjuntos Fuzzy so definidas como
extenso das operaes e relaes tradicionais, como pode ser visto na Tabela
abaixo, onde A e B denotam Conjuntos Fuzzy sobre um conjunto base X e A(x) e B(x)
representam os graus de pertinncia de x nos Conjuntos Fuzzy A e B
respectivamente.
N

Operao

Representao

Natureza

Subconjunto

(A B) se A(x) B(x) para todo xX

Relao

Diferena

(A B) se A(x) B(x) para pelo menos um elemento de x

X

Relao

Igualdade

(A = B) se A(x) = B(x) para todo x X

Relao

Incluso

(A B) se A(x) B(x) para todo xX

Relao

Interseco

A B = A(x) B(x) = min [A(x), B(x)]

Operao

Unio

AB = A(x) B(x) = max [A(x), B(x)]

Operao

Complemento

A(x) = 1 - A(x)

Operao

(A B) se A(x) B(x) para todo xX

B
1
0.8

0.6
0.4
0.2
x

AB = A(x) B(x) = min [A(x), B(x)]

AB = A(x) B(x) = max [A(x), B(x)]

Conjunto Fuzzy A e B

Conjunto Fuzzy A ou B

1
0.8

1
0.8
0.6

0.6

0.4

0.4

0.2

0.2
a

X = {a, b, c, d, e}

X = {a, b, c, d, e}

A = {1/a, 0.7/b, 0.3/c, 0/d, 0.9/e}

A = {1/a, 0.7/b, 0.3/c, 0/d, 0.9/e}

B = {0.2/a, 0.9/b, 0.4/c, 1/d, 0.4/e}

B = {0.2/a, 0.9/b, 0.4/c, 1/d, 0.4/e}

Interseco

Unio

C = {0.2/a, 0.7/b, 0.3/c, 0/d, 0.4/e}

C = {1/a, 0.9/b, 0.4/c, 1/d, 0.9/e}

Conjunto Fuzzy A

1
0.8

Conjunto Fuzzy No A

1
0.8

0.6

0.6

0.4

0.4

0.2

0.2
x

Alm das operaes e das relaes os Conjuntos Fuzzy possuem algumas

caractersticas especiais. Entre tais caractersticas encontram-se: Corte , Conjunto

de Nveis, Suporte, Altura e Normalizao. A seguir tais caractersticas sero

apresentadas de forma sinttica, supondo que A um Conjunto Fuzzy sobre o

conjunto base X.

Corte

O Corte (A) de um Conjunto Fuzzy A corresponde ao Conjunto Tradicional que

contm todos os elementos do conjunto universo X com grau de pertinncia em A

maior ou igual a , enquanto que o Corte forte (+A) contm todos os elementos em
um conjunto universo X com grau maior que , onde [0,1].
A

= {x X | A(x) }

+A

= {x X | A(x) }

Corte

= 0.5
+A

A
0.5

Conjunto de Nveis
O Conjunto de Nveis () de um Conjunto Fuzzy A corresponde a um conjunto que
contm todos os valores [0,1] e que representam Cortes de A distintos. O
Conjunto de Nveis do Conjunto Fuzzy A representado formalmente por:
A = { | A(x) = para algum x X}

= 0.5

A
+A
A
0.5

Suporte
O Suporte de um Conjunto Fuzzy A, em um conjunto universo X, o Conjunto

Tradicional que contm todos os elementos de X que possuem grau de pertinncia

diferente de zero em A.

Claramente, o Suporte de A exatamente o mesmo que o

Corte forte de A para = 0. Vrios smbolos especiais costumam ser usados para
representar o Suporte de um conjunto, tais como: S(A) ou supp(A).

usar a simbologia de 0+A para esta representao.

0+A

= {x X | A(x) > 0}

Este trabalho

Suporte

= 0.5
+A

A
0.5
0+A

Altura
A Altura (h) de um Conjunto Fuzzy A corresponde ao seu maior grau de
pertinncia, entre todos os elementos do conjunto.
h(A) = supxX A(x)

Normalizao
Um Conjunto Fuzzy A chamado de Normal quando a sua Altura igual a 1, ou seja, pelo

menos um grau de pertinncia, dos elementos do conjunto, possui valor

mximo, enquanto que os conjuntos que no possuem Altura igual a um so chamados

de subnormal. Portanto:
A dito normal se h(A) = 1
A dito subnormal se h(A) < 1

Funo de pertinncia

Reflete o conhecimento que se tem em relao a intensidade com que o

objeto pertence ao conjunto fuzzy.

Prof. Msc. Seldon R. Duarte

Funo de pertinncia Sino Generalizada

1,2

SG ( x)

1
x c 2b
1 |
|
b

Graus de pertinncia

1
0,8
0,7

SGm(x)

0,6
0,4

0,2

10 11 12 13 14 15 16 17

A(x=6) = 0,7 (70%) em um conjunto A do universo de discurso X

x = elemento com grau de pertinncia definido pela funo

A(x) em um conjunto A de um universo de discurso X.

Prof. Msc. Seldon R. Duarte

Funo de pertinncia Sino Generalizada ()=1/(1+|()/|2)

Prof. Msc. Seldon R. Duarte
Exponte do quociente denominador igual a 2b.
B
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3

C
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8
8

x
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

SG(x) =1/(1+ABS((A5-C5)/B5)^(2*B5))
0,002773
0,006158
0,015385
()=1/(1+|()/|2)
0,044576
1,2
0,151088
3
1
0,5
0,919294
0,8
0,99863
0,6
1
0,99863
0,4
0,919294
0,2
0,5
8
0
0,151088
1 3 5 7 9 11 13 15 17
0,044576
b= largura do sino
0,015385
c=ponto mdio
0,006158
X= universo
0,002773
Gruas de pertinncia

A
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

x=amostra

Funo de pertinncia Sino para uso contnuo

SG ( x)

1
xc 2
1 |
|
b

1,2

c = 50 anos

Graus de pertinncia

0,8

b = 10

0,6
SGm(x)
SG(x)

0,4

0,2

45

55

1
4
7
10
13
16
19
22
25
28
31
34
37
40
43
46
49
52
55
58
61
64
67
70
73
76
79
82
85
88
91
94
97
100

x = idade
b = 10 ( Pessoas com idade em torno de 50 anos)
c = Idade de 50 anos
A = {x, B(x) | xX}
A = Conjunto de pessoas maduras (50 anos)

X=R (conjunto dos nmeros reais contnuo) as idades de todas as pessoas do conjunto
a pertencem a X, isto xX.

Prof. Msc. Seldon R. Duarte

x a
b a se x [a, b)

c x
Tri ( x)
se x [b, c]
c

caso contrrio
0

Funo de pertinncia Triangular

Tri(x)
1,2

Graus de pertinncia

1
0,8
0,6

Trim(x)

0,5
0,4
0,2

0
1

A(x=2) = 0,5 (50%) em um conjunto A do universo de discurso X

a = vrtice 1
b = ponto mdio (vrtice 2)
c = vrtice 3
X = universo
x = elemento do universo X com grau de pertinncia A(x) em um conjunto A de X.
Prof. Msc. Seldon R. Duarte

x a
b a se x [a, b)

c x
Tri ( x)
se x [b, c]
c b
caso contrrio
0

Funo de pertinncia tringulo

Prof. Msc. Seldon R. Duarte

=SE(E(E4>=A4;E4<B4);((E4-A4)/(B4-A4));SE(E(E4>=B4;E4<=C4);((C4-E4)/(C4-B4));0))
Tri(x)

1
1
1
1
1
1

B
3
3
3
3
3
3

C
6
6
6
6
6
6

E
x
1
2
3
4
5
6

1,2

Tri(x)
0
0,5
1
0,6666
0,3333
0

b=3

1
Graus de pertinncia

0,8
0,6

Trim(x)

0,4
0,2
0

a=1
1

c=6
2

a=vrtice 1
b= ponto mdio (simetria)
c=vrtice 2
X= universo

Funo de pertinncia Gaussiana

Gauss ( x) e

1 x c 2
(
)
2

1,2

0,8

0,6

Gaussm(x)

0,45
0,4

0,2

0
1

10

11

12

13

14

A(x=4) = 0,45 (45%) em um conjunto A do universo de discurso X

c=ponto mdio
X = universo
x = elemento do universo X com grau de pertinncia A(x) em um conjunto A de X.
= desvio padro (>1). Um desvio muito pequeno torna o grfico semelhante ao de
uma funo triangular.

Prof. Msc. Seldon R. Duarte

Funo de pertinncia gaussiana

Prof. Msc. Seldon R. Duarte
Gauss(x)=SE(B9=0;0;(2,71828182845904^(-0,5*((A9-C9)/B9)^2)))
A
x
1
2
3
4
5
6
7
8
9
10
11
12
13
14

2
2
2
2
2
2
2
2
2
2
2
2
2
2

7
7
7
7
7
7
7
7
7
7
7
7
7
7

Gauss(x)
0,011108997
0,043936934
0,135335283
0,324652467
0,60653066
0,882496903
1
0,882496903
0,60653066
0,324652467
0,135335283
0,043936934
0,011108997
0,002187491

Gauss ( x) e

1 x c 2
(
)
2

1,2

c=7

1
0,8
0,6

0,4

0,2
0
1

10

11

12

13

14

c= ponto mdio
= desvio padro maior que 1. Um desvio muito pequeno torna o grfico semelhante ao da funo triangular.
X=universo
x=elemento do universo X com grau de pertinncia A(x).

x a
b a se x [a, b)

se x [b, c]
1
Trap ( x)
d x se x [c, d ]
d c
0
caso contrrio

Funo de pertinncia Trapezoidal

Trap(x)
1,2

Graus de pertinncia

0,8

0,6

Trapm(x)

0,5

0,4

0,2

0
1

10

A(x=2) = 0,5 (50%) em um conjunto A do universo de discurso X

a=inicio da rampa de subida

b=trmino da rampa de subida
c=incio da rampa de descida
d=trmino da rampa de descida
x=elemento do universo X com grau de pertinncia A(x) em um conjunto A de X.
Prof. Msc. Seldon R. Duarte

Funo de pertinncia trapezoidal

Prof. Msc. Seldon R. Duarte

x a
b a se x [a, b)

se x [b, c]
1
Trap ( x)
d

se x [c, d ]
d c
0
caso contrrio

Trap(x) =SE(E(E4>=A4;E4<B4);((E4-A4)/(B4-A4));SE(E(E4>=B4;E4<=C4);1;SE(E(E4>C4;E4<=D4);((D4-E4)/(D4-C4));0)))

1
1
1
1
1
1
1
1
1
1

B
4
4
4
4
4
4
4
4
4
4

C
6
6
6
6
6
6
6
6
6
6

D
9
9
9
9
9
9
9
9
9
9

E
x
1
2
3
4
5
6
7
8
9
10

Trap(x)
Trap(x)
0
0,3333
0,6666
1
1
1
0,6666
0,3333
0
0

Trap(x)
1,2

B=4

1
Graus de pertinncia

C=6

0,8

0,6

0,4

A=1

D=9

0,2

0
1

a=inicio da pampa de subida

b=trmino da rampa de subida
c=incio da rampa de descida
d=trmino da rampa de descida
x=elemento do universo X com grau de pertinncia A(x) em um conjunto A de X.

10

Graus de pertinncia

Universo X representando idade.

JOVEM

MADURO

IDOSO

0,8
0,6
0,4
0,2

X = idade
10

20

30

40

50

60

70

80

Conjuntos Fuzzy JOVEM, MADURO, IDOSO