El objetivo general de este trabajo, es describir un Sistema Computacional Basado en el conocimiento, para diagnosis automática de Estados Depresivos. Se usan mecanismos inferenciales que se fundamentan en resultados matemáticos teóricos de carácter lógico- algebraico, los cuales convierten el problema de “ser consecuencia tautológica” de la Lógica, en el problema de “ser miembro de un Ideal especifico” del Álgebra. A tal efecto se realiza el calculo de las Bases de Gröbner adecuadas al problema, mediante herramientas del Cálculo simbólico. Con el fin de obtener un sistema robusto y portable, y permitir la utilización del Sistema a no especialistas en Matemáticas y Ciencias de la Computación, posee una interfaz desarrollada en lenguaje Java.
Información recogida de Teseo (Bases de datos de las tesis doctorales leídas en las Universidades Españolas del Ministerio de Educación y Ciencia)