Professional Documents
Culture Documents
Sistemas Inteligentes
Prof. Germano Lambert Torres Prof. Luiz Eduardo Borges da Silva
Sistemas Inteligentes
- Trata com problemas extremamente combinacionais: caixeiro viajante, xadrez reconhecimento de padres
F A E D B C
Copyright G. Lambert-Torres
Sistemas Inteligentes
Sistemas Inteligentes
- Revista VEJA Kasparov x Deep Blue - IA: teoria fracassada e produziu fiascos - 200 milhes de jogadas por segundo - Ser isto verdade?
Copyright G. Lambert-Torres
Sistemas Inteligentes
Problemas Combinacionais
- Enxadristas: Amadores 2 lances a frente Mestre Nacional 4 a 6 lances a frente Mestre Internacional 7 a 8 lances a frente - Xadrez 1 rei 2 cavalos 8 pees (c/2 movimentos) 20 movimentos
Copyright G. Lambert-Torres
Sistemas Inteligentes
Problemas Combinacionais
Nmero de Lances: 20 lances 20.20 = 400 lances 400.20 = 8000 lances 8000.20 = 160000
Sistemas Inteligentes
O Erro da Veja!
200 milhes de jogadas por segundo 7 lances a frente 2014 = 1,6 quinquilhes 1 ano = 31.536.000 segundos cada jogada: 260 anos (!)
Copyright G. Lambert-Torres Sistemas Inteligentes 7
Copyright G. Lambert-Torres
Sistemas Inteligentes
2 litros
Lgica formal
4 litros 3 litros 4 litros 3 litros
a. b. c. d. e.
Regras de Soluo: (X , Y ! X < 4) = (4,Y) (X , Y ! Y < 3) = (X,3) (X , Y ! X > 0) = (0,Y) (X , Y ! Y > 0) = (X,0) (X , Y ! X+Y >= 4 e Y>0) = (4, Y-(4-X)) f. (X , Y ! X+Y >= 3 e X>0) = (X-(3-Y),3)
Copyright G. Lambert-Torres
Encher 4 litros Encher 3 litros Esvaziar 4 litros Esvaziar 3 litros Despejar 3 em 4 litros Despejar 4 em 3 litros
Sistemas Inteligentes 9
Lgica formal
- Soluo: 4 litros 3 litros Regra 0 0 b 0 3 e 3 0 b 3 3 e 4 2 c 0 2 e 2 0 =>Sucesso!
Copyright G. Lambert-Torres
2 litros
4 litros
3 litros
4 litros
3 litros
Sistemas Inteligentes
10
Teste de Turing
Copyright G. Lambert-Torres
Sistemas Inteligentes
11
Teste de Turing
?- Na primeira linha deste soneto, que diz Devo comparar-lhe a um dia de vero, a troca por um dia de primavera seria to boa ou melhor? R- No rimaria. ?- Que tal um dia de inverno. Isto rimaria. R- Sim, mas quem gosta de ser comparado com um dia de inverno. ?- Voc acha que o Sr. Pickwick lembra o Natal? R- Sim, realmente um pouco. ?- No entanto, o Natal um dia de inverno e eu no acho que o Sr. Pickwick se importasse com a comparao. R- Voc no est falando srio! Por um dia de inverno queremos dizer um dia tpico de inverno e no um dia especial como o Natal.
Copyright G. Lambert-Torres Sistemas Inteligentes 12
1956: Dartmouth Summer Seminar 1958: LISP (LISt Processor) Perodo de euforia: General Problem Solver (GPS) Perodo negro- dcada de 60 1970: Sistemas Especialistas 1973: Prolog (PROgramming in LOGic) Prmio Nobel: Hebert Simon
Copyright G. Lambert-Torres
Sistemas Inteligentes
13
Copyright G. Lambert-Torres
Sistemas Inteligentes
15
Sensaes
Copyright G. Lambert-Torres
Sistemas Inteligentes
17
Sistemas Inteligentes
Sistemas Inteligentes
Sistemas Especialistas If-Then Rules Base de Conhecimento Motor de Inferncia Conjuntos Difusos
Copyright G. Lambert-Torres
Sistema Especialista
Knowledge Base
User Interface
Inference Engine
H Base
Copyright G. Lambert-Torres
Dor de cabea - hipertenso, gripe, problemas estomacais Taquicardia - hipertenso, problemas cardacos Fumo - causa hipertenso arterial Vida sedentria - hipertenso Quadro-casos de hipertenso na famlia, fuma, sedentrio Resultado: HIPERTENSO Medidas: dieta de sal e calorias. Exames gerais. Retornar em 15 dias.
Sistemas Inteligentes
20
Conjuntos Difusos
L.A. Zadeh (1965)
Fuzzy Sets
z
65 1
65
Copyright G. Lambert-Torres Sistemas Inteligentes 21
Conjuntos Difusos
Valores lingisticos x = LE, LC, ZE, RC, RB y = YT, YM, YB = RB, ..., LB = NB, ..., PB Exemplos: grande, muito grande, no muito grande
Copyright G. Lambert-Torres
(x )
1 LE LC CE RC RE
x
0 4 8 12 16 20 24 28 32 (m)
(y )
YB 1 YT YM
y
0 4 6 8 10 15 20 (m)
()
1 RB RU RV VE LV LU LB
()
1 NB NM NS ZE PS PM PB
Sistemas Inteligentes
22
Conjuntos Difusos
Exemplo de Regras Difusas:
- Rule i: If x is LC and y is YM, then is PM. - Rule j: If x is LC and y is YB, then is ZE. Inputs: x = 9.5 (m) and y=8.5 (m)
Copyright G. Lambert-Torres Sistemas Inteligentes 23
1 LE LC CE RC RE
Contribution of Rule i
0.48
0 x=9.5(m)
16
32
1 0.48 NB NM NS ZE PS PM PB
1 YT YM YB 0.57
30
+30
10 y=8.5(m)
20
1 LE LC CE RC RE 0.48
0 x=9.5(m)
16
32
1 YT YM YB 0.57
0.25
30
0 +14.5
+30
0.25 0 0 10 y=8.5(m) 20
Copyright G. Lambert-Torres
Sistemas Inteligentes
24
Conjuntos Difusos
Exemplo: estacionamento de um veculo
Copyright G. Lambert-Torres
Sistemas Inteligentes
25
Redes Neurais
i Modelos
conexionistas i Crebro humano: - 1010 a 1011 neurnios - 1000 a 10000 ligaes i Neurnios artificiais
Copyright G. Lambert-Torres
Sistemas Inteligentes
26
Redes Neurais
- Neurnio artificial (matemtico) input = wi.ii + i1
w1 i2 w2 i3 w 3 i4 w4 f(.) o
Copyright G. Lambert-Torres
Sistemas Inteligentes
27
Redes Neurais
Funo Degrau
Funo Rampa
Funo Sigmoidal
Copyright G. Lambert-Torres
Sistemas Inteligentes
28
Redes Neurais
- Tipos de Redes Rede por Camada
Copyright G. Lambert-Torres
Sistemas Inteligentes
29
Neurnio
Copyright G. Lambert-Torres
Sistemas Inteligentes
30
Rede Neural
Copyright G. Lambert-Torres
Sistemas Inteligentes
31
Redes Neurais
- Tipos de Redes Rede Homognea
Copyright G. Lambert-Torres
Sistemas Inteligentes
32
Exemplo:
Copyright G. Lambert-Torres
Sistemas Inteligentes
33
Algoritmos Genticos
Seleo - Cruzamento - Mutao
P(k)
Selection
P(k+1) P(k)
Mating Pool Crossover Mutation
Copyright G. Lambert-Torres
Sistemas Inteligentes
34
Algoritmos Genticos
Bivariate Histogram (TEST0.STA 2v*500c)
Copyright G. Lambert-Torres
Sistemas Inteligentes
35