Categorías
tecnologia

Historia resumida de la inteligencia artificial, cronología

Historia resumida de la inteligencia artificial, cronología. De pensamiento capaz, seres artificiales aparecieron como dispositivos de narración en la antigüedad, y han sido comunes en la ficción, como en Mary Shelley ‘s Frankenstein o Karel Capek ‘ s RUR (Robots Universales de Rossum) . Estos personajes y sus destinos plantearon muchos de los mismos problemas que ahora se discuten en la ética de la inteligencia artificial .

El estudio del razonamiento mecánico o «formal» comenzó con filósofos y matemáticos en la antigüedad. El estudio de la lógica matemática condujo directamente a la teoría de la computación de Alan Turing , que sugería que una máquina, al barajar símbolos tan simples como «0» y «1», podría simular cualquier acto concebible de deducción matemática.

Esta idea, que las computadoras digitales pueden simular cualquier proceso de razonamiento formal, se conoce como la tesis de Church-Turing .

Junto con descubrimientos concurrentes en neurobiología , teoría de la información y cibernética, esto llevó a los investigadores a considerar la posibilidad de construir un cerebro electrónico.

Turing propuso que «si un humano no podía distinguir entre las respuestas de una máquina y un humano, la máquina podría considerarse» inteligente». El primer trabajo que ahora generalmente se reconoce como IA fue el diseño formal de McCullouch y Pitts en 1943 para Turing-complete «neuronas artificiales».

El campo de la investigación en inteligencia artificial nació en un taller en el Dartmouth College en 1956. Los asistentes Allen Newell ( CMU ), Herbert Simon ( CMU ), John McCarthy ( MIT ), Marvin Minsky ( MIT ) y Arthur Samuel ( IBM ) se convirtieron Los fundadores y líderes de la investigación en IA.

Ellos y sus estudiantes produjeron programas que la prensa describió como «asombrosos»: las computadoras aprendían estrategias de verificadores (c. 1954) (y para 1959, según los informes, jugaban mejor que el humano promedio), resolviendo problemas verbales en álgebra, demostrando teoremas lógicos (teórico de la lógica, primera edición en 1956) y hablando inglés.

A mediados de la década de 1960, la investigación en los Estados Unidos estaba fuertemente financiada por el Departamento de Defensa y se habían establecido laboratorios en todo el mundo.

Los fundadores de AI eran optimistas sobre el futuro: Herbert Simon predijo que «las máquinas serán capaces, dentro de veinte años, de hacer cualquier trabajo que un hombre pueda hacer». Marvin Minsky estuvo de acuerdo, escribiendo, «dentro de una generación … el problema de crear ‘inteligencia artificial’ se resolverá sustancialmente».

No pudieron reconocer la dificultad de algunas de las tareas restantes. El progreso se desaceleró y en 1974, en respuesta a las críticas de Sir James Lighthill y la continua presión del Congreso de los EE. UU. Para financiar proyectos más productivos, tanto los gobiernos de los EE. UU.

Como los británicos interrumpieron la investigación exploratoria en AI. Los próximos años más tarde se denominarían » invierno de AI «, un período en el que obtener financiamiento para proyectos de AI fue difícil.

A principios de la década de 1980, la investigación en IA fue restablecido por el éxito comercial de los sistemas expertos , una forma de programa de inseminación artificial que simula el conocimiento y la capacidad de análisis de los expertos humanos.

Para 1985, el mercado de la IA había alcanzado más de mil millones de dólares. Al mismo tiempo, el proyecto informático de quinta generación de Japón inspiró a los gobiernos de EE. UU. Y Gran Bretaña a restaurar la financiación para la investigación académica.

Sin embargo, comenzando con el colapso del mercado de la máquina Lisp en 1987, la IA una vez más cayó en descrédito, y comenzó una segunda pausa de mayor duración.

A finales de la década de 1990 y principios del siglo XXI, la IA comenzó a utilizarse para logística, minería de datos , diagnóstico médico y otras áreas. El éxito se debió al aumento del poder computacional (ver la ley de Moore), un mayor énfasis en la resolución de problemas específicos, nuevos vínculos entre la inteligencia artificial y otros campos (como estadística , economía y matemáticas ) y el compromiso de los investigadores con los métodos matemáticos y normas científicas.

Deep Blue se convirtió en el primer sistema de juego de ajedrez por computadora para vencer al campeón mundial de ajedrez, Garry Kasparov, el 11 de mayo de 1997.

En 2011, un peligro! la demostración del concurso partido de exhibición, IBM ‘s sistema de contestador pregunta , Watson , venció a los dos más grandes de Jeopardy! Los campeones, Brad Rutter y Ken Jennings , por un margen significativo.

Las computadoras más rápidas, las mejoras algorítmicas y el acceso a grandes cantidades de datos permitieron avances en el aprendizaje automático y la percepción; ávidos de datos de aprendizaje profundas métodos empezaron a dominar los puntos de referencia de precisión en torno a 2012.

El Kinect, que proporciona una interfaz cuerpo-movimiento en 3D para la Xbox 360 y la Xbox One , utiliza algoritmos que surgieron de una extensa investigación de IA al igual que los asistentes personales inteligentes en los teléfonos inteligentes.

En marzo de 2016, AlphaGo ganó 4 de 5 juegos de Go en un partido con el campeón de Go Lee Sedol , convirtiéndose en el primer sistema de Go-playing por computadora para vencer a un jugador de Go profesional sin desventajas.

En la Cumbre Future of Go 2017 , AlphaGo ganó un partido de tres juegoscon Ke Jie , quien en ese momento mantuvo continuamente el ranking número 1 del mundo durante dos años. Esto marcó la finalización de un hito significativo en el desarrollo de la Inteligencia Artificial como Go es un juego extremadamente complejo, más que el Ajedrez.

Según Jack Clark, de Bloomberg , 2015 fue un año histórico para la inteligencia artificial, ya que la cantidad de proyectos de software que utilizan AI dentro de Google aumentó de un «uso esporádico» en 2012 a más de 2,700 proyectos.

Clark también presenta datos fácticos que indican que las tasas de error en las tareas de procesamiento de imágenes han disminuido significativamente desde 2011. Lo atribuye a un aumento en las redes neuronales asequibles , debido al aumento de la infraestructura de computación en la nube y al aumento de herramientas de investigación y conjuntos de datos.

Otros ejemplos citados incluyen el desarrollo de Microsoft de un sistema de Skype que se puede traducir automáticamente de un idioma a otro y el sistema de Facebook que puede describir imágenes a personas ciegas.

En una encuesta realizada en 2017, una de cada cinco compañías informó que había «incorporado AI en algunas ofertas o procesos». Alrededor de 2016, China aceleró en gran medida su financiamiento gubernamental; Dada su gran cantidad de datos y el rápido aumento de sus resultados de investigación, algunos observadores creen que podría estar en camino de convertirse en un «superpoder de la IA».

Línea de tiempo

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 ).
  • Yan Shi presentó al rey Mu de Zhou con hombres mecánicos.
  • Se creía que las estatuas mecánicas sagradas construidas en Egipto y Grecia eran capaces de sabiduría y emoción.
  • Hermes Trismegisto escribiría «tienen sensus y spiritus … al descubrir la verdadera naturaleza de los dioses, el hombre ha podido reproducirlo». La ley mosaica prohíbe el uso de autómatas en la religión.
  • Aristóteles describió el silogismo , un método de pensamiento formal y mecánico.

Siglos I-XV

  • Herón de Alejandría, se dice que creó hombres mecánicos y autómatas.
  • Pórfido de Tiro, escribió Isagogê que categorizaba el conocimiento y la lógica.
  • Mūsā Jābir ibn Hayyān, desarrolla la teoría alquímica árabe de Takwin , la creación artificial de la vida en el laboratorio, incluida la vida humana.
  • Al-Jazari creó una orquesta programable de seres humanos mecánicos.
  • Ramon Llull , teólogo español inventa el Ars Magna , una herramienta para combinar conceptos mecánicamente, basada en una herramienta astrológica árabe, el Zairja . El método sería desarrollado por Gottfried Leibniz en el siglo XVII.

Siglos XVI-XVII

  • Paracelso afirmó haber creado un hombre artificial a partir del magnetismo, el esperma y la alquimia.
  • Se dice que el rabino Judah Loew ben Bezalel de Praga inventó el Golem , un hombre de barro que cobró vida.
  • 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).
  • Wilhelm Schickard dibujó un reloj de cálculo en una carta a Kepler . Este será el primero de los cinco intentos fallidos de diseñar un reloj de cálculo de entrada directa en el siglo XVII (incluidos los diseños de Tito Burattini , Samuel Morland y René Grillet ).
  • Thomas Hobbes publicó Leviathan y presentó una teoría mecánica y combinatoria de la cognición. Escribió «… por la razón no es más que dar cuentas».
  • Blaise Pascal inventó la calculadora mecánica , la primera máquina de cálculo digital.
  • Gottfried Leibniz mejoró las máquinas anteriores, haciendo que  su artilugio hiciera la multiplicación y la división . 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 podí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 para todos los problemas posibles.

Siglo XVIII

Jonathan Swift publicó los viajes de Gulliver , que incluye esta descripción del Motor , 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 este «Contrivance», «la persona más ignorante a un precio razonable».

Con una fuente de energía, y con un poco de trabajo corporal, puede escribir libros de Filosofía, Poesía, Politicks, Leyes, Matemáticas y Teología, con la menor ayuda del genio o el estudio «. La máquina es una parodia de Ars Magna , una de las inspiraciones del mecanismo de Gottfried Leibniz.
Julien Offray de La Mettrie publicó L’Homme Machine , que argumentaba que el pensamiento humano es estrictamente mecánico.

Wolfgang von Kempelen construye y recorrió con su jugador de ajedrez autómata , El turco, varias ciudades . Más tarde se demostró que el Turco era un engaño , involucrando a un jugador de ajedrez humano.

Siglo XIX

  • Mary Shelley publicó la historia de Frankenstein; o el Moderno Prometeo , una consideración ficticia de la ética de la creación de seres sensibles .
  • Charles Babbage y Ada Lovelace trabajaron en máquinas de cálculo mecánicas programables .
  • El matemático Bernard Bolzano realizó el primer intento moderno de formalizar la semántica .
  • George Boole se propuso «investigar las leyes fundamentales de aquellas operaciones de la mente mediante las cuales se realiza el razonamiento, para expresarlas en el lenguaje simbólico de un cálculo», inventando el álgebra de Boole.
  • 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 XX

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

La obra RUR de Karel Čapek (Robots universales de Rossum) se abrió en Londres. Este es el primer uso de la palabra » robot » en inglés.

1920 y 1930

Ludwig Wittgenstein y Rudolf Carnap llevan la filosofía al análisis lógico del conocimiento. Alonzo Church desarrolla Lambda Calculus para investigar la computabilidad utilizando la 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 pueden ser probados por ninguna máquina probadora 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 enteros, que es la razón por la que a veces se le llama el «padre de la informática teórica «.

1941

Konrad Zuse construyó las primeras computadoras controladas por programa de trabajo.

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 de las redes neuronales artificiales .

1943

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 los juegos, que resultaría inestimable en el progreso de la IA, se introdujo en el artículo de 1944, Teoría de los juegos y comportamiento económico por el matemático John von Neumann y el economista Oskar Morgenstern .

1945

Vannevar Bush publicó Como podemos pensar ( 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, dijo que era imposible para una máquina pensar: «Insistes en que hay algo que una máquina no puede hacer. Si me dices precisamente qué es eso la máquina no puede hacer, entonces siempre puedo hacer una máquina que haga exactamente eso «.

Presumiblemente, Von Neumann estaba aludiendo a la tesis de Church-Turing que afirma que cualquier procedimiento efectivo puede ser simulado por una computadora (generalizada).

1950

Alan Turing propone la prueba de Turing como una medida de la inteligencia de la máquina.

1950

  • Claude Shannon publicó un análisis detallado de los juegos de ajedrez como búsqueda .
  • Isaac Asimov publicó sus Tres Leyes de la Robótica .

1951

Los primeros programas de AI en funcionamiento fueron escritos 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 que aprendió a jugar.

1956

  • La conferencia de verano de AI 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 de The Logic Theorist (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 inteligencia artificial, aunque el programa de damas de Samuel también tiene una gran demanda.

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 probador de teorías 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 General Problem Solver (GPS) fue creado por Newell, Shaw y Simon mientras estaba en CMU.
John McCarthy y Marvin Minsky fundaron el MIT AI Lab .
Finales de los 50, principios de los 60 Margaret Masterman y sus colegas de la Universidad de Cambridge diseñan redes semánticas para la traducción automática .

Años 60

  • Ray Solomonoff sienta las bases de una teoría matemática de la IA, introduciendo métodos bayesianos universales para la inferencia y 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 resolvía problemas de cálculo en el nivel de primer año de la universidad.
  • 1961 En Minds, Machines and Gödel , John Lucas negó la posibilidad de la inteligencia de la máquina por razones lógicas o filosóficas . Se refirió al resultado de Kurt Gödel de 1931: los sistemas formales suficientemente poderosos son inconsistentes o permiten formular verdaderos teoremas que no pueden demostrarse por ninguna IA que demuestre teoremas y derive todos los teoremas comprobables de los axiomas. Dado que los humanos son capaces de «ver» la verdad de tales teoremas, las máquinas se consideraron inferiores.
  • 1961 El robot industrial de Unimation Unimate trabajó en una línea de montaje de automóviles de General Motors .
  • 1963 El programa de Thomas Evans, ANALOGÍA, 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 .
  • 1963 Edward Feigenbaum y Julian Feldman publicaron Computadoras y pensamiento , la primera colección de artículos sobre inteligencia artificial.
  • 1963 Leonard Uhr y Charles Vossler publicaron «Un programa de reconocimiento de patrones que genera, evalúa y ajusta a sus propios operadores», que describió uno de los primeros programas de aprendizaje automático que podrían adquirir y modificar características de manera adaptativa y así superar las limitaciones de las percepciones simples de Rosenblatt.
  • 1964 La disertación de Danny Bobrow en MIT (informe técnico n. ° 1 del grupo AI de MIT, Proyecto MAC ), muestra que las computadoras pueden entender el lenguaje natural lo suficientemente bien como para resolver problemas de palabras de álgebra correctamente.
  • 1964 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 J. Alan Robinson inventó un procedimiento de prueba mecánica , el Método de Resolución, que permitía a los programas trabajar eficientemente con la lógica formal como lenguaje de representación.
  • 1965 Joseph Weizenbaum (MIT) construyó ELIZA , un programa interactivo que lleva a cabo un diálogo en inglés sobre cualquier tema. Fue un juguete popular en los centros de inteligencia artificial de la ARPANET cuando se programó una versión que «simulaba» el diálogo de un psicoterapeuta .
  • 1965 Edward Feigenbaum inició Dendral , un esfuerzo de diez años para desarrollar un software para deducir la estructura molecular de compuestos orgánicos utilizando datos de instrumentos científicos. Fue el primer sistema experto .
  • 1966 Ross Quillian (disertación de doctorado, Carnegie Inst. Of Technology, ahora CMU) demostró redes semánticas .
  • 1966 Machine Intelligence taller en Edimburgo: el primero de una serie anual influyente organizada por Donald Michie y otros.
  • 1966 El informe negativo sobre la traducción automática mata mucho trabajo en el procesamiento del lenguaje natural (PNL) durante muchos años.
  • 1967 El programa Dendral (Edward Feigenbaum, Joshua Lederberg, Bruce Buchanan, Georgia Sutherland en la Universidad de Stanford) demostró interpretar los 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 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 .
  • 1968 Richard Greenblatt (programador) en MIT construyó un programa de juego de ajedrez basado en el conocimiento , MacHack , que fue lo suficientemente bueno como para alcanzar una calificación de clase C en los torneos.
  • 1968 El programa de Wallace y Boulton, Snob (Comp.J. 11 (2) 1968), para la clasificación no supervisada (agrupación) utiliza el criterio de Longitud de Mensaje Mínimo Bayesiano , una realización matemática de la máquina de afeitar de Occam .
  • 1969 Stanford Research Institute (SRI): Shakey the Robot , demostró combinar la locomoción animal , la percepción y la resolución de problemas .
  • 1969 Roger Schank (Stanford) definió el modelo de dependencia conceptual para la comprensión del lenguaje natural . Más tarde se desarrolló (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.
  • 1969 Yorick Wilks (Stanford) desarrolló una visión de coherencia semántica del lenguaje llamada Semántica de la Preferencia, encarnada en el primer programa de traducción automática basado en la semántica, y la base de muchas disertaciones de doctorado desde Bran Boguraev y David Carter en Cambridge.
  • 1969 Primera Conferencia Internacional Conjunta sobre Inteligencia Artificial ( IJCAI) celebrada en Stanford.
  • 1969 Marvin Minsky y Seymour Papert publican Perceptrons , demostrando límites previamente no reconocidos de esta estructura de dos capas, y algunos consideran que este libro marca el comienzo del invierno de la AI de la década de 1970, un fracaso en la confianza y la financiación para AI. Sin embargo, el progreso significativo en el campo continuó.
  • 1969 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».

Años 70

  • 1970 Seppo Linnainmaa publica el modo inverso de diferenciación automática . Este método se conoció más tarde como propagación hacia atrás y se usa mucho para entrenar redes neuronales artificiales.
  • Principios de los 70 Jane Robinson y Don Walker establecieron un grupo influyente de Procesamiento de Lenguaje Natural en SRI.
  • 1970 Jaime Carbonell (Sr.) desarrolló SCHOLAR, un programa interactivo para la enseñanza asistida por computadora basada en redes semánticas como representación del conocimiento.
  • 1970 Bill Woods describió las Redes de Transición Aumentada (ATN) como una representación para la comprensión del lenguaje natural.
  • 1970 El programa de doctorado de Patrick Winston , ARCH, en MIT aprendió conceptos de ejemplos en el mundo de los bloques de niños.
  • 1971 La tesis doctoral de Terry Winograd ( MIT ) demostró la capacidad de las computadoras para comprender las oraciones en inglés en un mundo restringido de bloques de niños, en un acoplamiento de su programa de comprensión del lenguaje, SHRDLU , con un brazo robot que llevó a cabo las instrucciones escritas en inglés.
  • 1971 El trabajo sobre el proverbio de teoremas de Boyer-Moore comenzó en Edimburgo.
  • 1972 Lenguaje de programación prólogo desarrollado por Alain Colmerauer .
  • 1972 Earl Sacerdoti desarrolló uno de los primeros programas de planificación jerárquica, ABSTRIPS.
  • 1973 El Assembly Robotics Group en la Universidad de Edimburgo construye Freddy Robot, capaz de usar la percepción visual para ubicar y ensamblar modelos. (Consulte Edinburgh Freddy Assembly Robot : un versátil sistema de ensamblaje controlado por computadora).
  • 1973 El informe de Lighthill da un veredicto en gran parte 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 suspender el apoyo a la investigación de la IA en todas las universidades excepto en dos.
  • 1974 La tesis de doctorado 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. Aunque 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 espacio de estado. NOAH se aplicó en SRI International para diagnosticar y reparar interactivamente los sistemas electromecánicos.
  • 1975 Austin Tate desarrolló el sistema de planificación jerárquica Nonlin capaz de buscar un espacio de planes parciales caracterizado como enfoques alternativos a la estructura de objetivos subyacentes del plan.
  • 1975 Marvin Minsky publicó su artículo ampliamente leído e influyente sobre Marcos como una representación del conocimiento, en el que se reúnen muchas ideas sobre esquemas y enlaces semánticos .
  • 1975 El programa de aprendizaje Meta-Dendral produjo nuevos resultados en química (algunas reglas de la 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 la IA para modelar el 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 .
  • Mediados de la década de 1970, David Marr y los colegas del MIT describen el «boceto primordial» y su papel en la percepción visual .
  • 1976 Douglas Lenat ‘s programa de AM (Stanford tesis doctoral) demostró el modelo de descubrimiento (búsqueda vagamente guiada por conjeturas interesantes).
  • 1976 Randall Davis demostró el poder del razonamiento de meta-nivel 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.
  • 1978 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 IA conocida como » satisfactoria «.
  • 1978 El programa MOLGEN, escrito en Stanford por Mark Stefik y Peter Friedland, demostró que se puede utilizar una representación del conocimiento orientada a objetos 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 de MYCIN del conocimiento y el estilo de razonamiento en su programa EMYCIN, el modelo para muchos «shells» del sistema comercial experto.
  • 1979 Jack Myers y Harry Pople en 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 .
  • 1979 Cordell Green, David Barstow, Elaine Kant y otros en Stanford demostraron el sistema CHI para la programación automática .
  • 1979 El Stanford Cart, construido por Hans Moravec , se convierte en el primer vehículo autónomo controlado por computadora cuando atraviesa con éxito una sala llena de sillas y circunvala el Laboratorio de IA de Stanford .
  • 1979 BKG, un programa de backgammon escrito por Hans Berliner en CMU , derrota al actual campeón del mundo (en parte a través de la suerte).
  • 1979 Drew McDermott y Jon Doyle en MIT , y John McCarthy en Stanford comienzan a publicar trabajos sobre lógicas no monotónicas y aspectos formales del mantenimiento de la verdad.
  • Finales de los 70, El recurso SUMEX-AIM de Stanford, dirigido por Ed Feigenbaum y Joshua Lederberg, demuestra el poder de ARPAnet para la colaboración científica.

Década de 1980

  • Máquinas Lisp desarrolladas y comercializadas. Primer sistema experto en carcasas 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 aportar nueva potencia a la IA y al cómputo en general. (Más tarde funda Thinking Machines Corporation ).
  • 1982, El proyecto de sistemas de computación de quinta generación (FGCS, por sus siglas en inglés), una iniciativa del Ministerio de Comercio e Industria Internacionales de Japón, comenzó en 1982 para crear una «computadora de quinta generación» (ver historia de hardware de computación) que se suponía que realizaría muchos cálculos utilizando un paralelismo masivo. .
  • 1983 John Laird y Paul Rosenbloom, trabajando con Allen Newell , completan las disertaciones de CMU sobre Soar (programa).
  • 1983 James F. Allen inventa el cálculo de intervalos, la primera formalización ampliamente utilizada de eventos temporales.
  • Mediados de los 80, Las redes neuronales se utilizan ampliamente con el algoritmo Backpropagation , 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 de la AAAI (basada en más de una década de trabajo y en trabajos posteriores que muestran avances importantes).
  • 1986 El equipo de Ernst Dickmanns en la Universidad de Munich de Bundeswehr construye los primeros autos robot, conduciendo hasta 55 mph en calles vacías.
  • 1986 Barbara Grosz y Candace Sidner crean el primer modelo computacional de discurso , estableciendo el campo de investigación.
  • 1987 Marvin Minsky publicó La Sociedad de la Mente , una descripción teórica de la mente como una colección de agentes colaboradores . Había estado dando una conferencia sobre la idea durante años antes de que saliera el libro (cf Doyle 1983).
  • 1987 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 .
  • 1987 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 en cadena, con 3.000 reglas sobre la evolución de los mercados y estrategias competitivas, y fue coautor de Alistair Davidson y Mary Chung, fundadores de la firma con el motor subyacente desarrollado por Paul Tarvydas. El sistema de Alacrity también incluía un pequeño sistema de expertos financieros que interpretaba los estados y modelos financieros.
  • 1989 Dean Pomerleau en CMU crea ALVINN (un vehículo terrestre autónomo en una red neuronal).

Década de 1990

  • Principios de los 90 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.
  • Avances importantes en todas las áreas de la IA, con demostraciones significativas en aprendizaje automático, tutoría inteligente , razonamiento basado en casos, planificación multiagente, programación, razonamiento incierto, extracción de datos , comprensión y traducción del lenguaje natural, visión, realidad virtual , juegos y otros temas.
  • 1991 La aplicación de programación de DART implementada en la primera Guerra del Golfo pagó la inversión de 30 años de DARPA en investigación de IA.
  • 1993 Ian Horswill extendió la robótica basada en el comportamiento al crear a Polly, el primer robot que navega usando la visión y opera a velocidades similares a los animales (1 metro / segundo).
  • 1993 Rodney Brooks, Lynn Andrea Stein y Cynthia Breazeal iniciaron el proyecto MIT Cog ampliamente publicitado con numerosos colaboradores, en un intento de construir un niño robot humanoide en solo cinco años.
  • 1993 La corporación ISX gana el «Contratista DARPA del año» por la Herramienta de Análisis y Replanificación Dinámica (DART) que supuestamente pagó la inversión total del gobierno de los EE. UU. En investigación de inteligencia artificial desde la década de 1950.
  • 1994 Con pasajeros a bordo, los autos robot doble VaMP y VITA-2 de Ernst Dickmanns y Daimler-Benz conducen más de mil kilómetros en una carretera de tres carriles de París en tráfico pesado estándar a velocidades de hasta 130 km / h. Demuestran la conducción autónoma en carriles libres, la conducción de convoyes y los cambios de carril de izquierda a derecha con el paso autónomo de otros autos.
  • 1994 Borradores Inglés ( damas ) campeón del mundo Tinsley renunció un partido contra el programa informático Chinook . Chinook derrotó al segundo mejor jugador clasificado, Lafferty . Chinook ganó el Torneo Nacional de EE. UU. Por el margen más amplio de todos los tiempos.
  • 1995 «No Hands Across America»: un automóvil semi-autónomo condujo de costa a costa a lo largo de los Estados Unidos con una dirección controlada por computadora para 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.
  • 1995 Uno de los autos robot de Ernst Dickmanns (con acelerador y frenos controlados por robot) condujo a más de 1000 millas de Múnich a Copenhague y viceversa, en el tráfico, a una velocidad de 120 km / h, ocasionalmente ejecutando maniobras para pasar a otros autos (solo en algunos críticos situaciones que un conductor de seguridad se hizo cargo). La visión activa se utilizó para hacer frente a los cambios rápidos de las escenas callejeras.
  • 1997 La máquina de ajedrez Deep Blue ( IBM ) derrota al (entonces) campeón mundial de ajedrez , Garry Kasparov .
  • 1997 Primer partido oficial de fútbol de RoboCup (fútbol) con partidos de mesa con 40 equipos de robots interactivos y más de 5000 espectadores.
  • 1997 El programa Computer Othello Logistello derrotó al campeón del mundo 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 .
  • 1998 Tim Berners-Lee publicó su hoja de ruta de la web semántica .
  • 1998 Leslie P. Kaelbling , Michael Littman y Anthony Cassandra presentan el primer método para resolver POMDPs fuera de línea, impulsando el uso generalizado en robótica y la 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 los 90 Los rastreadores web y otros programas de extracción de información basados ​​en AI se vuelven esenciales en el uso generalizado de la World Wide Web .Demostración de una sala inteligente y agentes emocionales en el laboratorio de inteligencia artificial de MIT .Inicio del trabajo en la arquitectura Oxygen , que conecta computadoras móviles y estacionarias en una red adaptativa.

Siglo XXI

  • 2000 Robopets interactivos (» juguetes inteligentes «) están disponibles comercialmente, realizando la visión de los novedosos fabricantes de juguetes del siglo XVIII.
  • 2000 Cynthia Breazeal en MIT publica su disertación sobre máquinas sociables, describiendo Kismet (robot) , con una cara que expresa emociones .
  • 2000 El robot Nomad explora regiones remotas de la Antártida en busca de muestras de meteoritos.
  • 2002 El Roomba de iRobot aspira el piso de forma autónoma mientras navega y evita los obstáculos.
  • 2004 OWL Web Ontology Language W3C Recomendación (10 de febrero de 2004).
  • 2004 DARPA presenta el Gran Desafío DARPA que requiere que los competidores produzcan vehículos autónomos para obtener premios en efectivo.
  • 2004 Los robots de exploración robótica de la NASA , Spirit y Opportunity, navegan de manera autónoma en 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 entornos de restaurantes.
  • 2005 La tecnología de recomendación basada en el seguimiento de la actividad web o el uso de los medios lleva la inteligencia artificial al marketing. Ver sugerencias de TiVo .
  • 2005 Nace Blue Brain, un proyecto para simular el cerebro en detalle molecular.
  • 2006 La Conferencia de 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 – Biología , una de las revistas científicas más antiguas del mundo, publica un número especial sobre el uso de la inteligencia artificial para comprender la inteligencia biológica, titulada Modelos de selección de acción natural.
  • 2007 Checkers es resuelto por un equipo de investigadores de la Universidad de Alberta .
  • 2007 DARPA lanza el Desafío Urbano para autos autónomos para obedecer las reglas de tráfico y operar en un entorno urbano.
  • 2009 Google construye autos autónomos.
  • 2010 Microsoft lanzó Kinect para Xbox 360, el primer dispositivo de juego para rastrear el movimiento del cuerpo humano , usando solo una cámara 3D y detección de infrarrojos, permitiendo 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 La computadora de IBM Watson venció en el programa de televisión Jeopardy! a los Campeones Rutter y Jennings .
  • 2011–2014 Apple ‘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 de 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, remover escombros, caminar a través de puertas, cortar a través de una pared, cerrar válvulas y conectar una manguera.
  • 2013 NEIL , el aprendiz de la imagen sin fin, 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 el uso de armas autónomas firmadas por Hawking , Musk , Wozniak y 3.000 investigadores en inteligencia artificial y robótica.
  • 2015 Google DeepMind ‘s AlphaGo (versión: Ventilador) derrotado 3 veces campeona de Europa Go 2 Dan profesional Fan Hui por 5 juegos a 0.
  • 2016 Google DeepMind ‘s AlphaGo (versión: Lee) derrotado Lee Sedol 4-1. Lee Sedol es un campeón profesional de 9 Dan de Korean Go que ganó 27 torneos principales desde 2002 hasta 2016. Antes del partido con AlphaGo, Lee Sedol confiaba en predecir una fácil victoria 5–0 o 4–1.
  • 2017 Se celebró la Conferencia de Asilomar sobre IA benéfica , para discutir la ética de la IA y cómo lograr la IA beneficiosa, evitando al mismo tiempo el riesgo existencial de la inteligencia general artificial.
  • 2017 Poker AI Libratus derrotó individualmente a cada uno de sus 4 oponentes humanos, entre los mejores jugadores del mundo, a una tasa de ganancias agregada excepcionalmente alta, sobre una muestra estadísticamente significativa. En contraste con Chess and Go, el póquer es un juego de información imperfecto .
  • 2017 Google DeepMind ‘s AlphaGo (versión: Maestro) ganó 60-0 en dos rondas públicas Go sitios web, incluyendo 3 victorias contra el mundo Ir campeón Ke Jie .
  • 2017 Un solucionador lógico proposicional de problemas de satisfacibilidad booleana (SAT) demuestra una conjetura matemática de larga data sobre los tripletes de Pitágoras sobre el conjunto de enteros. La prueba inicial, 200TB de largo, fue verificada por dos verificadores de pruebas automáticos certificados independientes.
  • 2017 Un OpenAI mecanizado en aprendió bot jugó en el Internacional 2017 Dota 2 torneo en agosto de 2017. Se ganó durante una 1v1 juego profesional manifestación contra Dota 2 jugador dendi .
  • 2017 Google DeepMind reveló que AlphaGo Zero, una versión mejorada de AlphaGo, mostró ganancias significativas en el rendimiento al usar muchas menos unidades de procesamiento de tensor (en comparación con AlphaGo Lee; usaba la misma cantidad de TPU que AlphaGo Master). A diferencia de las versiones anteriores, que aprendieron el juego al observar millones de movimientos humanos, AlphaGo Zero aprendió jugando solo contra sí mismo. El sistema luego derrotó a cero los juegos AlphaGo Lee 100, y venció a AlphaGo Master 89 a 11. Aunque el aprendizaje no supervisado es un paso adelante, aún queda mucho por aprender acerca de la inteligencia general. AlphaZero domina el ajedrez en 4 horas, derrotando al mejor motor de ajedrez, StockFish 8. AlphaZero ganó 28 de cada 100 juegos, y los 72 juegos restantes terminaron en un empate.
  • 2018 El AI de procesamiento de lenguaje de Alibaba supera a los mejores humanos en una prueba de comprensión y lectura de la Universidad de Stanford, y obtuvo un puntaje de 82.44 contra 82.304 en un conjunto de 100,000 preguntas.
  • 2018 El Laboratorio Europeo para el Aprendizaje y los Sistemas Inteligentes ( también conocido como Ellis) propuso como un competidor paneuropeo a los esfuerzos estadounidenses de inteligencia artificial, con el objetivo de evitar la fuga de talentos, en la línea del CERN después de la Segunda Guerra Mundial.
  • 2018 Anuncio de Google Duplex , un servicio que permite a un asistente de AI reservar citas por teléfono. El LA Times considera que la voz de la IA es una imitación «casi perfecta» de un discurso que suena humano.

Language: Español