Autor: ANTONIO JIMENEZ, Angélica de

Título: Una interpretación algebraica de la verificación de sistemas basados en el conocimiento

Fecha: 1994

Materia: INGENIERÍA DEL CONOCIMIENTO

Escuela: FACULTAD DE INFORMATICA

Departamento: INTELIGENCIA ARTIFICIAL

Acceso electrónico:

Director/a(s):

• Director/a: PEREZ PEREZ, Aurora
• Director/a: LAITA DE LA RICA, Luis María

Resumen: El trabajo presentado se puede considerar un avance en la Validación de Sistemas basados en el conocimiento. Se han reformulado los conceptos propios de la Lógica Algebraica para su aplicación en la representación de Sistemas Basados en el Conocimiento. Se ha construido así un modelo formal que, no sólo permite expresar el conocimiento contenido en la base y su evolución, sino también expresar formalmente las propiedades deseadas y analizar su cumplimiento. Se ha conseguido una interpretación algebraica del concepto de consistencia que ha conducido, a su vez, a la construcción de un método de detección de inconsistencias, al que se ha llamado MADISON, capaz de detectar tanto contradicciones lógicas como las derivadas de incompatibilidades semánticas. El estudio se ha centrado en sistemas con lógica proposicional como lógica subyacente, habiéndose desarrollado también un mecanismo que permite reducir al caso proposicional el problema de la detección de inconsistencias en lógica de primer orden. Se han superado limitaciones impuestas por otros métodos de Verificación, relativas esencialmente al conocimiento disyuntivo y la adición de reglas dinámica