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.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
  • Filosofía
    • Filosofía del conocimiento
• 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.