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

• Autores: Francisco Saiz López
• Directores de la Tesis: Roberto Moriyón Salomón (dir. tes.)
• Lectura: En la Universidad Autónoma de Madrid ( España ) en 1994
• Idioma: español
• Tribunal Calificador de la Tesis: Mario Rodríguez Artalejo (presid.) , José Ramón Dorronsoro Ibero (secret.) , Luis de Ledesma Otamendi (voc.) , Manuel Alfonseca Moreno (voc.) , Luis Fariñas del Ferro (voc.)
• Enlaces
  • Tesis en acceso abierto en: Biblos-e Archivo
• Resumen

  • 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.