CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

21
CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE

Transcript of CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

Page 1: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

1

Paradigmas da IA

Jacques Robin

Geber Ramalho

CIn-UFPE

Page 2: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

2

Paradigmas da IA

Simbólico: metáfora lingüística/lógica• ex. sistemas de produção

Conexionista: metáfora cerebral• ex. redes neurais

Evolucionista: metáfora da natureza• ex. algoritmos genéticos

Probabilista: probabilidade• ex. redes bayesianas

IA Distribuída: metáfora social• ex. sistemas multiagentes

Page 3: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

3

Paradigmas da IA

Diferenças chaves:• Forma de representar o conhecimento• Forma de raciocinar com esse conhecimento• Forma de adquirir esse conhecimento

Eixos centrais (das diferenças)• aprendizagem x manual• numérico x simbólico

Page 4: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

4

IA Simbólica

Page 5: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

5

Exemplo de problema

West é criminoso ou não? • “A lei americana diz que é proibido vender armas a uma nação

hostil. Cuba possui alguns mísseis, e todos eles foram vendidos pelo Capitão West, que é americano”

Como resolver automaticamente este problema de classificação?

Segundo a IA, é preciso:• Identificar o conhecimento do domínio (modelo do problema)• Representá-lo utlizando uma linguagem formal de

representação• Implementar um mecanismo de inferência para utilizar esse

conhecimento

Page 6: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

6

Raciocínio:• Manipulação de símbolos representando as entidades, relações, eventos

de domínio de aplicação • processo de construção de novas sentenças a partir de outras sentenças.• Deve ser plausível (sound)

Conhecimento: Representação e Uso

fatos fatos

sentenças sentenças

Mundo

Representação

segue-se

implica

sem

ântic

a

sem

ântic

a

Page 7: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

Revisitando o caso do cap. WestA) x,y,z Americano(x) Arma(y) Nação(z) Hostil(z) Vende(x,z,y)

Criminoso(x)B) x Guerra(x,USA) Hostil(x)C) x InimigoPolítico(x,USA) Hostil(x)D) x Míssil(x) Arma(x)E) x Bomba(x) Arma(x)F) Nação(Cuba)G) Nação(USA)H) InimigoPolítico(Cuba,USA)I) InimigoPolítico(Irã,USA)J) Americano(West)K) x Possui(Cuba,x) Míssil(x) L) x Possui(Cuba,x) Míssil(x) Vende(West, Cuba,x)

M) Possui(Cuba,M1) - Eliminação: quantificador existencial eN) Míssil(M1) conjunção de KO) Arma(M1) - Modus Ponens a partir de D e NP) Hostil(Cuba) - Modus Ponens a partir de C e HQ) Vende(West,Cuba,M1) - Modus Ponens a partir de L, M e NR) Criminoso(West) - Modus Ponens a partir de A, J, O, F, P e Q

Page 8: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

8

IA Simbólica: resumo

Características principais• Inspirada na lógica, semiologia, lingüística e psicologia cognitiva

(funcionalista)• Mais antiga• Representação do conhecimento: todos os tipos• Raciocínio: todos os tipos• Aquisição do conhecimento: todos os tipos

Vantagem: versatilidade

Inadequada para...• Raciocínio de baixo nível para percepção ou reflexos

– Visão computacional, processamento da fala– Controle dos motores dos atuadores do robôs

• Raciocínio com conhecimento incerto ou muito ruidoso

Page 9: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

9

IA Conexionista

Page 10: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

10

Paradigma ConexionistaRedes Neurais

Definição “Romântica”:Técnica inspirada no funcionamento do cérebro, onde

neurônios artificiais, conectados em rede, são capazes de aprender e de generalizar.

Definição “Matemática”: Técnica de aproximação de funções por regressão não linear.

É uma outra abordagem: • linguagem -> redes de elementos simples• raciocínio -> aprender diretamente a função entrada-saída

Page 11: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

11

Redes Neurais

wji

w1i

wni

s(i)

e(i) e(i) w ji sj

s(i) f (e(i))

s1

sj

sn

camadade entrada camada

de saídacamadaescondida

Page 12: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

12Redes neurais: exemplo do mundo do Wumpus

Entrada da rede:codificação binária depares atributos-valores

Saída da rede:codificação binária depares atributos-valores

01111stench

breeze

glitter

scream

......10000batida

01000scream00100glitter00010breeze00001stench

00000nenhuma percepção

101out100pick011shoot010left001right

000

101

111forward

Page 13: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

13

IA Conexionista: resumo

Características principais• Inspirada na neurofisiologia (fisicalista)• Muito utilizado em ambientes industriais e como técnica de

aprendizagem• Representação do conhecimento: conjunto de atributo-valor

(lógica 0+)• Raciocínio: indutivo ou analógico durante treinamento,

dedutivo, abdutivo ou analógico durante utilização• Aquisição do conhecimento: aprendizagem

Page 14: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

14

IA Conexionista

Super adequada para• Raciocínio de baixo nível para percepção ou reflexos

Pouco adequada para• Domínios relacionais requerem representação da 1a ordem• Aplicações que requerem explicação das decisões (ex,

central nuclear, cirurgia, investimento de grande porte)• Tarefas não-analíticas: planejamento e concepção

Page 15: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

15

IA Evolucionista

Page 16: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

16

Paradigma Evolutivo

Natureza• seres mais adaptados ao ambientes sobrevivem e suas

características genéticas são herdadas

Idéia: • indivíduo = solução • faz evoluir um conjunto de indivíduos mais adaptados por

cruzamento e mutação através de sucessivas gerações• fitness function f(i): R ->[0,1]

Page 17: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

Exemplo

Indivíduo possível• Vetor cujos primeiros elementos são as percepções e o

último a ação + o valor de aptidão (fitness) do momento

Função de fitness• feedback se morreu, ainda vive, pegou o ouro,...

Mutação e cruzamento: • Troca e alteração

Stench breeze glitter scream ... actionfitness

Page 18: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

18

IA Evolucionista: resumo

Características principais• Método probabilista de busca para resolução de problemas

(otimização) • Inspirada na teoria da evolução, paleontologia,...• Representação do conhecimento: conjunto de atributo-

valores (lógica 0+)• Raciocínio: indutivo durante treinamento, dedutivo ou

abdutivo durante utilização• Aquisição do conhecimento: aprendizagem (e manual p/

iniciar)

Page 19: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

19

IA Evolucionista

Adequada para• Otimização • Aprendizagem on-line

Pouco adequada para• Domínios relacionais requerem representação da 1a ordem

Page 20: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

CIn- UFPE

20

Resumo da Ópera

Page 21: CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE.

Tensões Centrais da IA

Sistemas baseados emRedes Neurais

Redes Bayesianas

Algoritmosgenéticos

Sistemas Especialistas

Sistemas Nebulosos

(fuzzy)

Sistemas deAprendizagem

simbólica indutiva

Sistemas de PLN

conhecimento em intenção (regras)

conhecimento em extensão (exemplos)

simbóliconumérico Sistemasbaseadoem casos

Robôs