Tesis doctoral de Jesús Medina Moreno
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.
Datos académicos de la tesis doctoral «Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias«
- Título de la tesis: Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
- Autor: Jesús Medina Moreno
- Universidad: Málaga
- Fecha de lectura de la tesis: 18/01/2002
Dirección y tribunal
- Director de la tesis
- Agustín Valverde Ramos
- Tribunal
- Presidente del tribunal: Barja pérez José María
- José Muñoz pérez (vocal)
- Quesada molina Juan José (vocal)
- inmaculada Perez de guzman molina (vocal)