Autor: DÍAZ VALDERRAMA, Ana María
Título: Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento.
Fecha: 2001
Materia: Sin materia definida
Escuela: FACULTAD DE INFORMATICA
Departamento: INTELIGENCIA ARTIFICIAL
Director/a(s):
- Director/a: LAITA DE LA RICA, Luis María
Resumen: 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.