Hispanopedia Wiki
Articulo de referencia

Matemático automatizado

El Matemático Automatizado (AM) es uno de los primeros sistemas de descubrimiento exitosos . [ 1 ] Fue creado por Douglas Lenat en Lisp , [ 2 ] y en 1977 llevó a que Lenat recib...

Hispanopedia WikiContenido en espanolLectura gratuita

El Matemático Automatizado (AM) es uno de los primeros sistemas de descubrimiento exitosos . [ 1 ] Fue creado por Douglas Lenat en Lisp , [ 2 ] y en 1977 llevó a que Lenat recibiera el Premio IJCAI de Computadoras y Pensamiento . [ 3 ]

AM funcionaba generando y modificando programas cortos en Lisp que luego se interpretaban como definiciones de diversos conceptos matemáticos; [ 4 ] por ejemplo, un programa que comprobaba la igualdad entre la longitud de dos listas se consideraba que representaba el concepto de igualdad numérica, mientras que un programa que producía una lista cuya longitud era el producto de las longitudes de otras dos listas se interpretaba como la representación del concepto de multiplicación. El sistema contaba con heurísticas elaboradas para elegir qué programas extender y modificar, basadas en la experiencia de matemáticos profesionales en la resolución de problemas matemáticos.

Controversia

Lenat afirmó que el sistema estaba compuesto por cientos de estructuras de datos llamadas "conceptos", junto con cientos de "reglas heurísticas" y un flujo de control simple: "AM selecciona repetidamente la tarea principal de la agenda e intenta llevarla a cabo. ¡Esta es toda la estructura de control!". Sin embargo, las reglas heurísticas no siempre se representaban como estructuras de datos separadas; algunas debían entrelazarse con la lógica del flujo de control. Algunas reglas tenían precondiciones que dependían del historial o, de otro modo, no podían representarse dentro del marco de las reglas explícitas. [ 5 ]

Es más, las versiones publicadas de las reglas a menudo incluyen términos vagos que no se definen con mayor detalle, como "Si dos expresiones son estructuralmente similares,..." (Regla 218) o "...reemplazar el valor obtenido por algún otro valor (muy similar)..." (Regla 129). [ 6 ]

Otra fuente de información es el usuario, a través de la Regla 2: "Si el usuario ha hecho referencia recientemente a X, entonces aumenta la prioridad de cualquier tarea que involucre a X". Por lo tanto, parece bastante posible que gran parte del trabajo real de descubrimiento esté oculto en procedimientos no explicados. [ 7 ]

Lenat afirmó que el sistema había redescubierto tanto la conjetura de Goldbach como el teorema fundamental de la aritmética . Críticos posteriores acusaron a Lenat de sobreinterpretar la salida de AM. En su artículo « Por qué AM y Eurisko parecen funcionar» , Lenat admitió que cualquier sistema que generara suficientes programas cortos en Lisp generaría otros que un observador externo podría interpretar como representaciones de conceptos matemáticos igualmente sofisticados. Sin embargo, argumentó que esta propiedad era interesante en sí misma , y ​​que una dirección prometedora para futuras investigaciones sería buscar otros lenguajes en los que las cadenas cortas aleatorias fueran probablemente útiles. [ 8 ]

Sucesor

Esta intuición fue la base del sucesor de AM, Eurisko , que intentó generalizar la búsqueda de conceptos matemáticos a la búsqueda de heurísticas útiles . [ 9 ]

Véase también

Referencias

  1. ↑ Ritchie, GD; Hanna, FK (agosto de 1984). "am: Un estudio de caso en metodología de IA". Inteligencia Artificial . 23 (3): 249– 268. doi : 10.1016/0004-3702(84)90015-8 .
  2. ↑ Lenat, Douglas Bruce (1976). Am: Un enfoque de inteligencia artificial para el descubrimiento en matemáticas como búsqueda heurística (Tesis).
  3. ↑ Lenat, Douglas B. (1977), "La ubicuidad del descubrimiento (Conferencia sobre computadoras y pensamiento)", IJCAI (PDF) , págs. 1093–1103 , archivado del original (PDF) el 6 de agosto de 2014. .
  4. ↑ Koza, John R. (1992), "9.3 AM y Euroski", Programación genética: Sobre la programación de computadoras mediante selección natural , MIT Press, pp. 232–236 , ISBN  9780262111706.
  5. ↑ Ritchie y Hanna (1984) , págs. 256–257.
  6. ↑ Ritchie y Hanna (1984) , pág. 258.
  7. ↑ Ritchie y Hanna (1984) , pág. 252.
  8. ↑ Lenat, Douglas B.; Brown, John Seely (agosto de 1984). "Por qué parecen funcionar am y eurisko". Inteligencia Artificial . 23 (3): 269– 294. CiteSeerX 10.1.1.565.8830 . doi : 10.1016/0004-3702(84)90016-X . 
  9. ↑ Henderson, Harry (2007), "El matemático automatizado", Inteligencia artificial: espejos para la mente , Hitos en el descubrimiento y la invención, Infobase Publishing, págs. 93–94 , ISBN  9781604130591.
  • Edmund Furse; ¿Por qué se quedó sin fuelle AM?
  • Tesis doctoral de Ken Haase: Invención y exploración en el descubrimiento , una reconstrucción racional del programa seminal de fabricación aditiva de Doug Lenat y un análisis de la relación entre invención y exploración en el descubrimiento.
  • Prolog de código abierto afirma ser una reimplementación de AM de Lenat disponible en https://github.com/akkartik/am-utexas
  • Código fuente del AM de Douglas Lenat de los archivos de SAIL alrededor de 1977, alojado en GitHub (desde)