Resumen de Sistema basado en conocimiento para la ayuda en el diagnóstico del cansancio en el desempeño del rol del cuidador
María Lourdes Jiménez Rodríguez 
En la realidad económica, política, educativa y en general en cualquier actividad profesional de la actual sociedad del conocimiento en la que vivimos, se presentan situaciones complejas en las que se tiene que tomar una decisión entre varias posibles. Por tanto, disponer de información correcta es básico en la toma de dichas decisiones. En mucnas ocasiones, la información es inherente a la experiencia, sentido común o intuición de los expertos. Es evicente, que la disponibilidad de los expertos más cualificados no es siempre posible, y una manera eficiente de suplirlos ha sido, es y será mediante la construcción de herramientas, Sistemas Expertos, que ayuden eficazmente a los usuarios de dichos sistemas a tomar una adecuada decisión ante un problema real de cualquier ámbito.
El objetivo principal de este trabajo es el diseño e implementación de un Sistema Basado en Conocimiento (SBC) que ayude en el diagnóstico enfermero del "Cansancio en el Desempeño del rol del Cuidador", usando mecanismos de Álgebra Computacional.
Los resultados teóricos en los que se basa el SBC son de índole lógico-algebraico, además dichos resultados relacionan los conceptos básicos de consecuencia tautológica de las lógicas proposicionales multivaluadas, con el problema algebraico de pertenencia de un polinomio a un ideal. A través de esta relación se fundamenta el mecanismo de respuesta obtenido por el SBC implementado.
No sólo se hace uso de esta aproximación matemática para la extracción de conocimiento en el Sistema de Conocimiento BAsado en Reglas construido mediante los adecuados mecanismos de inferencia de deducción automática, sino también, y simultáneamente, para verificar la consistencia lógica en la información que trata el SBC se utilizan las Bases de Gröbner.
En cuanto al método de origen algebraico usado para el control y verificación de la consistencia, es necesario destacar que este método resulta particularmente útil y efectivo en problemas donde la representación del dominio de conocimiento se presenta en forma de tablas o mapas de Karnaugh, que a su vez pueden ser traducidos en Sistemas de Conocimientos Basados en Reglas, conteniendo éstos un número considerable de reglas y variables proposicionales. Las reglas han sido codificadas mediante el sistema CoCoA (Computations in Commutative Algebra), dado que es una herramienta particularmente apropiada del Álgebra Computacional para cálculos en anillosde polinomios definidos sobre cuerpos finitos. La herramienta CoCoA permite, a través de sus diferentes comandos e instrucciones un diseño adecuado y eficaz del SBC.
