-
En 1937 Alan Turing publicó un artículo de bastante repercusión sobre los "Números Calculables", un artículo que estableció las bases teóricas para todas las ciencias de computación, y que puede considerarse el origen oficial de la informática teórica. En este artículo introdujo el concepto de Máquina de Turing, una entidad matemática abstracta que formalizó el concepto de algoritmo y resultó ser la precursora de las computadoras digitales. Podía conceptualmente leer instrucciones de una cinta d
-
Warren McCulloch y Walter Pitts, presentaron su modelo de neuronas artificiales, el cual se considera el primer trabajo del campo, aun cuando todavía no existía el término. Los primeros avances importantes comenzaron a principios de los años 1950 con el trabajo de Alan Turing, a partir de lo cual la ciencia ha pasado por diversas situaciones.
-
Herbert Simon, Allen Newell y J.C. Shaw, desarrollan el primer lenguaje de programación orientado a la resolución de problemas.
-
John McCarthy, Marvin Minsky y Claude Shannon, en la Conferencia de Dartmouth fue inventado el término inteligencia artificial, un congreso en el que se hicieron previsiones triunfalistas a diez años que jamás se cumplieron, lo que provocó el abandono casi total de las investigaciones durante quince años
-
Newell y Simon, continúan su trabajo con el desarrollo del General Problem Solver (GPS). GPS era un sistema orientado a la resolución de problemas.
-
John McCarthy, desarrolla en el Instituto de Tecnología de Massachusetts (MIT) el LISP. Su nombre se deriva de LISt Processor. LISP fue el primer lenguaje para procesamiento simbólico.
-
Rosenblatt, introduce el Perceptrón. La neurona artificial o unidad básica de inferencia en forma de discriminador lineal, a partir de lo cual se desarrolla un algoritmo capaz de generar un criterio para seleccionar un sub-grupo a partir de un grupo de componentes más grande.
-
Robert K. Lindsay, desarrolla “Sad Sam”, un programa para la lectura de oraciones en inglés y la inferencia de conclusiones a partir de su interpretación.
-
Los responsables de los primeros esquemas de representación formalizados fueron Quillian (1968) y Shapiro & Woddmansee (1971). Los esquemas de redes semánticas tienen una fundamentación psicológica muy sólida, por lo que se han realizado numerosos esfuerzos por llevar a cabo implementaciones importantes basadas en ellas.
-
Bertrand Raphael, construye el sistema SIR (Semantic Information Retrieval) el cual era capaz de inferir conocimiento basado en información que se le suministra.
-
Buchanan, Feigenbaum y Lederberg, crean los primeros Sistema Experto, por ejemplo "DENDRAL", que asistía a químicos en estructuras químicas complejas euclidianas, MACSYMA, que asistía a ingenieros y científicos en la solución de ecuaciones matemáticas complejas.
-
Terry Winograd, desarrolló el sistema SHRDLU, que permitía interrogar y dar órdenes a un robot que se movía dentro de un mundo de bloques.
-
Alain Colmenauer y su equipo de investigación, en la Universidad de Aix-Marseille crean PROLOG (del francésPROgrammation en LOGique) un lenguaje de programación ampliamente utilizado en IA.
-
Crea la computadora autónoma Deep Blue, esta le gana al campeón mundial de ajedrez Gary Kasparov el año 1997
-
, IBM, Desarrolló una supercomputadora llamada Watson, la cual ganó una ronda de tres juegos seguidos deJeopardy, venciendo a sus dos máximos campeones, y ganando un premio de 1 millón de dólares que IBM luego donó a obras de caridad
