Matemático automatizado - Automated Mathematician

El matemático automatizado (AM) es uno de los primeros sistemas de descubrimiento exitosos . Fue creado por Douglas Lenat en Lisp , y en 1977 hizo que Lenat fuera galardonado con el premio IJCAI Computers and Thought .

AM trabajó generando y modificando programas Lisp cortos que luego se interpretaron como la definición de varios conceptos matemáticos; Por ejemplo, se consideró que un programa que probaba la igualdad entre la longitud de dos listas 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 elaboradas heurísticas para elegir qué programas ampliar y modificar, basándose en las experiencias de los matemáticos que trabajan 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 simple flujo de control: "AM selecciona repetidamente la tarea principal de la agenda e intenta llevarla a cabo. Esto es toda la estructura de control! " Sin embargo, las reglas heurísticas no siempre se representaron como estructuras de datos separadas; algunos tenían que estar entrelazados 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.

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

Otra fuente de información es el usuario, a través de la Regla 2: "Si el usuario se ha referido recientemente a X, aumente la prioridad de cualquier tarea que involucre a X". Por lo tanto, parece muy posible que gran parte del trabajo de descubrimiento real esté enterrado en procedimientos inexplicables.

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 la producción de AM. En su artículo Por qué AM y Eurisko parecen funcionar , Lenat admitió que cualquier sistema que generara suficientes programas Lisp cortos generaría programas que podrían ser interpretados por un observador externo como representando 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 probablemente fueran útiles las cadenas cortas aleatorias.

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 .

Ver también

Referencias

enlaces externos