• Título:  RETÍCULOS MULTI-ADJUNTOS Y TEOREMAS DE CONTINUIDAD PARA EL OPERADOR DE CONSECUENCIAS
• Autor:  MEDINA MORENO, JESÚS
• Universidad:  Universidad de Málaga
• Departamento:  Matemática aplicada
• Fecha de Lectura:  18/01/2002
• Programa de doctorado:  TECNOLOGÍAS DE LA INFORMACIÓN
• Dirección: 
  • VALVERDE RAMOS, AGUSTÍN (DIRECTOR)
  • OJEDA ACIEGO, MANUEL (CODIRECTOR)
• Tribunal: 
  • BARJA PÉREZ JOSE MARÍA (PRESIDENTE)
  • AGUILERA VENEGAS, GABRIEL (SECRETARIO)
  • QUESADA MOLINA JUAN JOSÉ (VOCAL)
  • PEREZ DE GUZMAN MOLINA, INMACULADA (VOCAL)
  • MUÑOZ PÉREZ, JOSÉ (VOCAL)
• Descriptores: 
  • LOGICA
  • LOGICA DEDUCTIVA
  • SISTEMAS FORMALES
  • RETICULOS
  • TEORIA DE MODELOS
  • MATEMATICAS
  • ALGEBRA
  • LOGICA MATEMATICA
• Localización:  BIBLIOTECA GENERAL DE LA UNIVERSIDAD DE MALAGA
• 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.