Supuesto de mundo abierto

En un sistema formal de lógica utilizado para la representación del conocimiento , el supuesto de mundo abierto es el supuesto de que el valor de verdad de un enunciado puede ser verdadero independientemente de si se sabe que es cierto o no . Es lo opuesto al supuesto del mundo cerrado , que sostiene que cualquier enunciado que sea verdadero también se sabe que lo es.

El supuesto de mundo abierto (OWA) codifica la noción informal de que, en general, ningún agente u observador tiene un conocimiento completo y, por lo tanto, no puede hacer el supuesto de mundo cerrado. La OWA limita los tipos de inferencias y deducciones que un agente puede hacer a las que se derivan de declaraciones que el agente sabe que son verdaderas. Por el contrario, el supuesto del mundo cerrado permite a un agente inferir, a partir de su falta de conocimiento de que un enunciado es verdadero, cualquier cosa que se siga de que ese enunciado sea falso.

Heurísticamente, el supuesto de mundo abierto se aplica cuando representamos el conocimiento dentro de un sistema a medida que lo descubrimos, y cuando no podemos garantizar que hemos descubierto o descubriremos información completa. En la OWA, las declaraciones sobre el conocimiento que no se incluyen o no se infieren del conocimiento registrado explícitamente en el sistema pueden considerarse desconocidas, en lugar de incorrectas o falsas.

Los lenguajes de la Web semántica como OWL suponen un mundo abierto. La ausencia de una declaración en particular dentro de la web significa, en principio, que la declaración aún no se ha hecho explícitamente, independientemente de si sería verdadera o no, e independientemente de si creemos que sería cierta o no. En esencia, a partir de la ausencia de un enunciado solo, un razonador deductivo no puede (y no debe) inferir que el enunciado es falso.

Muchos lenguajes de programación de procedimientos y bases de datos hacen la suposición de mundo cerrado. Por ejemplo, si la base de datos de una aerolínea típica no contiene una asignación de asiento para un viajero, se supone que el viajero no se ha registrado. La suposición de mundo cerrado se aplica típicamente cuando un sistema tiene control total sobre la información; Este es el caso de muchas aplicaciones de bases de datos donde la transacción de la base de datosEl sistema actúa como intermediario central y árbitro de solicitudes simultáneas de múltiples clientes independientes (por ejemplo, agentes de reservas de aerolíneas). Sin embargo, existen muchas bases de datos con información incompleta: por ejemplo, no se puede suponer que debido a que no se menciona el historial de un paciente de una alergia en particular, el paciente no padece esa alergia.

Ejemplo

 Declaración: "Mary" "es ciudadana de" "Francia"

 Pregunta: ¿Paul es ciudadano de Francia?

 Respuesta de "mundo cerrado" (por ejemplo, SQL): No. Respuesta de "mundo abierto": Desconocido.

Bajo OWA, no derivar un hecho no implica lo contrario. Por ejemplo, supongamos que solo sabemos que María es ciudadana de Francia. De esta información no podemos concluir que Paul no sea ciudadano de Francia, ni que lo sea. Por tanto, admitimos el hecho de que nuestro conocimiento del mundo es incompleto. La suposición del mundo abierto está estrechamente relacionada con la naturaleza monótona de la lógica de primer orden : agregar nueva información nunca falsifica una conclusión previa. Es decir, si posteriormente nos enteramos de que Paul también es ciudadano de Francia, esto no cambia ninguna conclusión positiva o negativa anterior.

El lenguaje de los programas lógicos con fuerte negación nos permite postular el supuesto de mundo cerrado para algunos enunciados y dejar los otros enunciados en el ámbito del supuesto de mundo abierto. ^[1]

Un terreno intermedio entre OWA y CWA es proporcionado por el Supuesto de mundo parcialmente cerrado (PCWA). Bajo la PCWA, la base de conocimiento generalmente se trata bajo la semántica de mundo abierto, sin embargo, es posible afirmar partes que deberían tratarse bajo la semántica de mundo cerrado, a través de aserciones de integridad. La PCWA es especialmente necesaria para situaciones en las que la CWA no es aplicable debido a un dominio abierto, sin embargo, la OWA es demasiado crédula al permitir que cualquier cosa sea posiblemente cierta. ^{[2] [3]}

Ver también

• Supuesto de mundo cerrado
• Supuesto de nombre único

Referencias

1. Russell, Stuart J .; Norvig, Peter (2010). Inteligencia artificial: un enfoque moderno (3ª ed.). Upper Saddle River: Prentice Hall.
2. Motro, 1989 (1989). "Integridad = Validez + Completitud".
3. Razniewski, Simon; Savkovic, Ognjen; Nutt, Werner (2015). "Poner al revés el supuesto del mundo parcialmente cerrado" (PDF) .