Heurísticas y metaconocimiento en resolución automática de problemas de matemáticas

• Autores: Pablo Castells Azpilicueta
• 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: Antonio Vaquero Sánchez (presid.) , Manuel Alfonseca Moreno (secret.) , José Cuena Bartolomé (voc.) , Dominique Pastre (voc.) , Vicente López Martínez (voc.)
• Enlaces
  • Tesis en acceso abierto en: Biblos-e Archivo
• Resumen

  • La tesis describe diversa tecnicas de resolucion automatica de problemas cientificos de un nivel de primer curso de universidad, los aspectos fundamentales del sistema que se describe son: a) la combinacion de tecnicas deductivas con capacidades procedurales, b) la incorporacion al sistema de conocimiento y metaconocimiento semejantes a los que utiliza un matematico, y c) la utilizacion de un lenguaje formal basado en una jerarquia de tipos de objetos definida en una base de conocimiento. El sistema refleja un modelo cognitivo de un experto, y utiliza metareglas que llevan a cabo diversas neuristicas para el manejo de axiomas logicos de la igualdad, asi como tareas mas especificas, habituales en la practica diaria del experto.