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

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.