Modelos estables y X-estables para programas lógicos
Dr. José Arrazola Ramírez
|
Texto completo de la Conferencia
Resumen
La génesis de los modelos X-estables puede vislumbrarse en lo hecho por Davis Pearce en 1999. Por otro lado, Osorio Arrazola en 2004, brindan una caracterización para Answer Set, o modelos estables, vía Lógica Intuicionista de la manera siguiente:
"Una literal es derivada por un programa aumentado en la semántica de los modelos estables si y solo si esta pertenece a todas las completaciones intuicionistas consistentes y completas del programa, obtenidas por la adhesión de literales negadas".
En el mismo documento se muestran que en dicho resultado puede ser substituida Lógica Intuicionista por cualquier Lógica Intermedia.
La definición de modelo X-estable es introducida, por los mismos autores, en 2006.
Es importante para nosotros establecer si una familia de Lógicas para consistentes deja invariantes las completaciones débiles de un programa disyuntivo. Así como analizar la relación de estas lógicas con las semánticas P-estable y estable.
