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 AUTOMATICAMENTE UN ALTO PORCENTAJE DE PROBLEMAS Y DEMOSTRACIONES HABITUALES EN LIBROS DE MATEMATICAS, SON TECNICAS QUE PERMITEN INTEGRAR CAPACIDADES DEDUCTIVAS Y DE CALCULO. LA INTEGRACION DE ESTOS ASPECTOS ES MAS SISTEMATICA QUE EN SISTEMAS PREVIOS. COMO CONSECUENCIA DE ESTO, PROGENES PERMITE EL DESARROLLO DE BASES DE CONOCIMIENTO AMPLIABLES, MIENTRAS QUE OTROS SISTEMAS, COMO ANALYTICA, SOLO PUEDEN RAZONAR ACERCA DE FORMULAS MATEMATICAS Y OTROS OBJETOS PREDEFINIDOS FIJOS.