Tesis doctoral de Pablo Castells Azpilicueta
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.
Datos académicos de la tesis doctoral «Neuristicas y metaconocimiento en resolucion automatica de problemas de matematicas.«
- Título de la tesis: Neuristicas y metaconocimiento en resolucion automatica de problemas de matematicas.
- Autor: Pablo Castells Azpilicueta
- Universidad: Autónoma de Madrid
- Fecha de lectura de la tesis: 01/01/1994
Dirección y tribunal
- Director de la tesis
- Roberto Moriyon Salomon
- Tribunal
- Presidente del tribunal: Antonio Ramón Vaquero Sánchez
- Dominique Pastre (vocal)
- José Cuena Bartolome (vocal)
- Vicente Lopez Martinez (vocal)