Tesis doctoral de Diaz Valderrama Ana M.
La tesis presenta una aplicación de las bases de grí¶bner a la construcción de dos sistemas expertos en medicina. comienza el trabajo con una exposición de la teoría de las bases de grí¶bner y de un teorema que relaciona consecuencias en lógica con un problema de pertenencia a un ideal en álgebra. se traducen unas tablas que se refieren a criterios apropiados en el tratamiento de enfermedades del corazón, a polinomios y se aplica el teorema mencionado. con ello se detectan automáticamente inconsistencias, lo cual hasta ahora sólo se podía hacer manualmente. se lleva a cabo un proceso similar en el estudio de esterilización de habitaciones en un hospital.
Datos académicos de la tesis doctoral «Aplicación del algebra computacional a la verificación y extracción de consecuencias en bases de conocimiento«
- Título de la tesis: Aplicación del algebra computacional a la verificación y extracción de consecuencias en bases de conocimiento
- Autor: Diaz Valderrama Ana M.
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/10/2001
Dirección y tribunal
- Director de la tesis
- Luis María Laita De La Rica
- Tribunal
- Presidente del tribunal: Ledesma otamendi Luis de
- Laliena clemente Jesús Antonio (vocal)
- Bujnada jáuregui m. paz (vocal)
- leon atilano Gonzalez sotos (vocal)
