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 condujo a que Lenat recibiera el premio IJCAI Computers and Thought Award . [3]
AM funcionaba generando y modificando programas Lisp cortos que luego se interpretaban como la definición de varios conceptos matemáticos; [4] por ejemplo, un programa que probaba 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 que representaba el concepto de multiplicación. El sistema tenía heurísticas elaboradas para elegir qué programas extender y modificar, basadas en las experiencias de matemáticos en ejercicio en la resolución de problemas matemáticos.
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 tenían que entrelazarse con la lógica del flujo de control. Algunas reglas tenían condiciones previas que dependían de la historia o, de lo contrario, no podían representarse en el marco de las reglas explícitas. [5]
Más aún, las versiones publicadas de las reglas a menudo incluyen términos vagos que no se definen con más 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 muy posible que gran parte del verdadero trabajo de descubrimiento esté enterrado en procedimientos inexplicables. [7]
Lenat afirmó que el sistema había redescubierto tanto la conjetura de Goldbach como el teorema fundamental de la aritmética . Los críticos posteriores acusaron a Lenat de sobreinterpretar el resultado de AM. En su artículo Why AM and Eurisko seem to work , Lenat admitió que cualquier sistema que generara suficientes programas Lisp cortos generaría otros que podrían ser interpretados por un observador externo como representantes 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 aleatorias cortas probablemente fueran útiles. [8]
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]