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

  1. Medina Moreno, Jesús
Dirigida per:
  1. Agustín Valverde Ramos Director/a
  2. Manuel Ojeda Aciego Director/a

Universitat de defensa: Universidad de Málaga

Fecha de defensa: 18 de de gener de 2002

Tribunal:
  1. José María Barja Pérez President/a
  2. Gabriel Aguilera Venegas Secretari/ària
  3. José Juan Quesada Molina Vocal
  4. José Muñoz Pérez Vocal
  5. Inmaculada Pérez de Guzmán Molina Vocal

Tipus: Tesi

Teseo: 88355 DIALNET

Resum

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.