Logic Theorist
Era: Nacimiento de la IA · años 1950–años 1970
Allen Newell y Herbert Simon desarrollaron el «Logic Theorist», uno de los primeros programas prácticos de IA. Este programa podía demostrar teoremas de los Principia Mathematica y se cita con frecuencia entre los primeros programas de inteligencia artificial. Newell y Simon recibieron el Premio Turing en 1975.
Allen Newell y Herbert Simon
Fuentes y respaldo
The Logic Theory Machine: A Complex Information Processing System
RAND · Tipo de fuente: institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
Publicado: ·Consultado: