Escolar Documentos
Profissional Documentos
Cultura Documentos
Tcnicas Inteligentes
Aula 01: Lgica Fuzzy e
Sistemas de Inferncia
Leonardo Willer de Oliveira
Referncias
Introduo
4
Leonardo Willer de Oliveira
Introduo
Mtodos:
Probabilsticos ou estocsticos;
Anlise de Intervalos;
Teoria de Erros;
Fuzzy.
5
Leonardo Willer de Oliveira
Introduo
6
Leonardo Willer de Oliveira
Introduo
7
Leonardo Willer de Oliveira
Introduo
8
Leonardo Willer de Oliveira
Introduo
Impreciso:
Relacionada com o contedo da sentena;
Propriedade da prpria informao.
Incerteza:
Propriedade oriunda da falta de informao;
Propriedade da relao entre a informao e o
conhecimento.
Abordagens
Teoria da probabilidade (repetibilidade)
Teoria da possibilidade (falta de informao)
9
Teoria dos conjuntos fuzzy (gradualidade)
Leonardo Willer de Oliveira
Introduo
Exemplos de eventos
10
Leonardo Willer de Oliveira
Introduo
Exemplos de eventos
Introduo
Exemplos de eventos
Copo cheio? / Falta?
Imprecisos
Conjuntos fuzzy
Funo de pertinncia [0,1] 12
Leonardo Willer de Oliveira
Introduo
Exemplo de funo de pertinncia
13
Leonardo Willer de Oliveira
Introduo
14
Leonardo Willer de Oliveira
Introduo
Tipos de metodologias
Baseada em modelo
Informaes representadas por variveis lingusticas
que so convertidas em regras
Ausncia de modelo
Regras extradas de dados numricos combinados
com informaes lingusticas
15
Leonardo Willer de Oliveira
Introduo
16
Leonardo Willer de Oliveira
Histrico
Histrico
Conjuntos Convencionais
Conjuntos Convencionais
C
Funo de Pertinncia
1 --
-10 0 10 x
1 se x C C = { x U / x > 0}
C ( x ) =
0 se x C {
U = x Z / x 10 } 20
Leonardo Willer de Oliveira
Conjuntos Fuzzy
Conjunto Fuzzy
Funo de pertinncia
x 2 3 4 5 6 7 8
C 0,1 0,4 0,8 1,0 0,8 0,4 0,1
21
Leonardo Willer de Oliveira
Conjuntos Fuzzy
C
Conjunto Fuzzy
1 --
Universo finito
-10 5 10 x
Conjuntos Fuzzy
F= {( x, F ( x ) ) | x U}
(
O conjunto fuzzy constitudo pelos pares x, F ( x ) )
23
Leonardo Willer de Oliveira
Conjuntos Fuzzy
Conjunto Fuzzy
24
Leonardo Willer de Oliveira
AB ( x ) = max ( A ( x ) , B ( x ) )
x
A B ( x )
Interseo
AB = {( x, ( x )), x U}
A B
AB ( x ) = min ( A ( x ) , B ( x ) )
25
x
Leonardo Willer de Oliveira
Ac ( x )
Complemento
Ac = {( x, ( x )), x U }
Ac
Ac ( x ) = 1 A ( x )
x
26
Leonardo Willer de Oliveira
Isomorfismo
Teoria dos Conjuntos Lgica lgebra Booleana
Pertinncia Verdade Valor
Membro Verdadeiro 1
No-membro Falso 0
Interseo E Produto
Unio OU Soma
Complemento NO Complemento
27
Leonardo Willer de Oliveira
Propriedades
Comutatividade: A B = B A
AB = B A
Associatividade: ( A B ) C = A ( B C )
( A B ) C = A (B C )
Idempotncia: A A = A
AA = A
Distributividade: A ( B C ) = ( A B ) ( A C ) 28
Leonardo Willer de Oliveira
Produto cartesiano
AxB = {( x, y ),min ( A ( x ) , B ( x ) ) | x A y B}
Exemplo:
A= { (3 , 0,5) , (5 , 1) , (7 , 0,6) }
B= { (3 , 1) , (5 , 0,6) }
{
A x B = ( 3,3 ) ,0,5 , ( 3,5 ) ,0,5 , ( 5,3 ) ,1 , ( 5,5 ) ,0,6 , ( 7,3 ) ,0,6 , ( 7,5 ) ,0,6 }
29
Leonardo Willer de Oliveira
Definies Bsicas
F= {( x, F ( x ) ) | x U} {
: S ( F ) = x X | F ( x ) > 0 }
Altura de F ( H(F) ):
maior grau de pertinncia de F. Se H (F) = 1, ento o
conjunto F normalizado
30
Leonardo Willer de Oliveira
Definies Bsicas
Cardinalidade de F ( |F| )
F discreto: F = F (x)
F contnuo: F = F ( x )dx
Corte de nvel- ou corte- (F)
{
F x X | F ( x ) }
31
Leonardo Willer de Oliveira
Definies Bsicas
F [a x1 + (1 a ) x2 ] min[ F ( x1 ) , F ( x2 )]
x1, x2 X e a [0,1]
F
32
Leonardo Willer de Oliveira
Nmeros Fuzzy
Nmero fuzzy F
Conjunto fuzzy em R convexo normalizado tal que
F ( x ) contnua por partes e que existe pelo menos um
x1 tal que F ( x1 ) = 1
Exemplo F
F trapezoidal=(x1,x2,x3,x4)
Nmeros Fuzzy
Adio
F1 F2 = ( x1 + y1, x2 + y 2 , x3 + y 3 , x 4 + y 4 )
Produto
F1 F2 = ( x1 y1, x2 y 2 , x3 y 3 , x 4 y 4 )
Relaes
Exemplo: Sejam x, y C
A relao x muito maior que y pode ser definida
por: 0 se x y
( x, y ) =
( )
1
1+ ( y x )
2
se x > y 35
Leonardo Willer de Oliveira
Variveis Lingusticas
36
Leonardo Willer de Oliveira
Variveis Lingusticas
Variveis Lingusticas
conjuntos fuzzy
Variveis Lingusticas
39
Leonardo Willer de Oliveira
Funes de Pertinncia
Formatos
Triangular Trapezoidal
Observao:
Overlapping
40
Leonardo Willer de Oliveira
Lgica Clssica
Proposio ( F ou V)
Combinao de proposies (F ou V)
Conjuno (p q)
Disjuno (p q)
Condicional (p q)
Equivalncia (p q)
Negao ( p)
Tabela Verdade 41
Leonardo Willer de Oliveira
Lgica Clssica
Tautologia
Lgica Fuzzy
Lgica Fuzzy
Relaes
F 1F 2 ( x, y ) = 1 min F 1 ( x ) ,1 F 2 ( y )
F 1F 2 ( x, y ) = max 1 F 1 ( x ) , F 2 ( y ) = 1 F 1 ( x ) 1 F 2 ( y )
44
Leonardo Willer de Oliveira
Base de Regras
Fuzzificao Defuzzificao
Entrada precisa Sada precisa
(crisp) (crisp)
Inferncia
45
Leonardo Willer de Oliveira
Inferncia
46
Leonardo Willer de Oliveira
Base de Regras
Regra SE < >, ENTO < > fuzzy
Exemplo
V
Baixa
1,0
47
Q
Leonardo Willer de Oliveira
Base de Regras
Generalizao
48
Leonardo Willer de Oliveira
Fuzzificao
Determinao do grau de pertinncia da entrada no
antecedente de regra
E(min): { }
cr = mini =1,...,n ( xi )
{
OU(max): cr = max i =1,...,n ( xi ) }
49
Leonardo Willer de Oliveira
Inferncia
Determinao do grau de validade dos consequentes
das regras e combinao no conjunto fuzzy de sada
{ }
G = max min {cr , i ( xi )},{r ( xi )}
Inferncia
Combinao maxmin
51
Leonardo Willer de Oliveira
Defuzzificao
Construo de uma sada precisa (crisp) a partir do
conjunto fuzzy
Mtodos:
Valor mximo
Valor mdio dos mximos
Bisetor
Centride ou centro de massa
52
Leonardo Willer de Oliveira
Defuzzificao
u1 u2 u3 u4 u5 u
Regras
SE (atendimento ruim ou comida pssima)
ENTO (gorjeta baixa)
56
Leonardo Willer de Oliveira
57
Leonardo Willer de Oliveira
58
Leonardo Willer de Oliveira
x a c x
Funo Triangular trim f ( x ; a , b , c ) = m a x m in , ,0
b a c b
xa d x
Funo Trapezoidal tra p m f ( x ; a , b , c , d ) = m a x m in ,1, ,0
ba d c
2
1 x c
Funo Gaussiana g a u s s m f ( x ; , c ) = e 2
1
Funo Sino Generalizada g b e llm f ( x ; a , b , c ) = 2b
x c
1+ 59
a
Leonardo Willer de Oliveira
60
Leonardo Willer de Oliveira
61
Leonardo Willer de Oliveira
62
Leonardo Willer de Oliveira
63
Leonardo Willer de Oliveira
64
Leonardo Willer de Oliveira
65