John McCarthy (1927-2011) fue un informático estadounidense que acuñó el término "inteligencia artificial" en 1955 y organizó el taller de Dartmouth de 1956, que fundó el campo como disciplina académica. También creó el lenguaje de programación LISP, uno de los primeros y más influyentes lenguajes para la investigación en IA.
Primeros años y la propuesta de Dartmouth
McCarthy estudió matemáticas en Caltech y Princeton, donde fue influenciado por el trabajo de Claude Shannon sobre teoría de la información. En 1955, mientras estaba en Dartmouth College, coescribió una propuesta de financiación con Marvin Minsky, Claude Shannon y Nathaniel Rochester para un proyecto de investigación de verano que explorara "la conjetura de que cada aspecto del aprendizaje o cualquier otra característica de la inteligencia puede, en principio, describirse con tanta precisión que una máquina pueda simularlo". La propuesta introdujo el término "inteligencia artificial", y el taller resultante de 1956 se trata convencionalmente como el evento fundacional del campo.
LISP y computación simbólica
En 1958, McCarthy, entonces en el MIT, diseñó LISP (Procesador de Listas), un lenguaje construido en torno a expresiones simbólicas y funciones recursivas que se convirtió en el lenguaje dominante de la investigación en IA simbólica durante décadas. LISP introdujo ideas, incluida la recolección de basura y las expresiones condicionales, que influyeron en los lenguajes de programación mucho más allá de la IA. McCarthy también fue pionero en los sistemas de tiempo compartido y, en un artículo de 1959, propuso el "Advice Taker", un diseño temprano para un programa que pudiera usar razonamiento lógico para resolver problemas, un antepasado de trabajos posteriores sobre sistemas expertos y representación del conocimiento.
Stanford y carrera posterior
McCarthy se trasladó a la Universidad de Stanford en 1962, donde fundó el Laboratorio de Inteligencia Artificial de Stanford y pasó la mayor parte de su carrera. Siguió siendo un defensor de los enfoques basados en la lógica para la IA, argumentando que el razonamiento de sentido común requería representaciones formales del conocimiento, una posición que lo puso en tensión con los enfoques estadísticos y de redes neuronales que dominarían el campo décadas después, incluidos los métodos de aprendizaje profundo detrás de los grandes modelos de lenguaje modernos. Recibió el Premio Turing en 1971 por sus contribuciones a la IA.
Legado
La propuesta de Dartmouth de McCarthy nombró efectivamente el campo de la inteligencia artificial, y su convicción de que la inteligencia podía capturarse mediante reglas simbólicas formales dio forma a las primeras décadas de la investigación en IA, un enfoque que luego se denominó "IA a la antigua usanza" o IA simbólica. Aunque su paradigma basado en la lógica fue en gran medida superado por el aprendizaje automático impulsado por datos, su énfasis en el razonamiento de sentido común y la representación formal del conocimiento continúa informando los debates sobre los límites de los sistemas puramente estadísticos y la búsqueda de la inteligencia artificial general.