Programación lógica multiadjunta no monótona y ecuaciones bipolares de relaciones difusas: extensiones y relaciones
Esta tesis presenta un novedoso entorno de programación lógica no monótona, adaptando la filosofía del paradigma multiadjunto a la programación lógica normal y definiendo una semántica adecuada basada en modelos estables. Adicionalmente, el autor proporciona diferentes condiciones suficientes para la existencia y la unicidad de modelos estables. Tras incluir una negación fuerte en este nuevo marco de programación lógica, se determina la noción de coherencia más conveniente y se definen diferentes medidas de incoherencia para un programa lógico multiadjunto normal. A continuación, se presenta una versión generalizada de los programas lógicos multiadjuntos normales, denominada programación lógica multiadjunta extendida, en la que se permite el uso de un tipo especial de reglas, llamadas restricciones, y donde el cuerpo de las reglas puede contener múltiples operadores no monótonos. Posteriormente, se estudia la transformación de dichos programas en la estructura sintáctica más simple que preserva su semántica. Además de ello, se muestra que los resultados de existencia y unicidad de modelos estables para programas lógicos multiadjuntos pueden aplicarse en otros entornos de programación lógica distintos. En paralelo al trabajo realizado en programación lógica no monótona, se ha desarrollado un estudio completo sobre la resolubilidad de ecuaciones bipolares multiadjuntas de relaciones difusas definidas en retículos multiadjuntos birresiduados simétricos. Con ello, este apartado de la tesis generaliza los resultados existentes en la literatura sobre ecuaciones bipolares de relaciones difusas. Aún más, se ha analizado la resolución de ecuaciones bipolares de relaciones difusas definidas con el producto y la negación inducida por este en el intervalo unidad. A saber, se trata de una negación no involutiva, dando lugar por tanto al primer estudio de esta índole en la literatura. Para concluir, se describe un procedimiento para resolver un problema de abducción en programación lógica multiadjunta normal mediante el uso de ecuaciones bipolares multiadjuntas de relaciones difusas.
Programación lógica multiadjunta no monótona, Ecuaciones bipolares de relaciones difusas, Razonamiento abductivo con negación, Lógica multivaluada
Networked Digital Library of Theses and Dissertations