Resumen de Fundamentación de un sistema para la resolución automática de problemas

Francisco Saiz López

• Se describe un sistema, progenes, que permite resolver automáticamente un alto porcentaje de problemas y demostraciones habituales en libros de matemáticas, son técnicas que permiten integrar capacidades deductivas y de calculo. La integración de estos aspectos es mas sistemática que en sistemas previos. Como consecuencia de esto, progenes permite el desarrollo de bases de conocimiento ampliables, mientras que otros sistemas, como analítica, solo pueden razonar acerca de formulas matemáticas y otros objetos predefinidos fijos.