Tesis doctoral de Francisco Saiz Lopez
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.
Datos académicos de la tesis doctoral «Fundamentacion de un sistema para la resolucion automatica de problemas«
- Título de la tesis: Fundamentacion de un sistema para la resolucion automatica de problemas
- Autor: Francisco Saiz Lopez
- 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: Mario Rodríguez Artalejo
- Manuel Alfonseca Moreno (vocal)
- De Ledesma Otamendi Luis (vocal)
- Fariñas Del Ferro Luis (vocal)