You are on page 1of 48

Inteligência Artificial

Wladimir Araújo Tavares

Roteiros

Acontecimentos importantes para o surgimento da IA Surgimento da IA Quatro pontos de vista da IA Objetivos da IA IA Forte e IA Fraca IA Simbólica e IA Conexionista Aplicações Gerais

Acontecimentos importantes para surgimento da IA
3000 a.c Sistema de Diagnóstico 450 a.c Platão sugere que conhecimento = definições explícitas 322 a.c Organon Século 17 Thomas Hobbes publica o Leviathan (1651) Pascal inventa a Pascaline(1642) Surge o computador mecânico de Leibnitz

Leviathan

Pascaline

Computador Mecânico de Leibnitz

Século 18 Thomas Bayes publica trabalho sobre raciocínio + probabilidade(1763) Século 19 Computador programável de Babbage(1832) Lógica Booleana(1854) Teoria da Evolução das Espécies(1858) De Morgan – relações lógicas(1864) .

Babbage Boole Darwin .

teoria de Modelos Máquina Universal de Turing Tese de Church-Turing .Frege desenvolve a Lógica de Predicado Herman Hollerith processamento de dados de censos Século 20 Análise de Markov de seqüência de textos Lowenheim .

.

Shaw implementam o LT-Logic Theorist . Herbert Simon e J. Pitts e McCullock – modelos de neurônios artificiais Hebbs sugere que as redes neuronais podem aprender Teste de Turing Minsky e Dean Edmonds – primeira rede neural artificial Allen Newell.

Pitts e McCullock Teste de Turing Newell e Simon Marvin Minsky .

Hebb descobre a plasticidade das sinapses. . dando uma explicação para o aprendizado do cérebro em 1943.

Surgimento da IA Dartmouth Summer Research Project on Artificial Intelligence Polêmicas e promessas exageradas Fundamentos da Inteligência e limites computacionais Falta de definição formal .

. Marvin Minsky. Oliver Selfridge. John McCarthy. and Ray Solomonoff.Trenchard More.

Fundamentos da IA .

Quatro ponto de vista da IA .

H.Objetivos da IA “tornar os computadores mais úteis e compreender os princípios que tornam a inteligência possível'' [P. 1984 ] . Winston.

” Construção de máquinas capazes de verdadeiramente raciocinar e resolver problemas.IA Forte e IA Fraca "fazer a máquina comportar-se de tal forma que seja chamada inteligente caso fosse este o comportamento de um ser humano." [John McCarty 1956] Tese da IA Forte – “Cérebros são Computadores Formados de Carne. .

consciência podem ser reproduzidas. inteligência. entendimento ." [John Searle] Problemas éticos e três leis da robótica . sentimento. Podemos resumir esse ponto de vista – chamo-a de 'inteligência artificial forte' ou 'IA forte' – dizendo que a mente está para o cérebro assim como o programa está para o hardware do computador.pensamento. Todas as qualidades mentais .

ao ficarem no escuro. Robô. Por que será que. Trechos de códigos randômicos que se uniram para formar protocolos inesperados. criatividade e até mesmo a natureza daquilo que chamamos de alma. quando armazenado num lugar vazio eles se agrupam ao invés de ficarem sós? Como explicar tal comportamento? Segmentos randômicos de códigos? Ou é algo a mais? Quando um esquema de percepção se torna uma consciência? Quando calcular probabilidades começa a busca de verdade? Quando é que uma simulação de personalidade se torna o doloroso átomo de uma alma? Inquietantes perguntas presentes no filme Eu. esses radicais livres elaboram perguntas sobre livre-arbítrio. De forma não antecipada. .Ficção Científica Sempre existiram ‘fantasmas na máquina’. eles procuram a luz? Por que será que.

Teste de Turing Agindo como seres humanos Simular a inteligência é ser inteligente? Diversos avanços .IA Fraca Não é capaz de verdadeiramente raciocinar e resolver problemas. máquina capazes de agir como se fosse inteligente. mas não tem autoconsciência ou noção de si.

Linhas de Pesquisas Conexionistas Simbólica .

19:3. Comm. ACM. Simon inComputer science as empirical inquiry: symbols and search.IA Simbólica Hipótese dos Sistemas de Símbolos Físicos -Physical Symbol System. Newell. H. Romântica e Moderna . (A.” Fases: Clássica . 1976) Pensando Racionalmente “The necessary and sufficient condition for a physical system toexhibit general intelligent action is that it be a physical symbol system.

Problema na tradução automática “The spirit is willing but the flesh is weak” (o espírito é bom mas a carne é fraco) é traduzida de inglês para russo e depois de russo para inglês originando “The vodka is good but the meat is rotten” (a vodka é boa mas a carne está estragada).Clássica Newel e Simon apresentam Logic Theorist. Allen Newell e Herbert Simon desenvolvem o GPS-General Problem Solver. Problemas: explosão combinatória e conhecimento incompleto e parcialmente incoerente. Soluções: desenvolvimento de lógicas não-clássicas . Herbert Gelemter implementa o Geometry Theorem Prover. heurísticas e time-sharing .

.

Estudo sobre a decidibilidade. processamento simbólico de listas. completude e complexidade dos problemas. . ambientes de desenvolvimento de ``software''. levou a conceitos como: tempo compartilhado. orientação objeto.Romântica Ênfase na representação do conhecimento e construção de teorias.

Representação através da Lógica .

Frames .

Piu-Piu pode voar? .

Núcleo do Problema .

Sub-áreas da IA .

Bases de conhecimento codificavam regras. .Moderna Surgimento dos Sistemas Especialistas.

Na ficha de solicitação do empréstimo.Encapsulamento do conhecimento de um especialista Um sistema especialista de uma financeira aprovava um crédito para um jovem de 18 anos. Somente seguir regras é ser inteligente? . o rapaz dizia que trabalhava no mesmo emprego há 20 anos.

também usa valores de probabilidade .uso de valores de probabilidade) 1977 PROSPECTOR (Análise de sítios geológicos . (Compreensão da linguagem natural com uso de roteiros ) 1973 LUNAR de Woods (Interface em linguagem natural para consultar um banco de dados sobre pedras lunares) 1973 Linguagens de representação (PLANNER. frames) .famoso por ter descoberto uma mina de molibdênio) 1979 SHRDLU de Winograd (Compreensão da linguagem natural para manipulação num mundo de blocos) 1972 Sam de Schank et al.Sistemas Especialistas: Sistemas baseados em conhecimento DENDRAL (Identificação de estruturas moleculares orgânicas) 1969 MYCIN (Diagnóstico de doenças contagiosas .

Projeto CYC .

1. Linguagem CycL poderosa .000 asserções na sua base de dados. "todos os Objetos possuídos por Sergio encontram se na casa do Sergio“.Em 1992. .400.

"Me mostre as pessoas que tenham formação superior e que vivam em Ribeirão Preto“ Tradução em CycL: .

e de suas interligações. de seus neurônios. isto é.IA Conexionista Modelagem da inteligência humana através da simulação dos componentes do cérebro. .

McCulloch e o lógico Pitts propuseram um primeiro modelo matemático para um neurônio. .

.

primeiro neurocomputador com capacidade de aprendizado. Limites do perceptron (relatório de Minsky e Papert 1969) . usado no reconhecimento de caracteres. ROSENBLATT concebeu o "perceptron". Hebbs propõe um processo de apredizagem MINSKI constrói o Snark. que era uma rede neural de duas camadas.

. Físico e biólogo Hopfield (1982) relata a utilização de redes neurais simétricas para otimização. Rumelhart. Hinton e Williams introduziram o poderoso método Backpropagation.

Sistemas Multiagentes .Aplicações de Redes Neurais Análise de Imagens Análise de Voz Avaliação de créditos Reconhecimento de padrões Reconhecimento ótico de padrões.

IAS x IAC Conhecimento representado por regras. Permite uma explicação Fácil Inserção de novos conhecimentos Exige conhecimento completo Limitação das regras Dificuldade de tratamento de informação imprecisa Toy Examples .

Aplicações Gerais Chinook foi declarado o campeão HomemMáquina em Damas em 1994. Sistemas especialistas vêm sendo usados a uma certa escala industrial(ExpertSinta). um computador jogador de xadrez. derrotou Garry Kasparov em uma famosa disputa em 1997. Chatterbots (robôs de software para conversação) . Deep Blue.

Sistemas multiagentes (ExpertCOP Geosimulação da Criminalidade).(WikiCrime e aquisição de conhecimentos) Lógicas não-monotônicas Web semântica Sistemas com Visão computacional Reconhecimento Facial .

Um entendedor de histórias NETtalk – leitura de textos Cyc Open Mind .Figuras Famosas ALICE.HRDLU Linguagem Natural PAM (Plan Applier Mechanism) . um chatterbot SHRDLU .

Papert. GPS: A Case Study in Generality and Problem Solving. 4:135-183. 1980.1971.I. G.A. Perceptrons: An Introduction to Computational Geometry. The complexity of theorem Proving procedures. Press. Newell. Newell. 1969. M. . Ernst and A. In Proceedings of the 3rd Annual ACM Symposium on Theory of Computing. M. New York. ACM. pages 151-158. Cognitive Science. Minsky and S.T.Referências S. New York. Physical symbol systems. Cook.L. Academy Press. A.A. 1969.

L. Zadeh. . Hayes and L.I. Mikulich.A. Machine Intelligence 9. 1979. A logic for default reasoning. In D. April 1980. 13(1-2):81-132. Reiter. A theory of approximate reasoning. editors. New York. Artificial Intelligence. Mitchie J. Wiley Masson.E. R.