El Proyecto de Investigación de Verano de Dartmouth sobre Inteligencia Artificial (1956)
Un taller de seis a ocho semanas que acuñó el término "inteligencia artificial" y lo estableció como campo de investigación.
El Dartmouth Summer Research Project on Artificial Intelligence es ampliamente considerado el evento fundacional de la IA como disciplina independiente. Se le ha llamado “la Convención Constitucional de la IA”. El taller tuvo lugar durante el verano de 1956 en Dartmouth College, Hanover, New Hampshire, y duró aproximadamente de seis a ocho semanas, desde mediados de junio hasta mediados de agosto.
La propuesta
El 31 de agosto de 1955, cuatro investigadores presentaron una propuesta a la Fundación Rockefeller:
- John McCarthy (Dartmouth College): quien acuñó el término “artificial intelligence” en la propia propuesta,
- Marvin Minsky (Harvard): había construido un simulador de aprendizaje de redes neuronales,
- Nathaniel Rochester (IBM): codiseñador del computador IBM 701,
- Claude Shannon (Bell Labs): fundador de la teoría de la información.
Su primera frase estableció la ambición: “We propose that a 2 month, 10 man study of artificial intelligence be carried out during the summer of 1956 … on the basis of the conjecture that every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.”
El nombre “artificial intelligence” fue elegido deliberadamente. McCarthy explicó más tarde que quería “clavar la bandera en el mástil”, para separar el trabajo de la comunidad más amplia y menos enfocada de los “estudios de autómatas”.
Qué pasó en Dartmouth
El taller no fue una conferencia organizada de forma estricta, sino una sesión extendida de brainstorming donde los investigadores iban y venían. Solo tres personas se quedaron todo el tiempo: Ray Solomonoff, Marvin Minsky y John McCarthy. En un día típico, entre tres y ocho participantes asistían. Entre los asistentes destacados se encontraban Allen Newell, Herbert Simon, Arthur Samuel, Oliver Selfridge y Trenchard More.
El resultado más célebre presentado en el taller fue el Logic Theorist de Allen Newell, Herbert Simon y Cliff Shaw. Construido con el lenguaje de procesamiento de listas IPL, el Logic Theorist podía demostrar teoremas matemáticos de los Principia Mathematica de Whitehead y Russell. Demostró 38 de los primeros 52 teoremas, y para uno de ellos encontró una prueba más elegante que la original. McCarthy reconoció después: “Newell y Simon fueron las estrellas.”
Otras contribuciones:
- Las ideas de Minsky para un demostrador de teoremas de geometría que solo intentaba probar enunciados verdaderos en un diagrama. Herbert Gelernter implementó después un prototipo en IBM.
- El trabajo temprano de Ray Solomonoff sobre complejidad algorítmica, que influiría en la teoría del aprendizaje automático y la inferencia.
- El programa de ajedrez de Alex Bernstein y la propia heurística alfa-beta de McCarthy para la búsqueda en árboles de juego.
- El programa de damas de Arthur Samuel, uno de los primeros ejemplos de aprendizaje automático.
Por qué importa
El taller de Dartmouth no produjo un único artículo revolucionario ni un programa de investigación unificado. Su importancia duradera es simbólica e institucional: reunió a las personas que definirían el campo durante las siguientes décadas, les dio un nombre compartido, inteligencia artificial, y legitimó la inteligencia de las máquinas como un área seria de investigación científica.
Los temas esbozados en la propuesta de 1955, uso del lenguaje, abstracción, resolución de problemas y auto-mejora, siguen siendo centrales en la investigación de IA setenta años después. Desde la IA simbólica y los sistemas expertos hasta los grandes modelos de lenguaje y las redes neuronales actuales, las preguntas formuladas en Dartmouth siguen siendo respondidas.