Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento
- Díaz Valderrama, Ana M.
- Luis María Laita de la Rica Doktorvater/Doktormutter
- Eugenio Roanes Lozano Doktorvater/Doktormutter
Universität der Verteidigung: Universidad Politécnica de Madrid
Fecha de defensa: 01 von Oktober von 2001
- Luis de Ledesma Otamendi Präsident/in
- Víctor Manuel Maojo García Sekretär/in
- María Paz Bujanda Jáuregui Vocal
- Jesús Antonio Laliena Clemente Vocal
- León Atilano González Sotos Vocal
Art: Dissertation
Zusammenfassung
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.