Cronología de la inteligencia artificial - Timeline of artificial intelligence
Parte de una serie sobre |
Inteligencia artificial |
---|
Esta es una línea de tiempo de la inteligencia artificial , o tal vez incluso la inteligencia sintética .
Antes del siglo XX
Fecha | Desarrollo |
---|---|
Antigüedad | Los mitos griegos de Hefesto y Pigmalión incorporaron la idea de robots inteligentes (como Talos ) y seres artificiales (como Galatea y Pandora ). |
Se creía que las estatuas mecánicas sagradas construidas en Egipto y Grecia eran capaces de tener sabiduría y emoción. Hermes Trismegistus escribiría "tienen sensus y spiritus ... al descubrir la verdadera naturaleza de los dioses, el hombre ha podido reproducirla". La ley mosaica prohíbe el uso de autómatas en la religión. | |
Siglo X a.C. | Yan Shi le presentó al rey Mu de Zhou hombres mecánicos. |
384 a. C. – 322 a. C. | Aristóteles describió el silogismo , un método de pensamiento formal, mecánico y teoría del conocimiento en El Organon . |
Siglo primero | Garza de Alejandría creó hombres mecánicos y otros autómatas . |
260 | Porfirio de Tyros escribió Isagogê que categorizó el conocimiento y la lógica. |
~ 800 | Geber desarrolló la teoría alquímica árabe de Takwin , la creación artificial de vida en el laboratorio, hasta e incluyendo la vida humana . |
1206 | Al-Jazari creó una orquesta programable de seres humanos mecánicos. |
1275 | Ramon Llull , teólogo español , inventa el Ars Magna , una herramienta para combinar conceptos mecánicamente, basado en una herramienta astrológica árabe , el Zairja . El método sería desarrollado por Gottfried Leibniz en el siglo XVII. |
~ 1500 | Paracelso afirmó haber creado un hombre artificial a partir del magnetismo, el esperma y la alquimia. |
~ 1580 | Se dice que el rabino Judah Loew ben Bezalel de Praga inventó el Golem , un hombre de arcilla que cobró vida. |
Principios del siglo XVII | René Descartes propuso que los cuerpos de los animales no son más que máquinas complejas (pero que los fenómenos mentales son de una "sustancia" diferente). |
1620 | Sir Francis Bacon desarrolló la teoría empírica del conocimiento y la lógica inductiva introdujo en su obra The New Organon , un juego de Aristóteles título 's El Organon . |
1623 | Wilhelm Schickard dibujó un reloj calculador en una carta a Kepler . Este será el primero de cinco intentos fallidos de diseñar un reloj calculador de entrada directa en el siglo XVII (incluidos los diseños de Tito Burattini , Samuel Morland y René Grillet ). |
1641 | Thomas Hobbes publicó Leviathan y presentó una teoría combinatoria mecánica de la cognición. Escribió "... porque la razón no es más que un ajuste de cuentas". |
1642 | Blaise Pascal inventó la calculadora mecánica , la primera máquina calculadora digital . |
1672 | Gottfried Leibniz mejoró las máquinas anteriores, lo que hizo que el Stepped Reckoner hiciera multiplicaciones y divisiones . También inventó el sistema numérico binario e imaginó un cálculo universal de razonamiento ( alfabeto del pensamiento humano ) mediante el cual los argumentos podrían decidirse mecánicamente. Leibniz trabajó en la asignación de un número específico a todos y cada uno de los objetos del mundo, como preludio de una solución algebraica a todos los problemas posibles. |
1726 | Jonathan Swift publicó Los viajes de Gulliver , que incluye esta descripción de la máquina, una máquina en la isla de Laputa : "un proyecto para mejorar el conocimiento especulativo mediante operaciones prácticas y mecánicas" mediante el uso de esta "Contrivance", "la persona más ignorante en un razonable A cargo, y con un poco de trabajo corporal, puede escribir libros de filosofía, poesía, política, derecho, matemáticas y teología, con la menor ayuda de un genio o de estudios ". La máquina es una parodia de Ars Magna , una de las inspiraciones del mecanismo de Gottfried Leibniz . |
1750 | Julien Offray de La Mettrie publicó L'Homme Machine , que argumentó que el pensamiento humano es estrictamente mecánico. |
1769 | Wolfgang von Kempelen construye y recorrió con su ajedrez -playing autómata , El turco . Más tarde se demostró que el turco era un engaño , que involucraba a un jugador de ajedrez humano. |
1818 | Mary Shelley publicó la historia de Frankenstein; o el Prometeo moderno , una consideración ficticia de la ética de la creación de seres sensibles . |
1822–1859 | Charles Babbage y Ada Lovelace trabajaron en máquinas calculadoras mecánicas programables . |
1837 | El matemático Bernard Bolzano hizo el primer intento moderno de formalizar la semántica . |
1854 | George Boole se propuso "investigar las leyes fundamentales de aquellas operaciones de la mente mediante las cuales se realiza el razonamiento, para darles expresión en el lenguaje simbólico de un cálculo", inventando el álgebra de Boole . |
1863 | Samuel Butler sugirió que la evolución darwiniana también se aplica a las máquinas, y especula que algún día se volverán conscientes y eventualmente suplantarán a la humanidad. |
siglo 20
1901-1950
Fecha | Desarrollo |
---|---|
1913 | Bertrand Russell y Alfred North Whitehead publicaron Principia Mathematica , que revolucionó la lógica formal . |
1915 | Leonardo Torres y Quevedo construyó un autómata de ajedrez, El Ajedrecista , y publicó especulaciones sobre el pensamiento y los autómatas. |
1923 | Karel Capek juego 's RUR (Robots universal de Rossum) abrió en Londres. Este es el primer uso de la palabra " robot " en inglés. |
Década de 1920 y 1930 | Ludwig Wittgenstein y Rudolf Carnap llevaron la filosofía al análisis lógico del conocimiento . Alonzo Church desarrolló Lambda Calculus para investigar la computabilidad utilizando notación funcional recursiva. |
1931 | Kurt Gödel demostró que los sistemas formales suficientemente poderosos , si son consistentes, permiten la formulación de teoremas verdaderos que no son probables por ninguna máquina de prueba de teoremas que derive todos los teoremas posibles de los axiomas. Para hacer esto, tuvo que construir un lenguaje de programación universal basado en números enteros, razón por la cual a veces se le llama el "padre de la informática teórica ". |
1935 | El primer trabajo sustancial en el campo de la inteligencia artificial fue realizado a mediados del siglo XX por el lógico y pionero informático británico Alan Mathison Turing. |
1940 | Edward Condon muestra Nimatron , una computadora digital que reproducía a Nim a la perfección. |
1941 | Konrad Zuse construyó las primeras computadoras en funcionamiento controladas por programas. |
1943 | Warren Sturgis McCulloch y Walter Pitts publican "Un cálculo lógico de las ideas inmanentes en la actividad nerviosa" (1943), sentando las bases para las redes neuronales artificiales . |
Arturo Rosenblueth , Norbert Wiener y Julian Bigelow acuñan el término " cibernética ". El popular libro de Wiener con ese nombre publicado en 1948. | |
1945 | La teoría de juegos, que resultaría invaluable en el progreso de la IA, fue introducida con el artículo de 1944, Theory of Games and Economic Behavior, del matemático John von Neumann y el economista Oskar Morgenstern . |
Vannevar Bush publicó As We May Think ( The Atlantic Monthly , julio de 1945) una visión profética del futuro en la que las computadoras ayudan a los humanos en muchas actividades. | |
1948 | John von Neumann (citado por ET Jaynes ) en respuesta a un comentario en una conferencia de que era imposible para una máquina (al menos las creadas por humanos) pensar: "Insistes en que hay algo que una máquina no puede hacer. Si me dirá exactamente qué es lo que una máquina no puede hacer, ¡entonces siempre puedo hacer una máquina que haga exactamente eso! ". Von Neumann presumiblemente estaba aludiendo a la tesis de Church-Turing que establece que cualquier procedimiento efectivo puede ser simulado por una computadora (generalizada). |
1950
Fecha | Desarrollo |
---|---|
1950 | Alan Turing propone la prueba de Turing como medida de inteligencia de la máquina. |
Claude Shannon publicó un análisis detallado del juego de ajedrez como búsqueda . | |
Isaac Asimov publicó sus Tres leyes de la robótica . | |
1951 | Los primeros programas de inteligencia artificial en funcionamiento se escribieron en 1951 para ejecutarse en la máquina Ferranti Mark 1 de la Universidad de Manchester : un programa de juego de damas escrito por Christopher Strachey y un programa de juego de ajedrez escrito por Dietrich Prinz . |
1952-1962 | Arthur Samuel ( IBM ) escribió el primer programa de juego, para damas ( borradores ), para lograr la habilidad suficiente para desafiar a un aficionado respetable. Su primer programa de juego de damas fue escrito en 1952, y en 1955 creó una versión en la que aprendió a jugar. |
1956 | La conferencia de verano de IA de Dartmouth College está organizada por John McCarthy , Marvin Minsky , Nathan Rochester de IBM y Claude Shannon . McCarthy acuña el término inteligencia artificial para la conferencia. |
La primera demostración del Teórico de la Lógica (LT) escrita por Allen Newell , JC Shaw y Herbert A. Simon ( Carnegie Institute of Technology , ahora Carnegie Mellon University o CMU). Esto a menudo se llama el primer programa de IA, aunque el programa de damas de Samuel también tiene un fuerte reclamo. | |
1958 | John McCarthy ( Instituto de Tecnología de Massachusetts o MIT) inventó el lenguaje de programación Lisp . |
Herbert Gelernter y Nathan Rochester (IBM) describieron un demostrador de teoremas en geometría que explota un modelo semántico del dominio en forma de diagramas de casos "típicos". | |
Conferencia teddington en la mecanización de los procesos de pensamiento se llevó a cabo en el Reino Unido y entre los trabajos presentados eran de John McCarthy Los programas con sentido común, Oliver Selfridge 's Pandemonium, y Marvin Minsky ' s Algunos métodos de heurística Programación e Inteligencia Artificial. | |
1959 | El solucionador de problemas generales (GPS) fue creado por Newell, Shaw y Simon mientras estaban en CMU. |
John McCarthy y Marvin Minsky fundaron el Laboratorio de IA del MIT . | |
Finales de la década de 1950, principios de la de 1960 | Margaret Masterman y sus colegas de la Universidad de Cambridge diseñan redes semánticas para la traducción automática . |
1960
Fecha | Desarrollo |
---|---|
1960 | Ray Solomonoff sienta las bases de una teoría matemática de la IA, introduciendo métodos bayesianos universales para la inferencia y la predicción inductivas. |
1960 | Simbiosis hombre-computadora por JCR Licklider. |
1961 | James Slagle (disertación de doctorado, MIT) escribió (en Lisp) el primer programa de integración simbólica , SAINT, que resolvió problemas de cálculo en el nivel universitario de primer año. |
En Minds, Machines y Gödel , John Lucas negó la posibilidad de la inteligencia de las máquinas por motivos lógicos o filosóficos . Se refirió al resultado de Kurt Gödel de 1931: los sistemas formales suficientemente poderosos son inconsistentes o permiten formular teoremas verdaderos no probables por cualquier IA que demuestre teoremas derivando todos los teoremas probables de los axiomas. Dado que los humanos son capaces de "ver" la verdad de tales teoremas, las máquinas fueron consideradas inferiores. | |
El robot industrial Unimate de Unimation trabajó en una línea de montaje de automóviles de General Motors . | |
1963 | El programa de Thomas Evans, ANALOGY, escrito como parte de su trabajo de doctorado en el MIT, demostró que las computadoras pueden resolver los mismos problemas de analogía que se dan en las pruebas de CI . |
Edward Feigenbaum y Julian Feldman publicaron Computers and Thought , la primera colección de artículos sobre inteligencia artificial. | |
Leonard Uhr y Charles Vossler publicaron "Un programa de reconocimiento de patrones que genera, evalúa y ajusta a sus propios operadores", que describe uno de los primeros programas de aprendizaje automático que podría adquirir y modificar características de forma adaptativa y, por lo tanto, superar las limitaciones de los perceptrones simples de Rosenblatt . | |
1964 | La disertación de Danny Bobrow en el MIT (informe técnico n. ° 1 del grupo de inteligencia artificial del MIT, Proyecto MAC ), muestra que las computadoras pueden entender el lenguaje natural lo suficientemente bien como para resolver correctamente los problemas verbales de álgebra . |
La disertación del MIT de Bertram Raphael sobre el programa SIR demuestra el poder de una representación lógica del conocimiento para los sistemas de respuesta a preguntas. | |
1965 | Lotfi Zadeh en UC Berkeley publica su primer artículo que presenta la lógica difusa "Conjuntos difusos" (Information and Control 8: 338–353). |
J. Alan Robinson inventó un procedimiento de prueba mecánico , el Método de resolución, que permitió a los programas trabajar de manera eficiente con la lógica formal como lenguaje de representación. | |
Joseph Weizenbaum (MIT) construyó ELIZA , un programa interactivo que lleva a cabo un diálogo en idioma inglés sobre cualquier tema. Era un juguete popular en los centros de IA de ARPANET cuando se programó una versión que "simulaba" el diálogo de un psicoterapeuta . | |
Edward Feigenbaum inició Dendral , un esfuerzo de diez años para desarrollar software para deducir la estructura molecular de compuestos orgánicos utilizando datos de instrumentos científicos. Fue el primer sistema experto . | |
1966 | Ross Quillian (tesis doctoral, Carnegie Inst. Of Technology, ahora CMU) demostró las redes semánticas . |
Taller de inteligencia artificial en Edimburgo: el primero de una influyente serie anual organizada por Donald Michie y otros. | |
El informe negativo sobre la traducción automática mata mucho trabajo en el procesamiento del lenguaje natural (PNL) durante muchos años. | |
El programa Dendral (Edward Feigenbaum, Joshua Lederberg , Bruce Buchanan, Georgia Sutherland en la Universidad de Stanford ) demostró interpretar espectros de masas en compuestos químicos orgánicos. Primer programa exitoso basado en el conocimiento para el razonamiento científico. | |
1968 | Joel Moses (trabajo de doctorado en el MIT) demostró el poder del razonamiento simbólico para los problemas de integración en el programa Macsyma . Primer programa exitoso basado en el conocimiento en matemáticas . |
Richard Greenblatt (programador) en MIT construyó un programa de juego de ajedrez basado en el conocimiento , MacHack , que era lo suficientemente bueno como para lograr una calificación de clase C en torneos. | |
El programa de Wallace y Boulton, Snob (Comp. J. 11 (2) 1968), para clasificación no supervisada (agrupamiento) usa el criterio de Longitud Mínima de Mensaje Bayesiano , una realización matemática de la navaja de Occam . | |
1969 | Instituto de Investigación de Stanford (SRI): Shakey the Robot , demostró combinar la locomoción animal , la percepción y la resolución de problemas . |
Roger Schank (Stanford) definió el modelo de dependencia conceptual para la comprensión del lenguaje natural . Más tarde desarrollado (en disertaciones de doctorado en la Universidad de Yale ) para su uso en la comprensión de historias por Robert Wilensky y Wendy Lehnert, y para su uso en la comprensión de la memoria por Janet Kolodner. | |
Yorick Wilks (Stanford) desarrolló la visión de coherencia semántica del lenguaje llamada Preference Semantics, incorporada en el primer programa de traducción automática impulsada por la semántica, y la base de muchas disertaciones de doctorado desde entonces, como Bran Boguraev y David Carter en Cambridge. | |
Primera Conferencia Conjunta Internacional sobre Inteligencia Artificial ( IJCAI ) celebrada en Stanford. | |
Marvin Minsky y Seymour Papert publican Perceptrons , demostrando límites previamente no reconocidos de esta estructura de dos capas de retroalimentación, y algunos consideran que este libro marca el comienzo del invierno de la IA de la década de 1970, una falta de confianza y financiación para la IA. No obstante, prosiguieron los importantes avances en este campo (véase más adelante). | |
McCarthy y Hayes comenzaron la discusión sobre el problema del marco con su ensayo, "Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial". |
1970
Fecha | Desarrollo |
---|---|
Principios de la década de 1970 | Jane Robinson y Don Walker establecieron un grupo influyente de procesamiento del lenguaje natural en SRI. |
1970 | Seppo Linnainmaa publica el modo inverso de diferenciación automática . Este método se conoció más tarde como retropropagación y se utiliza mucho para entrenar redes neuronales artificiales . |
Jaime Carbonell (Sr.) desarrolló SCHOLAR, un programa interactivo para la instrucción asistida por computadora basado en redes semánticas como representación del conocimiento. | |
Bill Woods describió las redes de transición aumentada (ATN) como una representación de la comprensión del lenguaje natural. | |
El programa de doctorado de Patrick Winston , ARCH, en el MIT aprendió conceptos de ejemplos en el mundo de los bloques para niños. | |
1971 | La tesis de doctorado de Terry Winograd ( MIT ) demostró la capacidad de las computadoras para comprender oraciones en inglés en un mundo restringido de bloques para niños, en un acoplamiento de su programa de comprensión del lenguaje, SHRDLU , con un brazo robótico que ejecutaba instrucciones mecanografiadas en inglés. |
El trabajo sobre el demostrador del teorema de Boyer-Moore comenzó en Edimburgo. | |
1972 | Lenguaje de programación Prolog desarrollado por Alain Colmerauer . |
Earl Sacerdoti desarrolló uno de los primeros programas de planificación jerárquica, ABSTRIPS. | |
1973 | El Grupo de Robótica de Ensamblaje de la Universidad de Edimburgo construye Freddy Robot, capaz de usar la percepción visual para ubicar y ensamblar modelos. (Consulte el Robot de ensamblaje Edinburgh Freddy : un sistema de ensamblaje versátil controlado por computadora). |
El informe Lighthill da un veredicto en gran medida negativo sobre la investigación de la IA en Gran Bretaña y constituye la base de la decisión del gobierno británico de interrumpir el apoyo a la investigación de la IA en todas las universidades menos dos. | |
1974 | La tesis doctoral de Ted Shortliffe sobre el programa MYCIN (Stanford) demostró un enfoque muy práctico basado en reglas para los diagnósticos médicos, incluso en presencia de incertidumbre. Si bien tomó prestado de DENDRAL, sus propias contribuciones influyeron fuertemente en el futuro del desarrollo de sistemas expertos , especialmente los sistemas comerciales. |
1975 | Earl Sacerdoti desarrolló técnicas de planificación de orden parcial en su sistema NOAH, reemplazando el paradigma anterior de búsqueda entre descripciones de espacios de estados. NOAH se aplicó en SRI International para diagnosticar y reparar de forma interactiva sistemas electromecánicos. |
Austin Tate desarrolló el sistema de planificación jerárquica Nonlin capaz de buscar un espacio de planes parciales caracterizados como enfoques alternativos a la estructura de objetivos subyacente del plan. | |
Marvin Minsky publicó su influyente y muy leído artículo sobre Frames como representación del conocimiento, en el que se reúnen muchas ideas sobre esquemas y vínculos semánticos . | |
El programa de aprendizaje Meta-Dendral produjo nuevos resultados en química (algunas reglas de espectrometría de masas ), los primeros descubrimientos científicos realizados por una computadora que se publicaron en una revista arbitrada. | |
Mediados de la década de 1970 | Barbara Grosz (SRI) estableció límites a los enfoques tradicionales de IA para el modelado del discurso. El trabajo posterior de Grosz, Bonnie Webber y Candace Sidner desarrolló la noción de "centrado", que se utiliza para establecer el enfoque del discurso y las referencias anafóricas en el procesamiento del lenguaje natural . |
David Marr y sus colegas del MIT describen el "boceto primario" y su papel en la percepción visual . | |
1976 | Douglas Lenat 's programa de AM (tesis de doctorado de Stanford) demostró el modelo de descubrimiento (búsqueda vagamente guiada por conjeturas interesantes). |
Randall Davis demostró el poder del razonamiento a nivel meta en su tesis doctoral en Stanford. | |
1978 | Tom Mitchell , en Stanford, inventó el concepto de espacios de versión para describir el espacio de búsqueda de un programa de formación de conceptos. |
Herbert A. Simon gana el Premio Nobel de Economía por su teoría de la racionalidad limitada , una de las piedras angulares de la inteligencia artificial conocida como " satisficing ". | |
El programa MOLGEN, escrito en Stanford por Mark Stefik y Peter Friedland, demostró que una representación de programación orientada a objetos del conocimiento se puede utilizar para planificar experimentos de clonación de genes . | |
1979 | La disertación de doctorado de Bill VanMelle en Stanford demostró la generalidad de la representación del conocimiento y el estilo de razonamiento de MYCIN en su programa EMYCIN , el modelo para muchos sistemas de expertos comerciales "shells". |
Jack Myers y Harry Pople de la Universidad de Pittsburgh desarrollaron INTERNIST, un programa de diagnóstico médico basado en el conocimiento basado en el conocimiento clínico del Dr. Myers . | |
Cordell Green , David Barstow, Elaine Kant y otros en Stanford demostraron el sistema CHI para programación automática . | |
El Stanford Cart, construido por Hans Moravec , se convierte en el primer vehículo autónomo controlado por computadora cuando atraviesa con éxito una habitación llena de sillas y circunnavega el Stanford AI Lab . | |
BKG, un programa de backgammon escrito por Hans Berliner en CMU , derrota al actual campeón mundial (en parte por suerte). | |
Drew McDermott y Jon Doyle en MIT , y John McCarthy en Stanford comienzan a publicar trabajos sobre lógicas no monótonas y aspectos formales del mantenimiento de la verdad. | |
Finales de la década de 1970 | El recurso SUMEX-AIM de Stanford, dirigido por Ed Feigenbaum y Joshua Lederberg, demuestra el poder de ARPAnet para la colaboración científica. |
Decenio de 1980
Fecha | Desarrollo |
---|---|
Decenio de 1980 | Máquinas Lisp desarrolladas y comercializadas. Primeros shells de sistemas expertos y aplicaciones comerciales. |
1980 | Primera Conferencia Nacional de la Asociación Americana de Inteligencia Artificial (AAAI) celebrada en Stanford. |
1981 | Danny Hillis diseña la máquina de conexión, que utiliza la computación paralela para brindar nueva potencia a la inteligencia artificial y a la computación en general. (Más tarde funda Thinking Machines Corporation ) |
mil novecientos ochenta y dos | El proyecto de sistemas informáticos de quinta generación (FGCS), una iniciativa del Ministerio de Industria y Comercio Internacional de Japón, que comenzó en 1982, para crear una "computadora de quinta generación" (consulte la historia del hardware informático) que se suponía que realizaba muchos cálculos utilizando un paralelismo masivo . |
1983 | John Laird y Paul Rosenbloom, en colaboración con Allen Newell , completan las disertaciones de CMU sobre Soar (programa). |
James F. Allen inventa el cálculo de intervalos, la primera formalización de eventos temporales ampliamente utilizada. | |
Mediados de los 80 | Las redes neuronales se utilizan ampliamente con el algoritmo de retropropagación , también conocido como el modo inverso de diferenciación automática publicado por Seppo Linnainmaa en 1970 y aplicado a las redes neuronales por Paul Werbos . |
1985 | El programa de dibujo autónomo, AARON , creado por Harold Cohen , se demuestra en la Conferencia Nacional AAAI (basada en más de una década de trabajo y con trabajos posteriores que muestran desarrollos importantes). |
1986 | El equipo de Ernst Dickmanns de la Universidad Bundeswehr de Múnich construye los primeros autos robot, conduciendo hasta 55 mph en calles vacías. |
Barbara Grosz y Candace Sidner crean el primer modelo de computación del discurso , estableciendo el campo de investigación. | |
1987 | Marvin Minsky publicó The Society of Mind , una descripción teórica de la mente como una colección de agentes cooperantes . Había estado dando conferencias sobre la idea durante años antes de que saliera el libro (cf. Doyle 1983). |
Casi al mismo tiempo, Rodney Brooks introdujo la arquitectura de subsunción y la robótica basada en el comportamiento como un modelo modular más minimalista de inteligencia natural; Nouvelle AI . | |
Lanzamiento comercial de la generación 2.0 de Alacrity por Alacritous Inc./Allstar Advice Inc. Toronto, el primer sistema comercial de asesoría estratégica y gerencial. El sistema se basó en un sistema experto de desarrollo propio y encadenado hacia adelante con 3.000 reglas sobre la evolución de los mercados y las estrategias competitivas y fue coautor de Alistair Davidson y Mary Chung, fundadores de la empresa con el motor subyacente desarrollado por Paul Tarvydas. El sistema Alacrity también incluía un pequeño sistema de expertos financieros que interpretaba los estados y modelos financieros. | |
1989 | El desarrollo de la integración a muy gran escala (VLSI) de óxido de metal y semiconductores (MOS) , en forma de tecnología MOS complementaria (CMOS), permitió el desarrollo de la tecnología práctica de redes neuronales artificiales (ANN) en la década de 1980. Una publicación histórica en el campo fue el libro de 1989 Analog VLSI Implementation of Neural Systems por Carver A. Mead y Mohammed Ismail. |
Dean Pomerleau de CMU crea ALVINN (un vehículo terrestre autónomo en una red neuronal). |
Decenio de 1990
Fecha | Desarrollo |
---|---|
Decenio de 1990 | Grandes avances en todas las áreas de la IA, con demostraciones significativas en aprendizaje automático, tutoría inteligente , razonamiento basado en casos, planificación de múltiples agentes, programación , razonamiento incierto, minería de datos , comprensión y traducción del lenguaje natural, visión, realidad virtual , juegos y otros temas. |
Principios de la década de 1990 | TD-Gammon , un programa de backgammon escrito por Gerry Tesauro, demuestra que el refuerzo (aprendizaje) es lo suficientemente poderoso como para crear un programa de juego de nivel de campeonato al competir favorablemente con jugadores de clase mundial. |
1991 | La aplicación de programación DART implementada en la primera Guerra del Golfo devolvió la inversión de 30 años de DARPA en investigación de IA. |
1992 | Carol Stoker y el equipo de robótica de la NASA Ames exploran la vida marina en la Antártida con un robot submarino ROV de telepresencia operado desde el hielo cerca de la Bahía McMurdo, Antártida y de forma remota a través de un enlace satelital desde Moffett Field, California. |
1993 | Ian Horswill extendió la robótica basada en el comportamiento al crear Polly , el primer robot en navegar usando la visión y operar a velocidades similares a las de los animales (1 metro / segundo). |
Rodney Brooks , Lynn Andrea Stein y Cynthia Breazeal comenzaron el proyecto MIT Cog ampliamente publicitado con numerosos colaboradores, en un intento de construir un niño robot humanoide en solo cinco años. | |
La corporación ISX gana el premio "contratista DARPA del año" por la herramienta de análisis dinámico y replanificación (DART), que supuestamente reembolsó toda la inversión del gobierno de los EE. UU. En investigación de IA desde la década de 1950. | |
1994 | Lotfi Zadeh en UC Berkeley crea " computación suave " y construye una red mundial de investigación con una fusión de ciencia neuronal y sistemas de redes neuronales , teoría de conjuntos difusos y sistemas difusos , algoritmos evolutivos, programación genética y teoría del caos y sistemas caóticos ("Fuzzy Logic, Neural Networks, and Soft Computing, "Communications of the ACM, marzo de 1994, Vol. 37 No. 3, páginas 77-84). |
Con pasajeros a bordo, los coches robot gemelos VaMP y VITA-2 de Ernst Dickmanns y Daimler-Benz conducen más de mil kilómetros en una autopista de tres carriles de París con tráfico pesado estándar a velocidades de hasta 130 km / h. Demuestran conducción autónoma en carriles libres, conducción de convoyes y cambios de carril de izquierda a derecha con el paso autónomo de otros coches. | |
El campeón mundial de damas de inglés ( damas ) Tinsley renunció a un partido contra el programa de computadora Chinook . Chinook derrotó al segundo jugador mejor calificado, Lafferty . Chinook ganó el Torneo Nacional de EE. UU. Por el margen más amplio de la historia. | |
Cindy Mason de la NASA organiza el primer taller de AAAI sobre inteligencia artificial y medio ambiente. | |
1995 | Cindy Mason de la NASA organiza el Primer Taller Internacional IJCAI sobre IA y Medio Ambiente. |
"No Hands Across America": un automóvil semiautónomo condujo de costa a costa a través de los Estados Unidos con dirección controlada por computadora durante 2.797 millas (4.501 km) de las 2.849 millas (4.585 km). El acelerador y los frenos fueron controlados por un conductor humano. | |
Uno de los autos robot de Ernst Dickmanns (con acelerador y frenos controlados por robot) condujo más de 1000 millas desde Munich a Copenhague y regresó, en el tráfico, a una velocidad de hasta 120 mph, ejecutando ocasionalmente maniobras para adelantar a otros autos (solo en unos pocos casos críticos). situaciones que asumió un conductor de seguridad). La visión activa se utilizó para lidiar con escenas de la calle que cambiaban rápidamente. | |
1996 | Steve Grand , roboticista e informático, desarrolla y lanza Creatures , una popular simulación de formas de vida artificiales con bioquímica simulada, neurología con algoritmos de aprendizaje y ADN digital heredable. |
1997 | La máquina de ajedrez Deep Blue ( IBM ) derrota al (entonces) campeón mundial de ajedrez , Garry Kasparov . |
Primer partido de fútbol (soccer) oficial de RoboCup con partidos de mesa con 40 equipos de robots que interactúan y más de 5000 espectadores. | |
El programa Computer Othello Logistello derrotó al campeón mundial Takeshi Murakami con una puntuación de 6-0. | |
1998 | Tiger Electronics ' Furby se libera y se convierte en el primer intento exitoso en la producción de un tipo de AI para llegar a un entorno doméstico . |
Tim Berners-Lee publicó su documento de la hoja de ruta de la Web Semántica . | |
Ulises Cortés y Miquel Sànchez-Marrè organizan el primer Workshop de Medio Ambiente e IA en Europa ECAI , "Vinculando Ciencias Ambientales e Inteligencia Arti fi cial". | |
Leslie P. Kaelbling , Michael Littman y Anthony Cassandra presentan POMDP y un método escalable para resolverlos a la comunidad de IA, impulsando el uso generalizado en robótica y planificación y programación automatizadas | |
1999 | Sony presenta un robot doméstico mejorado similar a un Furby, el AIBO se convierte en una de las primeras "mascotas" artificialmente inteligentes que también es autónoma . |
Finales de la década de 1990 | Los rastreadores web y otros programas de extracción de información basados en inteligencia artificial se vuelven esenciales en el uso generalizado de la World Wide Web . |
Demostración de una habitación inteligente y agentes emocionales en el laboratorio de inteligencia artificial del MIT . | |
Inicio del trabajo en la arquitectura Oxygen , que conecta computadoras móviles y estacionarias en una red adaptativa . |
Siglo 21
2000
Fecha | Desarrollo |
---|---|
2000 | Los robopets interactivos (" juguetes inteligentes ") están disponibles comercialmente, haciendo realidad la visión de los fabricantes de juguetes novedosos del siglo XVIII. |
Cynthia Breazeal en el MIT publica su disertación sobre Máquinas sociables, describiendo a Kismet (robot) , con un rostro que expresa emociones . | |
El robot Nomad explora regiones remotas de la Antártida en busca de muestras de meteoritos. | |
2002 | iRobot 's Roomba aspira de forma autónoma el suelo mientras se navega y evitar obstáculos. |
2004 | Recomendación del W3C sobre el lenguaje de ontología web OWL (10 de febrero de 2004). |
DARPA presenta el DARPA Grand Challenge que requiere que los competidores produzcan vehículos autónomos por premios en metálico. | |
Los vehículos de exploración robótica de la NASA Spirit y Opportunity navegan de forma autónoma por la superficie de Marte . | |
2005 | El robot ASIMO de Honda , un robot humanoide artificialmente inteligente, es capaz de caminar tan rápido como un humano, entregando bandejas a los clientes en los restaurantes. |
La tecnología de recomendación basada en el seguimiento de la actividad web o el uso de los medios lleva la IA al marketing. Consulte Sugerencias de TiVo . | |
Nace Blue Brain , un proyecto para simular el cerebro al detalle molecular. | |
2006 | Conferencia sobre inteligencia artificial de Dartmouth: los próximos 50 años (AI @ 50) AI @ 50 (14-16 de julio de 2006) |
2007 | Transacciones filosóficas de la Royal Society, B - Biology , una de las revistas científicas más antiguas del mundo, publica un número especial sobre el uso de la IA para comprender la inteligencia biológica, titulado Modelos de selección de acción natural |
Checkers es resuelto por un equipo de investigadores de la Universidad de Alberta . | |
DARPA lanza el Urban Challenge para que los coches autónomos obedezcan las normas de tráfico y operen en un entorno urbano. | |
2008 | Cynthia Mason en Stanford presenta su idea sobre la inteligencia artificial compasiva, en su artículo sobre "Brindar compasión a los robots" . |
2009 | Google construye un automóvil autónomo. |
2010
Fecha | Desarrollo |
---|---|
2010 | Microsoft lanzó Kinect para Xbox 360, el primer dispositivo de juego que rastrea el movimiento del cuerpo humano , utilizando solo una cámara 3D y detección de infrarrojos, lo que permite a los usuarios jugar su Xbox 360 de forma inalámbrica. El galardonado aprendizaje automático para la tecnología de captura de movimiento humano para este dispositivo fue desarrollado por el grupo Computer Vision en Microsoft Research , Cambridge. |
2011 | Mary Lou Maher y Doug Fisher organizan el primer taller de AAAI sobre inteligencia artificial y sostenibilidad. |
La computadora Watson de IBM derrotó al programa de juegos de televisión Jeopardy! campeones Rutter y Jennings . | |
2011-2014 | Manzana 's Siri (2011), Google ' s Google Now (2012) y Microsoft 's Cortana (2014) son teléfonos inteligentes aplicaciones que utilizan el lenguaje natural para responder preguntas, hacer recomendaciones, y realizar acciones. |
2013 | El robot HRP-2 construido por SCHAFT Inc de Japón , una subsidiaria de Google , derrota a 15 equipos para ganar las pruebas del desafío de robótica de DARPA . HRP-2 obtuvo 27 de 32 puntos en 8 tareas necesarias en respuesta a desastres. Las tareas son conducir un vehículo, caminar sobre escombros, subir una escalera, quitar escombros, atravesar puertas, cortar una pared, cerrar válvulas y conectar una manguera. |
NEIL , The Never Ending Image Learner, se lanza en la Universidad Carnegie Mellon para comparar y analizar constantemente las relaciones entre diferentes imágenes. | |
2015 | Una carta abierta para prohibir el desarrollo y uso de armas autónomas firmada por Hawking , Musk , Wozniak y 3.000 investigadores en inteligencia artificial y robótica. |
Google DeepMind 's AlphaGo (versión: Ventilador) derrotado 3 veces campeona europea Go 2 Dan profesional Fan Hui por 5 juegos a 0. | |
2016 | Google DeepMind 's AlphaGo (versión: Lee) derrotó a Lee Sedol 4-1. Lee Sedol es un campeón de Go coreano profesional de 9 dan que ganó 27 torneos importantes entre 2002 y 2016. |
2017 | Se llevó a cabo la Conferencia Asilomar sobre IA beneficiosa , para discutir la ética de la IA y cómo lograr una IA beneficiosa al tiempo que se evita el riesgo existencial de la inteligencia artificial general . |
Deepstack es el primer algoritmo publicado para vencer a jugadores humanos en juegos de información imperfecta, como se muestra con significación estadística en el póquer mano a mano sin límite . Poco después, el póquer AI Libratus de diferentes grupos de investigación derrotó individualmente a cada uno de sus 4 oponentes humanos, entre los mejores jugadores del mundo, con una tasa de ganancia agregada excepcionalmente alta, sobre una muestra estadísticamente significativa. A diferencia de Chess and Go, el póquer es un juego de información imperfecta . | |
En mayo de 2017, Google DeepMind 's AlphaGo (versión: Maestro) venció a Ke Jie , quien en ese momento llevó a cabo de forma continua el mundo Nº 1 del ranking durante dos años, ganando cada juego en un partido de tres juegos durante el Futuro de Ir Cumbre . | |
Un solucionador de problemas de satisfacibilidad booleano (SAT) de lógica proposicional demuestra una conjetura matemática de larga data sobre los triples pitagóricos sobre el conjunto de números enteros. La prueba inicial, de 200 TB de longitud, fue verificada por dos verificadores de pruebas automáticos certificados independientes. | |
Un OpenAI mecanizado en aprendió bot jugado en The International 2017 Dota 2 torneo en agosto de 2017. Se ganó durante una 1v1 juego profesional manifestación contra Dota 2 jugador dendi . | |
Google DeepMind reveló que AlphaGo Zero, una versión mejorada de AlphaGo, mostró ganancias de rendimiento significativas al usar muchas menos unidades de procesamiento tensorial (en comparación con AlphaGo Lee; usó la misma cantidad de TPU que AlphaGo Master). A diferencia de las versiones anteriores, que aprendieron el juego observando millones de movimientos humanos, AlphaGo Zero aprendió jugando solo contra sí mismo. Luego, el sistema derrotó a AlphaGo Lee 100 juegos a cero y derrotó a AlphaGo Master 89 a 11. Aunque el aprendizaje sin supervisión es un paso adelante, aún queda mucho por aprender sobre la inteligencia general. AlphaZero domina el ajedrez en 4 horas, derrotando al mejor motor de ajedrez, StockFish 8. AlphaZero ganó 28 de 100 juegos, y los 72 juegos restantes terminaron en empate. | |
2018 | La inteligencia artificial de procesamiento del lenguaje de Alibaba supera a los mejores humanos en una prueba de lectura y comprensión de la Universidad de Stanford, con una puntuación de 82,44 contra 82,304 en un conjunto de 100.000 preguntas. |
El Laboratorio Europeo de Aprendizaje y Sistemas Inteligentes ( también conocido como Ellis) propuso como competidor paneuropeo los esfuerzos estadounidenses de inteligencia artificial, con el objetivo de evitar una fuga de talentos de cerebros , en la línea del CERN después de la Segunda Guerra Mundial. | |
Anuncio de Google Duplex , un servicio que permite a un asistente de inteligencia artificial reservar citas por teléfono. El LA Times considera que la voz de la IA es una imitación "casi perfecta" del habla que suena humana. | |
2019 | AlphaStar de DeepMind alcanza el nivel de Gran Maestro en StarCraft II, superando al 99,8 por ciento de los jugadores humanos. |
2020
Fecha | Desarrollo |
---|---|
2020 | 2020 DeepSpeed es la biblioteca de optimización de aprendizaje profundo de Microsoft para PyTorch que ejecuta T-NLG. |
En febrero de 2020, Microsoft presentó su Turing Natural Language Generation (T-NLG), que entonces era el "modelo de lenguaje más grande jamás publicado con 17 mil millones de parámetros". | |
OpenAI 's GPT-3 , un modelo de lenguaje autorregresivo el estado de la técnica que utiliza aprendizaje profundo para producir una variedad de códigos de computadora, poesía y otras tareas del lenguaje excepcionalmente similares, y casi indistinguibles de las escritas por los seres humanos. Su capacidad era diez veces mayor que la del T-NLG. Se introdujo en mayo de 2020 y estaba en prueba beta en junio de 2020. |
Ver también
Notas
Referencias
- Berlinski, David (2000), El advenimiento del algoritmo , Harcourt Books
- Buchanan, Bruce G. (2005), "A (Very) Brief History of Artificial Intelligence" (PDF) , AI Magazine , págs. 53–60, archivado del original (PDF) el 26 de septiembre de 2007 , consultado el 30 de agosto de 2007
- Brooks, Rodney (1990), "Los elefantes no juegan al ajedrez" (PDF) , Robótica y sistemas autónomos , 6 (1–2): 3–15, CiteSeerX 10.1.1.588.7539 , doi : 10.1016 / S0921-8890 ( 05) 80025-9 , consultado el 30 de agosto de 2007
- Crevier, Daniel (1993). AI: La tumultuosa búsqueda de la inteligencia artificial . Nueva York, NY: BasicBooks. ISBN 0-465-02997-3.
- Darrach, Brad (20 de noviembre de 1970), "Meet Shakey, the First Electronic Person", Life Magazine , págs. 58–68
- Doyle, J. (1983), "¿Qué es la psicología racional? Hacia una filosofía mental moderna", Revista AI , vol. 4 no. 3, págs. 50–53
- Dreyfus, Hubert (1972), Lo que las computadoras no pueden hacer , MIT Press
- Feigenbaum, Edward A .; McCorduck, Pamela (1983), La quinta generación: la inteligencia artificial y el desafío informático de Japón al mundo , Michael Joseph, ISBN 978-0-7181-2401-4
- Hobbes (1651), Leviatán
- Hofstadter, Douglas (1980), Gödel, Escher, Bach: una trenza dorada eterna
- Howe, J. (noviembre de 1994), Inteligencia artificial en la Universidad de Edimburgo: una perspectiva , consultado el 30 de agosto de 2007
- Kaplan, Andreas; Haenlein, Michael (2018), "Siri, Siri in my Hand, who's the Fair in the Land? On the Interpretations, Illustrations and Implications of Artificial Intelligence", Business Horizons , 62 : 15-25, doi : 10.1016 / j.bushor .2018.08.004
- Kurzweil, Ray (2005), The Singularity is Near , Viking Press
- Lakoff, George (1987), Mujeres, fuego y cosas peligrosas: qué categorías revelan sobre la mente , University of Chicago Press., ISBN 978-0-226-46804-4
- Lenat, Douglas ; Guha, RV (1989), Construcción de grandes sistemas basados en el conocimiento , Addison-Wesley
- Levitt, Gerald M. (2000), El turco, Autómata del ajedrez , Jefferson, NC: McFarland, ISBN 978-0-7864-0778-1
- Lighthill, profesor Sir James (1973), "Inteligencia artificial: un estudio general", Inteligencia artificial: un simposio en papel , Consejo de Investigación Científica
- Lucas, John (1961), Minds, Machines y Gödel
- McCarthy, John ; Minsky, Marvin ; Rochester, Nathan ; Shannon, Claude (1955), A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence , archivado desde el original el 26 de agosto de 2007
- McCarthy, John ; Hayes, PJ (1969), "Algunos problemas filosóficos desde el punto de vista de la inteligencia artificial" , Machine Intelligence , 4 : 463–502
- McCorduck, Pamela (2004), Máquinas que piensan (2a ed.), Natick, MA: AK Peters, Ltd., ISBN 978-1-56881-205-2.
- McCullough, WS ; Pitts, W. (1943), "Un cálculo lógico de las ideas inmanentes en la actividad nerviosa", Bulletin of Mathematical Biphysics , 5 (4): 115-127, doi : 10.1007 / BF02478259
- Minsky, Marvin (1967), Computación: Máquinas finitas e infinitas , Englewood Cliffs, Nueva Jersey: Prentice-Hall
- Minsky, Marvin ; Seymour Papert (1969), Perceptrons: Una introducción a la geometría computacional , The MIT Press
- Minsky, Marvin (1974), Un marco para representar el conocimiento
- Minsky, Marvin (1986), La sociedad de la mente , Simon y Schuster
- Moravec, Hans (1976), El papel del poder crudo en la inteligencia
- Moravec, Hans (1988), Mind Children , Harvard University Press
- Consejo Nacional de Investigación de los Estados Unidos (1999), "Desarrollos en inteligencia artificial" , Financiamiento de una revolución: apoyo del gobierno a la investigación en computación , National Academy Press , consultado el 30 de agosto de 2007
- Newell, Allen ; Simon, HA (1963), "GPS: un programa que simula el pensamiento humano", en Feigenbaum, EA; Feldman, J. (eds.), Computers and Thought , Nueva York: McGraw-Hill
- Newquist, HP (1994), Los creadores de cerebros: genio, ego y codicia en la búsqueda de máquinas que piensan , Nueva York: Macmillan / SAMS, ISBN 978-0-9885937-1-8
- Pearl, J. (1988), Razonamiento probabilístico en sistemas inteligentes: redes de inferencia plausible , San Mateo, California: Morgan Kaufmann
- Russell, Stuart J .; Norvig, Peter (2003), Inteligencia artificial: un enfoque moderno (2a ed.), Upper Saddle River, Nueva Jersey: Prentice Hall, ISBN 0-13-790395-2
- Poole, David; Mackworth, Alan; Goebel, Randy (1998), Computational Intelligence: A Logical Approach , Oxford University Press., ISBN 978-0-19-510270-3
- Samuel, Arthur L. (julio de 1959), "Algunos estudios sobre aprendizaje automático utilizando el juego de damas" , IBM Journal of Research and Development , 3 (3): 210–219, CiteSeerX 10.1.1.368.2254 , doi : 10.1147 / rd.33.0210 , consultado el 20 de agosto de 2007
- Searle, John (1980), "Mentes, cerebros y programas" (PDF) , Ciencias del comportamiento y el cerebro , 3 (3): 417–457, doi : 10.1017 / S0140525X00005756
- Simon, HA ; Newell, Allen (1958), "Resolución heurística de problemas: el próximo avance en la investigación de operaciones", Investigación de operaciones , 6 (1): 1, doi : 10.1287 / opre.6.1.1
- Simon, HA (1965), The Shape of Automation for Men and Management , Nueva York: Harper & Row
- Turing, Alan (1936-1937), "On Computable Numbers, with an Application to the Entscheidungsproblem" , Proceedings of the London Mathematical Society , 2, s2-42 (42): 230-265, doi : 10.1112 / plms / s2- 42.1.230
- Turing, Alan (octubre de 1950), "Computing machinery and intelligence" , Mind , LIX (236): 433–60, doi : 10.1093 / mind / LIX.236.433 , archivado desde el original el 2 de julio de 2008
- Weizenbaum, Joseph (1976), Poder informático y razón humana , WH Freeman & Company
enlaces externos
- "Breve historia (cronología)" , Temas de IA , Asociación para el Avance de la Inteligencia Artificial
- "Timeline: Building Smarter Machines" , New York Times , 24 de junio de 2010