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

  1. Medina Moreno, Jesús
unter der Leitung von:
  1. Agustín Valverde Ramos Doktorvater/Doktormutter
  2. Manuel Ojeda Aciego Doktorvater/Doktormutter

Universität der Verteidigung: Universidad de Málaga

Fecha de defensa: 18 von Januar von 2002

Gericht:
  1. José María Barja Pérez Präsident/in
  2. Gabriel Aguilera Venegas Sekretär/in
  3. José Juan Quesada Molina Vocal
  4. José Muñoz Pérez Vocal
  5. Inmaculada Pérez de Guzmán Molina Vocal

Art: Dissertation

Teseo: 88355 DIALNET

Zusammenfassung

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.