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 Lenat a recibir el premio IJCAI Computers and Thought . [3]
AM trabajó generando y modificando programas Lisp cortos que luego se interpretaron como la definición de varios conceptos matemáticos; [4] 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 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. [5]
Además, las versiones publicadas de las reglas a menudo implican 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). [6]
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. [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 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. [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]
Ver también
- Prueba asistida por computadora
- Demostración automatizada de teoremas
- Matemáticas simbólicas
- Matemáticas experimentales
- Recursos humanos (software) y Graffiti (programa) , sistemas de descubrimiento matemático relacionados
Referencias
- ^ Ritchie, GD; Hanna, FK (agosto de 1984), "AM: Un estudio de caso en la metodología de la IA", Inteligencia artificial , 23 (3): 249-268, doi : 10.1016 / 0004-3702 (84) 90015-8.
- ^ Lenat, DB, (1976), AM: Un enfoque de inteligencia artificial para el descubrimiento en matemáticas como búsqueda heurística, Ph.D. Tesis, AIM-286, STAN-CS-76-570 e Informe del proyecto de programación heurística HPP-76-8, Universidad de Stanford, AI Lab., Stanford, CA. disponible en línea en https://saltworks.stanford.edu/assets/druid:sb448rj9905.pdf [ enlace muerto permanente ] https://web.archive.org/web/20200207090402/https://pdfs.semanticscholar.org/043a /cfaf749c456f76fe010022771ce39979f196.pdf Publicado en Sistemas basados en el conocimiento en inteligencia artificial junto con el Ph.D. de Randall Davis. Tesis, McGraw-Hill, 1982.
- ^ Lenat, Douglas B. (1977), "The Ubiquity of Discovery (Computers and Thought Lecture)", IJCAI (PDF) , págs. 1093–1103, archivado desde el original (PDF) en 2014-08-06.
- ^ Koza, John R. (1992), "9.3 AM y Euroski", Programación genética: sobre la programación de computadoras por medio de la selección natural , MIT Press, págs. 232-236, ISBN 9780262111706.
- ^ Ritchie y Hanna (1984) , págs. 256-257.
- ^ Ritchie y Hanna (1984) , p. 258.
- ^ Ritchie y Hanna (1984) , p. 252.
- ^ Lenat, DB y Brown, JS (agosto de 1984). "Por qué AM y EURISKO parecen funcionar". Inteligencia artificial 23 (3): 269-294.
- ^ Henderson, Harry (2007), "El matemático automatizado", Inteligencia artificial: espejos para la mente , Milestones in Discovery and Invention, Infobase Publishing, págs. 93–94, ISBN 9781604130591.
enlaces externos
- Edmund Furse; ¿Por qué AM se quedó sin vapor?
- El doctorado de Ken Haase. Tesis; Invención y exploración en el descubrimiento , una reconstrucción racional del programa seminal de AM de Doug Lenat y un análisis de la relación entre la invención y la exploración en el descubrimiento.
- Prolog de código abierto reclamó la reimplementación de AM de Lenat disponible en https://github.com/akkartik/am-utexas