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

Apresentação em tema: "CIn- UFPE 1 Paradigmas da IA Jacques Robin Geber Ramalho CIn-UFPE."— Transcrição da apresentação:

1

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

3 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

4 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

5 CIn- UFPE 4 IA Simbólica

6 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

7 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 fatosfatossentenças Mundo Representação segue-se implica semântica

8 Revisitando o caso do cap. West A)  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 e N) Míssil(M1) conjunção de K O) Arma(M1)- Modus Ponens a partir de D e N P) Hostil(Cuba)- Modus Ponens a partir de C e H Q) Vende(West,Cuba,M1)- Modus Ponens a partir de L, M e N R) Criminoso(West)- Modus Ponens a partir de A, J, O, F, P e Q

9 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

10 CIn- UFPE 9 IA Conexionista

11 CIn- UFPE 10 Paradigma Conexionista Redes 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

12 CIn- UFPE 11 Redes Neurais  wji w1i wni s (i) e (i) s1s1 sjsj snsn camada de entrada camada de saída camada escondida

13 CIn- UFPE 12 Redes neurais: exemplo do mundo do Wumpus Entrada da rede: codificação binária de pares atributos- valores Saída da rede: codificação binária de pares atributos-valores 01111 stench  breeze  glitter  scream... 10000batida 01000scream 00100glitter 00010breeze 00001stench 00000nenhuma percepçã o 101out 100pick 011shoot 010left 001right 000 101 111 forward

14 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

15 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 1 a 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

16 CIn- UFPE 15 IA Evolucionista

17 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]

18 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...action fitness

19 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)

20 CIn- UFPE 19 IA Evolucionista Adequada para Otimização Aprendizagem on-line Pouco adequada para Domínios relacionais requerem representação da 1a ordem

21 CIn- UFPE 20 Resumo da Ópera

22 Tensões Centrais da IA Sistemas baseados em Redes Neurais Redes Bayesianas Algoritmos genéticos Sistemas Especialistas Sistemas Nebulosos (fuzzy) Sistemas de Aprendizagem simbólica indutiva Sistemas de PLN conhecimento em intenção (regras) conhecimento em extensão (exemplos) simbóliconumérico Sistemas baseado em casos Robôs