Aplicación del álgebra computacional a la verificación y extracción de consecuencias en bases de conocimiento

• Autores: Ana M. Díaz Valderrama
• Directores de la Tesis: Luis María Laita de la Rica (dir. tes.) , Eugenio Roanes Lozano (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 2001
• Idioma: español
• Tribunal Calificador de la Tesis: Luis de Ledesma Otamendi (presid.) , Víctor Manuel Maojo García (secret.) , María Paz Bujanda Jáuregui (voc.) , Jesús Antonio Laliena Clemente (voc.) , León Atilano González Sotos (voc.)
• Texto completo no disponible (Saber más ...)
• 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.