Tesis:
Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento.
- 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
- Departamentos: INTELIGENCIA ARTIFICIAL
- Acceso electrónico:
- Director/a 1º: 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.