Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
- Agustín Valverde Ramos Zuzendaria
- Manuel Ojeda Aciego Zuzendaria
Defentsa unibertsitatea: Universidad de Málaga
Fecha de defensa: 2002(e)ko urtarrila-(a)k 18
- José María Barja Pérez Presidentea
- Gabriel Aguilera Venegas Idazkaria
- José Juan Quesada Molina Kidea
- José Muñoz Pérez Kidea
- Inmaculada Pérez de Guzmán Molina Kidea
Mota: Tesia
Laburpena
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.