Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias

Abstract

se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general de programación lógica extendida, la programación lógica multi-adjunta, que permite trabajar con información incompleta, vaguedad e incertidumbre, Una de las ventajas de la programación lógica multi-adjunta es que permite utilizar conjuntamente: varias implicaciones, varios conjuntores, varias disyunciones y varios agregadores, no exigiendo la conmutatividad o asociatividad de los conectivos utilizados. Una vez introducido el operador de consecuencias, en nuestro marco de trabajo, se demuestran condiciones suficientes y condiciones necesarias para su continuidad, propiedad importaate si se quiere obtener una semántica computacional para los programas lógicos multi-adjuntos. Se presenta una semántica operacional para este marco general de trabajo, demostrándose el teorema de correccion, varios teoremas de cuasi-completitud y un teorema de completitud sobre la semántica de respuestas máximas. Finalmente se presenta una aplicación de toda la herramienta matemática presentada para el problema de la abducción.