Livro : Inteligência Artificial- Stuart Russel e Peter Norvig
O nascimento da IA (1956)
Princeton foi a casa de outra figura influente em IA, John McCarthy. Depois da graduação foi para o Dartmouth College, que se tornou o local oficial de nascimento da área de IA.
Entusiamo anterior, grandes expectativas (1952-1969)
Sucessos anteriores de Newell e Herbert Simon foram seguidos do General Problem Solver ou GPS. Diferente da Lógica Teorista, este programa foi projetado no início para imitar os protocolos humanos de resolução de problemas. Dentro de uma limitada classe de jogos/quebracabeças que ele podia manipular, ele revelou que a ordem em que o programa considerava sub objetivos e possíveis ações era semelhante àquela em que o homem abordava os mesmos problemas. Assim, o programa GPS foi provavelmente o primeiro a incorporar a proposta do “pensar humanamente”. O sucesso do GPS e programas subsequentes como modelos de cognição guiaram Newell e Simon (1976) para formular a famosa hipótese do sistema de símbolos físicos, que afirma que “um sistema de símbolo físico tem os meios necessários e suficientes para ações inteligentes gerais”. O que eles quiseram dizer é que qualquer sistema (homem ou máquina)
exibindo inteligência devem operar pela manipulação de estruturas de dados compostas de
símbolos.
John McCarthy foi de Dartmouth para o MIT e lá fez 3 cruciais contribuições em um ano histórico de 1958: definiu a linguagem de alto nível chamada Lisp, que se tornou a linguagem dominante para programação de IA. Lisp é a segunda mais velha linguagem de alto nível em uso, um ano mais nova que FORTRAN. Com Lisp, McCarthy tinha a ferramenta que precisava, mas acesso escasso e caro a recursos computacionais era um sério problema. Em resposta, ele e outros no MIT invetaram o time sharing. Também em 1958 ele publicou o artigo “Programs with Common Sense” em que ele descreveu o Advice Taker (Tomador de Conselhos), um programa hipotético que pode ser visto como o primeiro sistema de IA completo. Como a Teoria Lógica e o Provador de Teoremas Geométricos, o programa de McCarthy foi projetado para usar conhecimento para encontrar soluções para problemas. Mas diferente de outros, ele incorporou o conhecimento geral do mundo. Por exemplo, ele mostrou como alguns axiomas (DEFINIR AXIOMAS) simples poderiam permitir a programas gerarem um plano para dirigir até o aeroporto. O programa foi
projetado também para que possa aceitar novos axiomas durante o curso normal de operação, permitindo que ele alcance competência em novas áreas sem ser reprogramado. O Advice Taker então incorpora os princípios centrais de representação do conhecimento e raciocínio: que é útil ter uma representação explícita e formal do mundo, e da forma que as ações dos agentes afetam o mundo e ser capaz de manipular essas representações com processo dedutivos.
