John McCarthy (1927-2011) foi um cientista da computação americano que cunhou o termo "inteligência artificial" em 1955 e organizou o workshop de Dartmouth de 1956, que fundou o campo como disciplina acadêmica. Ele também criou a linguagem de programação LISP, uma das primeiras e mais influentes linguagens para a pesquisa em IA.
Início da carreira e a proposta de Dartmouth
McCarthy estudou matemática na Caltech e em Princeton, onde foi influenciado pelo trabalho de Claude Shannon sobre teoria da informação. Em 1955, enquanto estava no Dartmouth College, ele coescreveu uma proposta de financiamento com Marvin Minsky, Claude Shannon e Nathaniel Rochester para um projeto de pesquisa de verão que explorasse "a conjectura de que todo aspecto do aprendizado ou qualquer outra característica da inteligência pode, em princípio, ser tão precisamente descrito que uma máquina possa ser feita para simulá-lo". A proposta introduziu o termo "inteligência artificial", e o workshop resultante de 1956 é convencionalmente tratado como o evento fundador do campo.
LISP e computação simbólica
Em 1958, McCarthy, então no MIT, projetou o LISP (List Processor), uma linguagem construída em torno de expressões simbólicas e funções recursivas que se tornou a linguagem dominante da pesquisa em IA simbólica por décadas. O LISP introduziu ideias, incluindo coleta de lixo e expressões condicionais, que influenciaram linguagens de programação muito além da IA. McCarthy também foi pioneiro em sistemas de tempo compartilhado e, em um artigo de 1959, propôs o "Advice Taker", um projeto inicial para um programa que pudesse usar raciocínio lógico para resolver problemas, um ancestral de trabalhos posteriores sobre sistemas especialistas e representação do conhecimento.
Stanford e carreira posterior
McCarthy mudou-se para a Universidade de Stanford em 1962, onde fundou o Laboratório de Inteligência Artificial de Stanford e passou a maior parte de sua carreira. Ele permaneceu um defensor das abordagens baseadas em lógica para a IA, argumentando que o raciocínio de senso comum exigia representações formais do conhecimento, uma posição que o colocou em tensão com as abordagens estatísticas e de redes neurais que passaram a dominar o campo décadas depois, incluindo os métodos de aprendizado profundo por trás dos modernos grandes modelos de linguagem. Ele recebeu o Prêmio Turing em 1971 por suas contribuições à IA.
Legado
A proposta de Dartmouth de McCarthy efetivamente nomeou o campo da inteligência artificial, e sua convicção de que a inteligência poderia ser capturada por meio de regras formais e simbólicas moldou as primeiras décadas da pesquisa em IA, uma abordagem posteriormente chamada de "IA à moda antiga" ou IA simbólica. Embora seu paradigma baseado em lógica tenha sido em grande parte substituído pelo aprendizado de máquina orientado por dados, sua ênfase no raciocínio de senso comum e na representação formal do conhecimento continua a informar discussões sobre os limites de sistemas puramente estatísticos e a busca pela inteligência artificial geral.