Inteligncia Articial - I

Introduo

tera-feira, 15 de fevereiro de 2011

O que IA
O que IA Agindo de forma humana - Turing Agindo de forma humana - Modelagem cognitiva Pensando racionalmente Agindo racionalmente

tera-feira, 15 de fevereiro de 2011

O que IA
Para se denir o que IA temos que visualizar o assunto de quatro perspectivas diferentes. Sistemas que pensam como seres humanos Sistemas que pensam racionalmente Sistemas que atuam como seres humanos Sistemas que atuam racionalmente Isto se deve ao ponto de vista que adotamos para determinar se um algoritmo ou no IA

tera-feira, 15 de fevereiro de 2011

Denies de IA
Sistemas que pensam como seres humanos O novo e interessante esforo para fazer os computadores pensarem... mquinas com mentes, no sentido total e literal. (Haugeland, 1985) [Automatizao de] atividades que associamos ao pensamento humano, atividades como a tomada de decises, a resoluo de problemas, o aprendizado... (Bellman, 1978) Sistemas que pensam racionalmente

O estudo das faculdades mentais pelo uso de modelos computacionais. (Charniak e McDermott, 1985) O estudo das computaes que tornam possvel perceber, raciocinar e agir. (Winston, 1992)

tera-feira, 15 de fevereiro de 2011

Denies de IA
Sistemas que atuam como seres humanos Sistemas que atuam racionalmente

A arte de criar mquinas que executam A Inteligncia Computacional o estudo do funes que exigem inteligncia quando projeto de agentes inteligentes. executadas por pessoas. (Poole et al., 1998) (Kurzweil, 1990)

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana: Turing

O teste de Turing, proposto por Alan Turing em 1950. Em vez de proporcionar uma lista longa de qualicaes exigidas para inteligncia, ele sugeriu um teste baseado na impossibilidade de distinguir entre entidades inegavelmente inteligentes - os seres humanos.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana: Turing

O computador passar no teste se um interrogador humano, depois de propor algumas perguntas por escrito, no conseguir descobrir se as respostas escritas vm de uma pessoa ou no.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana: Turing

O computador precisaria ter as seguintes capacidades:

Processamento de linguagem natural para permitir que ele se comunique com sucesso em um idioma natural. Representao de conhecimento para armazenar o que sabe ou ouve. Raciocnio automatizado para usar as informaes armazenadas com a nalidade de responder a perguntas e tirar novas concluses. Aprendizado de mquina para se adaptar a novas circunstncias e para detectar e extrapolar padres. Viso de computador para perceber objetos. Robtica para manipular objetos e movimentar-se.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana - Modelagem Cognitiva

Existem duas maneiras de determinar que um dado programa pensa como um ser humano: atravs da introspeco - procurando captar nossos prprios pensamentos medida que eles se desenvolvem - e atravs de experimentos psicolgicos.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana - Modelagem Cognitiva

Se os comportamentos de entrada/sada e sincronizao do programa coincidirem com os comportamentos humanos correspondentes, isso ser a evidncia de que alguns dos mecanismos do programa tambm poderiam estar operando nos seres humanos.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana - Modelagem Cognitiva

Allen Newell e Herbert Simon, que desenvolveram o GPS, o General Problem Solver (Newell e Simon, 1961), no se contentaram em fazer seu programa resolver problemas de modo correto. Eles estavam mais preocupados em comparar os passos de suas etapas de raciocnio aos passos de sujeitos humanos resolvendo os mesmo problemas.

tera-feira, 15 de fevereiro de 2011

Agindo de forma humana - Modelagem Cognitiva

O campo interdisciplinar da cincia cognitiva rene modelos computacionais de IA e tcnicas experimentais da psicologia para tentar construir teorias precisas e vericveis a respeito dos processos de funcionamento da mente humana.

tera-feira, 15 de fevereiro de 2011

Pensando Racionalmente
O lsofo grego Aristteles foi um dos primeiros a tentar codicar o pensamento correto, isto , processos de raciocnio irrefutveis. Seus silogismos forneceram padres para estruturas de argumentos que sempre resultavam em concluses corretas ao receberem premissas corretas - por exemplo - Scrates um homem; todos os homens so mortais; ento, Scrates mortal!.

tera-feira, 15 de fevereiro de 2011

Pensando Racionalmente
Os lgicos do sculo XIX desenvolveram uma notao precisa para declaraes sobre todos os tipos de coisas do mundo e sobre as relaes sobre elas. Por volta de 1965, existiam programas que, em princpio, podiam resolver qualquer problema solucionvel descrito em notao lgica. A chamada tradio logicista dentro da IA espera desenvolver tais programas para criar sistemas inteligentes.

tera-feira, 15 de fevereiro de 2011

Pensando Racionalmente
Essa abordagem enfrenta dois obstculos principais: 1.No fcil enunciar o conhecimento informal nos termos formais exigidos pela notao lgica, em particular quando o conhecimento menos de 100% certo. 2.H uma grande diferena entre ser capaz de resolver um problema em princpio e resolv-lo de fato.

tera-feira, 15 de fevereiro de 2011

Agindo Racionalmente
Um agente simplesmente algo que age. No entanto, espera-se que um agente computacional tenha outros atributos que possam distingui-lo de meros programas, tais como operar sob controle autnomo, perceber seu ambiente, persistir por um perodo de tempo prolongado, adaptar-se a mudanas e ser capaz de assumir metas de outros. Um agente racional aquele que age para alcanar o melhor resultado ou, quando h incerteza, o melhor resultado esperado.

tera-feira, 15 de fevereiro de 2011

Agindo Racionalmente
A realizao de inferncias corretas uma parte daquilo que caracteriza um agente racional, porque uma das formas de agir racionalmente raciocinar de modo lgico at a concluso de que uma dada ao alcanar as metas pretendidas, e depois agir de acordo com essa concluso. Por outro lado, a inferncia correta no representa toda a racionalidade, porque com frequncia ocorrem situaes em que no existem nenhuma ao comprovadamente correta a realizar, mas mesmo assim algo tem que ser feito.

tera-feira, 15 de fevereiro de 2011

Agindo Racionalmente
O estudo de IA como um projeto de agente racional tem pelo menos duas vantagens: 1. Ele mais geral que a abordagem de leis do pensamento, porque a inferncia correta apenas um dentre vrios mecanismos possveis para se alcanar a racionalidade. 2. Ela mais acessvel ao desenvolvimento cientco do que as estratgias baseadas no comportamento ou no pensamento humano, porque o padro de racionalidade denido com clareza e completamente geral.

tera-feira, 15 de fevereiro de 2011

Fundamentos
Filosoa Matemtica Economia Neurocincia Psicologia Engenharia de computao Teoria de controle e ciberntica Lingustica

tera-feira, 15 de fevereiro de 2011

Filosoa (de 428 a.C. at hoje)

Regras formais podem ser usadas para obter concluses vlidas? Como a mente (o intelecto) se desenvolve a partir de um crebro fsico? De onde vem o conhecimento? Como o conhecimento conduz ao?

tera-feira, 15 de fevereiro de 2011

Matemtica (de 800 at hoje)

Quais so as regras formais para obter concluses vlidas? O que pode ser computado? Como raciocinamos com informaes incertas?

tera-feira, 15 de fevereiro de 2011

Economia (de 1776 at hoje)

Como devemos tomar decises para maximizar o lucro? Como devemos fazer isso quando outros no podem nos acompanhar? Como devemos fazer isso quando o lucro pode estar distante no futuro?

tera-feira, 15 de fevereiro de 2011

Neurocincia (de 1861 at hoje)

Como o crebro processo informaes?

tera-feira, 15 de fevereiro de 2011

Psicologia (de 1879 at hoje)

Como os seres humanos e os animais pensam e agem?

tera-feira, 15 de fevereiro de 2011

Engenharia de Computao (de 1940 at hoje)

Como podemos construir um computador eciente?

tera-feira, 15 de fevereiro de 2011

Teoria de controle e ciberntica (de 1948 at hoje)

Como os artefatos podem operar sob seu prprio controle?

tera-feira, 15 de fevereiro de 2011

Lingustica (de 1957 at hoje)

Como a linguagem se relaciona ao pensamento?

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

O primeiro trabalho agora conhecido como IA foi realizado por Warren McCulloch e Walter Pitts (1943). Eles se basearam em trs fontes: o conhecimento da siologia bsica e da funo dos neurnios no crebro, uma anlise formal da lgica proposicional criada por Russell e Whitehead, e a teoria da computao de Turing.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

Esses dois pesquisadores propuseram um modelo de neurnios articiais no qual cada neurnio se caracteriza por estar ligadoou desligado, com a troca para ligado ocorrendo em resposta estimulao por um nmero suciente de neurnios vizinhos.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

O estado de um neurnio era considerado equivalente em termos concretos a uma proposio que denia o seu estmulo adequado. Por exemplo, eles mostraram que qualquer funo computvel podia ser calculada por uma certa rede de neurnios conectados, e que todos os conectivos lgicos (e, ou, no, etc.) podia ser implementados por estruturas de redes simples.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

McCulloch e Pitts tambm sugeriram que redes denidas adequadamente seriam capazes de aprender. Donald Hebb (1949) demonstrou uma regra de atualizao simples para modicar as intensidades de conexo entre neurnios. Sua regra, agora chamada aprendizagem de Hebb, continua a ser um modelo inuente at hoje.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

Dois alunos do departamento de matemtica de Princeton, Marvin Minsky e Dean Edmonds, construram o primeiro computador de rede neural em 1951. O SNARC, como foi chamado, usava 3.000 vlvulas eletrnicas e um mecanismo de piloto automtico retirado de um bombardeiro B-24 para simular uma rede de 40 neurnios.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

A banca examinadora da tese de doutorado de Minsky se mostrou ctica sobre esse tipo de trabalho, sem saber se ele deveria ser classicado com um trabalho de matemtica. Porm, segundo contam, von Neumann teria dito: Se no agora, ser algum dia. Mais tarde, Minsky acabou provando teoremas importantes que mostravam as limitaes da pesquisa em redes neurais.

tera-feira, 15 de fevereiro de 2011

A gestao da IA (1943 - 1955)

Surgiram vrios exemplos de trabalhos que hoje podem ser caracterizados como IA, mas foi Alan Turing quem primeiro articulou uma viso completa da IA em seu artigo de 1950 intitulado Computating Machinery and Intelligency. Nesse artigo, ele apresentou o teste de Turing, aprendizagem de mquina, algoritmos genricos e aprendizagem por reforo.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Princeton foi o lar de outra gura inuente na IA, John McCarthy. Aps sua graduao, McCarthy mudou-se para o Dartmouth College, que iria se tornar o local ocial de nascimento desse campo. McCarthy convenceu Minsky, Claude Shannon e Nathaniel Rochester a ajud-lo a reunir pesquisadores dos Estados Unidos interessados em teoria de autmatos, redes neurais e no estudo da inteligncia.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Eles organizaram um seminrio de dois meses em Dartmouth no vero de 1956. Havia 10 participantes ao todo, incluindo Trenchard More de Princeton, Arthur Samuel da IBM, e Ray Solomonoff e Oliver Selfridge do MIT.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Dois pesquisadores da Carnegie Tech, Allen Newell e Herbert Simon, simplesmente roubaram o show. Embora os outros tivessem idias e, em alguns casos, programas para aplicaes especcas como jogos de damas, Newell e Simon j tinham um programa de raciocnio, o Logic Theorist, sobre o qual Simon armou: Criamos um programa de computador capaz de pensar no-numericamente e assim resolver o antigo dilema mente-corpo.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Logo aps o seminrio, o programa foi capaz de demonstrar a maioria dos teoremas do Captulo 2 do livro Principia Mathematica de Russell e Whitehead. Contam que Russell cou encantado quando Simon mostrou a ele que o programa havia criado uma prova de um teorema que era mais curta que a do livro.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Os editores do Journal of Symbolic Logic caram menos impressionados; eles rejeitaram um artigo escrito em parceria por Newell, Simon e pelo Logic Theorist.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
O seminrio de Dartmouth no trouxe nenhuma novidade, mas apresentou uns aos outros todos os personagens importantes da Histria. Nos vinte anos seguintes, o campo seria dominado por essas pessoas e por seus alunos e colegas do MIT, da CMU (Carnegie Mellon University), de Stanford e da IBM.

tera-feira, 15 de fevereiro de 2011

O nascimento da IA (1956)
Talvez o resultado mais duradouro do seminrio tenha sido um acordo para adotar o nome sugerido por McCarthy para o campo: Inteligncia Articial. possvel que racionalidade computacional fosse melhor, mas IA foi o nome que se xou.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Os primeiros anos da IA foram repletos de sucessos - mas de uma forma limitada. Considerando-se os primitivos computadores, as ferramentas de programao da poca e o fato de que apenas alguns anos antes os computadores eram vistos como objetos capazes de efetuar operaes aritmticas e nada mais, causava surpresa o fato de um computador realizar qualquer atividade remotamente inteligente.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Em geral, a classe intelectual preferia acreditar que uma mquina nunca poder realizar X. Os pesquisadores da IA respondiam naturalmente demonstrando um X aps o outro. John McCarthy se referiu a esse perodo como a era do Olhe mame, sem as mos!.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

O sucesso inicial de Newell e Simon prosseguiu com o General Problem Solver ou GPS. Diferente do Logic Theorist, esse programa foi projetado desde o incio para imitar protocolos humanos de resoluo de problemas. Dentro da classe limitada de quebracabeas a qual podia lidar, vericou-se que a ordem em que o programa considerava submetas e aes possveis era semelhante ordem em que os seres humanos abordavam os mesmos problemas.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Na IBM, Nathaniel Rochester e seus colegas produziram alguns dos primeiros programas de IA. Herbert Gelernter (1959) construiu o Geometry Theorem Prover, que podia demonstrar teoremas que seriam considerados bastante complicados por muitos alunos de matemtica. A partir de 1952, Arthur Samuel escreveu uma srie de programas para jogos de damas que eventualmente aprendiam a jogar em um nvel amador elevado.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Ao mesmo tempo, ele contestou a idia de que os computadores s podem realizar as atividades para as quais foram programados: seu programa aprendeu rapidamente a jogar melhor que seu criador. O programa foi demonstrado na televiso em fevereiro de 1956, causando uma impresso muito forte. Como Turing, Samuel teve diculdades para conseguir um horrio em que pudesse utilizar os computadores.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

John McCarthy saiu de Dartmouth para o MIT, e l contribuiu com trs realizaes cruciais em um ano histrico: 1958. No MIT AI Lab Memo n. 1, McCarthy deniu a linguagem de alto nvel Lisp, que acabou por se tornar a linguagem de programao dominante na IA. A linguagem Lisp a segunda mais antiga entre as linguagens de alto nvel importantes em uso atualmente, sendo um ano mais jovem que FORTRAN.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Com Lisp, McCarthy teve a ferramenta que precisava, mas o acesso a recursos de computao escassos e dispendiosos tambm eram um srio problema. Em resposta, ele e outros pesquisadores do MIT criaram o compartilhamento de tempo (time sharing).

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

Minsky orientou vrios alunos que escolheram problemas limitados cuja soluo parecia exigir inteligncia. Esses domnios limitados se tornaram conhecidos como micromundos. O programa SAINT de James Slagle (1963) era capaz de resolver problemas de clculo integral tpicos do primeiro ano dos cursos acadmicos. O programa ANALOGY de Tom Evans (1968) resolvia problemas de analogia geomtrica que aparecem em testes de QI.

tera-feira, 15 de fevereiro de 2011

Entusiasmo inicial, grandes expectativas (1952-1969)

O programa STUDENT de Daniel Bobrow (1967) resolvia problemas clssicos de lgebra, como este: Se o nmero de clientes que Tom consegue igual ao dobro do quadrado de 20% do nmero de anncios que ele publica, e se o nmero de anncios publicados 45, qual o nmero de clientes que Tom consegue?

tera-feira, 15 de fevereiro de 2011