Diferentes formas de hipótesis de mundo cerrado en la programación en lógica rebatible

Abstract

Los programas lógicos rebatibles (PLR) permiten utilizar dos tipos de negación: la negación por falla finzta (not), y la negación clásica (-,). De esta forma, es posible trabajar con información incompleta, y potencialmente inconsistente. El objetivo de este trabajo es mostrar como la expresividad de los PLR, al disponer de dos tipos de negación, permite representar la hipótesis de mundo cerrado (dosed world assumption o CWA) directamente como cláusulas de programa. La CWA de lID predicado particular p puede lograrse incluyendo en el PLR la cláusula II-,p(X) ~ not p(X)", esto es, si no puedo probar p, entonces puedo derivar -'p., La posibilidad de incluir la hipótesis de mundo cerrado dentro del mismo lenguaje, permite representar otras formas de CWA como "p(X) ~ not -,p(X)" , "p(X) ~ not p(X)" y H-,p(X) ~ not -,p(X)". Por otro lado, la programaCión en lógica rebatible incorpora las cláusulas rebatibles (CPR), denotadas "l -~ A", que deben leerse como: "razones para creer en A son buenas razones para creer en l". Por lo tanto, los PLR permiten representar nuevas formas de CWA mediante la utilización de una cláusula de programa rebatible: II-,p(X) --< not p(X)", es decir, no poder probar "p(X)" es una buena razón (rebatible) para asumir "-,p(X)". Este nuevo tipo de cláusulas de CWA rebatibles soluciona problemas que puedenpl~ntearse al utilizar sólo cláusulas estrictas (no rebatibles).