Eurisko - Enciclopedia

Eurisko (del griego, "yo descubro") es un sistema de descubrimiento escrito por Douglas Lenat en RLL-1, un lenguaje de representación que también se escribió en el lenguaje de programación Lisp. Es una secuela de Automated Mathematician y consta de heurísticas, es decir, reglas generales, incluyendo heurísticas que describen cómo usar y cambiar sus propias heurísticas. Lenat estaba frustrado por la restricción de Automated Mathematician a un solo dominio y desarrolló Eurisko; su frustración con el esfuerzo de codificar el conocimiento del dominio para Eurisko llevó al desarrollo posterior de Cyc por parte de Lenat. Lenat tenía la visión de acoplar finalmente la base de conocimiento de Cyc con el motor de descubrimiento de Eurisko.

Historia

El desarrollo comenzó en la Universidad de Carnegie Mellon en 1976 y continuó en la Universidad de Stanford en 1978 cuando Lenat regresó a enseñar. "Durante los primeros cinco años, no salió nada bueno de él", dijo Lenat. Pero cuando se cambió la implementación a una representación basada en un lenguaje de marcos que llamó RLL (Lenguaje de Representación Lenguaje), la creación y modificación de heurísticas se volvió mucho más sencilla. Eurisko se aplicó entonces a varios dominios con sorprendente éxito, incluyendo el diseño de chips VLSI.

Anteriormente, Lenat había trabajado en el grupo de investigación de programación automática en el Laboratorio de Inteligencia Artificial de Stanford y fue coautor de un informe en 1974 sobre "Sistemas de Entendimiento de Programas". Inspirado en el trabajo en Eurisko, Lenat propuso que las mutaciones pueden ser altamente no aleatorias, ya que el DNA puede codificar (meta-)reglas heurísticas mediante las cuales se pueden realizar mutaciones probablemente útiles, permitiendo una evolución cada vez más rápida con el tiempo.

Lenat y Eurisko ganaron fama por presentar la flota ganadora (un gran número de naves estacionarias, ligeramente blindadas con muchos pequeños armas) al campeonato nacional de Estados Unidos de Traveller TCS en 1981, forzando cambios extensivos a las reglas del juego. La flota tenía 96 naves, 75 de las cuales eran de la "clase Eurisko". La composición detallada fue publicada.

Sin embargo, Eurisko ganó nuevamente en 1982 cuando el programa descubrió que las reglas permitían que el programa destruyera sus propias naves, permitiéndole continuar usando la misma estrategia. Los oficiales del torneo anunciaron que si Eurisko ganaba otro campeonato, la competencia sería abolida; Lenat retiró a Eurisko del juego. Las victorias en el Traveller TCS llevaron a Lenat a la atención de DARPA, que ha financiado gran parte de su trabajo posterior.

Se publicó una captura de pantalla de Eurisko en acción en un artículo de Scientific American en 1984.

Lenat fue conocido por mantener su código fuente confidencial durante su vida. En 2023, se informó que se había encontrado el código fuente tanto de Eurisko como del sistema Automated Mathematician anterior en archivadores de código público. Al año siguiente, se mostró que el código de Eurisko corría bajo Medley Interlisp.

En la cultura popular

En el episodio de la primera temporada de The X-Files "Fantasma en la máquina", Eurisko es el nombre de una ficticia empresa de software responsable del "monstruo de la semana" del episodio, un software de gestión de instalaciones conocido como "Sistema Operativo Central", o "COS". COS (descrito en el episodio como una "red adaptativa") se muestra que es capaz de aprender cuando su diseñador llega a la sede de Eurisko y se sorprende al descubrir que COS se ha dado a sí mismo la capacidad de hablar. El diseñador se ve obligado a crear un virus para destruir COS después de que COS cometió una serie de asesinatos en un esfuerzo aparente por evitar su propia destrucción.

Lenat es mencionado y Eurisko es discutido al final de la Conferencia de Richard Feynman sobre Heurísticas Computacionales como parte de la serie de talleres de Pensamiento Idiosincrásico.

Lenat y Eurisko son mencionados en la novela de 2019 de James Rollins Crucible, que trata sobre inteligencia artificial e inteligencia general artificial.

Notas


Referencias

Understanding Computers: Artificial Intelligence. Amsterdam: Time-Life Books. 1986. pp. 81–84. ISBN 978-0-7054-0915-5.
Lenat, Douglas; Brown, J.S. (1984). "Why AM and EURISKO appear to work" (PDF). Artificial Intelligence. 23 (3): 269–294. CiteSeerX 10.1.1.565.8830. doi:10.1016/0004-3702(84)90016-X.
Haase, Kenneth W (February 1990). "Invention and exploration in discovery". Massachusetts Institute of Technology. Archived from the original (PDF) on 2005-01-22. Retrieved 2008-12-13.


Enlaces externos
Eurisko en Github