Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
- Autores: Jesús Medina Moreno
- Directores de la Tesis: Agustín Valverde Ramos (dir. tes.) , Manuel Ojeda Aciego (dir. tes.)
- Lectura: En la Universidad de Málaga ( España ) en 2002
- Idioma: español
- Tribunal Calificador de la Tesis: José María Barja Pérez (presid.) , Gabriel Aguilera Venegas (secret.) , José Juan Quesada Molina (voc.) , José Muñoz Pérez (voc.) , Inmaculada Pérez de Guzmán Molina (voc.)
- Texto completo no disponible (Saber más ...)
- Resumen
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.
