Dossiê · Inteligência artificial
John McCarthy: o cientista que deu nome à inteligência artificial e criou a linguagem Lisp
Num pedido de verba para um encontro de verão em 1956, John McCarthy e três colegas escreveram pela primeira vez a expressão “inteligência artificial”. O encontro, em Dartmouth, deu início à IA como área de pesquisa. McCarthy criou depois a linguagem Lisp, inventou a coleta de lixo e ajudou a popularizar o tempo compartilhado, que antecipou a computação em nuvem.
Atualizado em · 1 fontes públicas citadas
John McCarthy foi um cientista da computação e cientista cognitivo americano, um dos fundadores da inteligência artificial, ao lado de Alan Turing, Marvin Minsky, Allen Newell e Herbert Simon [1].
Ele criou o termo “inteligência artificial”, desenvolveu a linguagem Lisp e popularizou o tempo compartilhado de computadores [1]. Este dossiê reúne apenas informações públicas e com fonte, listadas ao final.
Formação
McCarthy nasceu em Boston em 4 de setembro de 1927. Terminou o colégio, a Belmont High School, dois anos antes do previsto [1]. Aprendeu sozinho matemática de nível universitário com os livros do Caltech, onde foi aceito em 1944 e pulou os dois primeiros anos de matemática [1].
Chegou a ser suspenso do Caltech por faltar às aulas de educação física, serviu no Exército americano e depois foi readmitido. Formou-se em matemática em 1948 [1]. No Caltech, assistiu a uma palestra de John von Neumann que inspirou seus trabalhos futuros [1].
Em 1951, concluiu o doutorado em matemática em Princeton, orientado por Donald C. Spencer [1].
Dartmouth e o nome “inteligência artificial”
Em 1955, McCarthy virou professor assistente no Dartmouth College [1]. Ali, cunhou o termo “inteligência artificial” na proposta de um encontro de pesquisa no verão de 1956, escrita com Marvin Minsky, Nathaniel Rochester e Claude Shannon [1].
Segundo o artigo, a conferência de Dartmouth deu início à IA como área de pesquisa [1]. A própria proposta é datada de 31 de agosto de 1955 [1].
Idade de McCarthy em cada marco
Quantos anos McCarthy tinha em cada etapa da carreira.
Idades aproximadas, calculadas a partir de 4 de setembro de 1927. Fonte: artigo de John McCarthy na Wikipedia.
MIT e a linguagem Lisp
No outono de 1956, McCarthy foi para o MIT como pesquisador. Minsky se juntou a ele em 1959 [1]. Os alunos o chamavam de “Uncle John” [1].
Em 1958, ele propôs o “advice taker”, um programa que raciocinaria a partir de conhecimento geral, ideia que inspirou trabalhos posteriores em sistemas de perguntas e respostas e em programação lógica [1].
No fim dos anos 1950, ao estender funções recursivas para expressões simbólicas, criou a linguagem Lisp. O artigo que a apresentou saiu em abril de 1960 na revista da ACM, e a Lisp virou a linguagem preferida da IA [1]. Por volta de 1959, McCarthy inventou a coleta de lixo, a liberação automática de memória, para resolver problemas da Lisp [1].
Ele também participou da criação do ALGOL. Em agosto de 1959, propôs o uso de recursão e de expressões condicionais, que entraram na linguagem [1].
Tempo compartilhado e computação como serviço
McCarthy foi decisivo na criação de três dos primeiros sistemas de tempo compartilhado, em que vários usuários usam o mesmo computador ao mesmo tempo: o CTSS, o da BBN e o de Dartmouth [1]. Também ajudou a motivar a criação do Project MAC, no MIT [1].
Em 1961, num discurso pelo centenário do MIT, foi talvez o primeiro a sugerir em público a ideia de computação como serviço público, vendida como água ou luz [1]. Sobre a internet e a computação em nuvem, o pesquisador Lester Earnest resumiu: “John started it”, ou seja, “foi John quem começou” [1].
Stanford
Em 1962, McCarthy se tornou professor titular em Stanford, onde ficou até se aposentar, em 2000 [1]. Ali, ajudou a criar o Laboratório de Inteligência Artificial de Stanford, descrito como um rival amigável do Project MAC [1].
Em 1966, sua equipe em Stanford jogou xadrez por computador contra uma equipe soviética e perdeu duas partidas e empatou duas [1]. Entre 1978 e 1986, desenvolveu a circunscrição, um método de raciocínio não monotônico, e trabalhou em lógicas para dar senso comum às máquinas [1].
Orientou 30 doutorados, entre eles os de Barbara Liskov, Hans Moravec, Raj Reddy, Ruzena Bajcsy e R. V. Guha [1].
Ideias e debates
Em 1979, no artigo “Ascribing Mental Qualities to Machines”, McCarthy defendeu que até máquinas simples como termostatos podem ter crenças [1]. Em 1980, o filósofo John Searle respondeu com o argumento do Quarto Chinês [1].
Confiante na IA baseada em lógica, ele debateu com o filósofo Hubert Dreyfus ao longo da carreira [1]. Em 2001, escreveu o conto “The Robot and the Baby”, sobre se robôs deveriam simular emoções [1].
Fora da ciência, declarou-se ateu num discurso na igreja da Universidade Stanford e virou republicano conservador depois de visitar a Tchecoslováquia em 1968, após a invasão soviética [1]. Em 1982, parece ter criado a ideia da “fonte espacial”, uma estrutura para chegar ao espaço [1].
Prêmios e morte
McCarthy recebeu o Prêmio Turing em 1971 por suas contribuições à inteligência artificial [1]. Vieram depois o Prêmio Kyoto, em 1988, a Medalha Nacional de Ciência dos EUA, em 1990, e a Medalha Benjamin Franklin, em 2003 [1].
Em 1999, o Computer History Museum o nomeou Fellow por ter cofundado as áreas de inteligência artificial e de sistemas de tempo compartilhado [1].
Ele morreu em casa, em Stanford, em 24 de outubro de 2011, aos 84 anos [1].
Frases e declarações públicas
“Até máquinas simples como termostatos podem ter crenças.”
Linha do tempo
-
1927
Nasce em Boston.
-
1948
Forma-se em matemática no Caltech.
-
1951
Conclui o doutorado em Princeton.
-
1955
Vai para Dartmouth e escreve a proposta que cria o termo inteligência artificial.
-
1956
Conferência de Dartmouth; vai para o MIT.
-
1958
Propõe o advice taker.
-
1959
Inventa a coleta de lixo; propõe recursão para o ALGOL.
-
1960
Publica o artigo da Lisp.
-
1961
Sugere a computação como serviço público.
-
1962
Vira professor titular em Stanford.
-
1971
Recebe o Prêmio Turing.
-
1979
Publica Ascribing Mental Qualities to Machines.
-
1988
Recebe o Prêmio Kyoto.
-
2000
Aposenta-se de Stanford.
-
2011
Morre em Stanford, aos 84 anos.
Empresas ligadas a John McCarthy
Empresas desta coleção em que a pessoa trabalhou, fundou, investiu ou com que teve relação direta. Os nomes com link já têm dossiê publicado.
Ver a rede de John McCarthy no grafo 3D
Veja também: outras pessoas
- Marvin Minsky Coautor da proposta de Dartmouth e colega no MIT.
- Claude Shannon Coautor da proposta de Dartmouth.
- John von Neumann Sua palestra no Caltech inspirou McCarthy.
- Alan Turing Outro fundador da inteligência artificial.
- Herbert Simon e Allen Newell Também apontados como fundadores da IA.
- Barbara Liskov Fez o doutorado sob orientação dele.
Sumário de siglas usadas
- IA
- Inteligência artificial.
- Lisp
- List Processing, linguagem criada por McCarthy e muito usada em IA.
- CTSS
- Compatible Time-Sharing System, um dos primeiros sistemas de tempo compartilhado, do MIT.
- ACM
- Association for Computing Machinery, que concede o Prêmio Turing.
- Coleta de lixo
- Liberação automática da memória que um programa não usa mais.
Perguntas frequentes
Quem criou o termo inteligência artificial?+
O que foi a conferência de Dartmouth?+
McCarthy criou a linguagem Lisp?+
Que prêmios McCarthy recebeu?+
Quando John McCarthy morreu?+
Referências
Livros
MCCORDUCK, P. Machines Who Think.
A. K. Peters, 2004. História da inteligência artificial, com os fundadores da área (em inglês).
Sites e Artigos
Fontes consultadas
- John McCarthy (computer scientist) · Wikipedia (inglês)
Este dossiê usa apenas informações públicas e com fonte. Não publicamos dados pessoais privados, como endereço, documentos ou informações de saúde. Encontrou um erro? Escreva para [email protected].
Conclusão
McCarthy deu nome à inteligência artificial e criou ferramentas que a área usou por décadas, como a Lisp e a coleta de lixo. Também previu, nos anos 1960, a computação vendida como serviço, uma ideia que hoje é a base da nuvem e dos modelos de IA acessados pela internet.