El supuesto de mundo cerrado ( CWA ), en un sistema formal de lógica utilizado para la representación del conocimiento , es la presunción de que también se sabe que una afirmación que es verdadera lo es. Por lo tanto, a la inversa, lo que actualmente no se sabe que sea cierto, es falso. El mismo nombre también se refiere a una formalización lógica de esta suposición por parte de Raymond Reiter . [1] Lo opuesto al supuesto de mundo cerrado es el supuesto de mundo abierto (OWA), que afirma que la falta de conocimiento no implica falsedad. Las decisiones sobre CWA versus OWA determinan la comprensión de la semántica real de una expresión conceptual con las mismas notaciones de conceptos. Una formalización exitosa de la semántica del lenguaje natural generalmente no puede evitar una revelación explícita de si los trasfondos lógicos implícitos se basan en CWA u OWA.
La negación como fracaso está relacionada con el supuesto del mundo cerrado, ya que equivale a creer falso todo predicado cuya verdad no se puede demostrar.
En el contexto de la gestión del conocimiento , el supuesto de mundo cerrado se utiliza en al menos dos situaciones: (1) cuando se sabe que la base de conocimientos está completa (por ejemplo, una base de datos corporativa que contiene registros de cada empleado), y (2) cuando Se sabe que la base de conocimientos está incompleta, pero la "mejor" respuesta definitiva debe derivarse de información incompleta. Por ejemplo, si una base de datos contiene la siguiente tabla que informa a los editores que han trabajado en un artículo determinado, generalmente se espera que una consulta sobre las personas que no editaron el artículo en Lógica formal devuelva "Sarah Johnson".
En el supuesto de mundo cerrado, se supone que la tabla está completa (enumera todas las relaciones editor-artículo) y Sarah Johnson es la única editora que no ha editado el artículo sobre Lógica formal. Por el contrario, con el supuesto de mundo abierto, no se supone que la tabla contenga todas las tuplas de artículos del editor, y se desconoce la respuesta a quién no ha editado el artículo de Lógica Formal. Hay un número desconocido de editores que no figuran en la tabla y un número desconocido de artículos editados por Sarah Johnson que tampoco figuran en la tabla.
La primera formalización del supuesto del mundo cerrado en la lógica formal consiste en añadir a la base de conocimiento la negación de los literales que actualmente no implica . El resultado de esta adición siempre es coherente si la base de conocimientos está en formato Horn , pero no se garantiza que sea coherente en caso contrario. Por ejemplo, la base de conocimientos.
no implica ni ni .
Agregar la negación de estos dos literales a la base de conocimiento conduce a
lo cual es inconsistente. En otras palabras, esta formalización del supuesto de un mundo cerrado a veces convierte una base de conocimiento consistente en una inconsistente. El supuesto de mundo cerrado no introduce una inconsistencia en una base de conocimiento exactamente cuando la intersección de todos los modelos de Herbrand es también un modelo de ; en el caso proposicional, esta condición equivale a tener un único modelo mínimo, donde un modelo es mínimo si ningún otro modelo tiene un subconjunto de variables asignadas a verdadero.
Se han propuesto formalizaciones alternativas que no padecen este problema. En la siguiente descripción, se supone que la base de conocimientos considerada es proposicional. En todos los casos, la formalización del supuesto del mundo cerrado se basa en agregar a la negación las fórmulas que son “libres de negación” para , es decir, las fórmulas que se pueden suponer falsas. En otras palabras, el supuesto de mundo cerrado aplicado a una base de conocimiento genera la base de conocimiento.
El conjunto de fórmulas que son libres para la negación se puede definir de diferentes maneras, lo que lleva a diferentes formalizaciones del supuesto del mundo cerrado. Las siguientes son las definiciones de ser libre de negación en las diversas formalizaciones.
La ECWA y el formalismo de circunscripción coinciden en teorías proposicionales. [5] [6] La complejidad de responder consultas (comprobar si una fórmula está implicada por otra bajo el supuesto de mundo cerrado) suele estar en el segundo nivel de la jerarquía polinomial para fórmulas generales, y varía de P a coNP para Horn fórmulas . Comprobar si la suposición original del mundo cerrado introduce una inconsistencia requiere como máximo un número logarítmico de llamadas a un oráculo NP ; sin embargo, actualmente se desconoce la complejidad exacta de este problema. [7]
En situaciones en las que no es posible asumir un mundo cerrado para todos los predicados, pero se sabe que algunos de ellos son cerrados, se puede utilizar el supuesto de mundo parcialmente cerrado . Este régimen considera que las bases de conocimiento son generalmente abiertas, es decir, potencialmente incompletas, pero permite utilizar afirmaciones de integridad para especificar partes de la base de conocimiento que están cerradas. [8]
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 demás en el ámbito del supuesto de mundo abierto. [9] Un terreno intermedio entre OWA y CWA lo proporciona elsupuesto de mundo parcialmente cerrado (PCWA). Según 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 afirmaciones de integridad. La PCWA es especialmente necesaria para situaciones en las que la CWA no es aplicable debido a un dominio abierto, pero la OWA es demasiado crédula al permitir que algo sea posiblemente cierto. [10] [11]
{{cite journal}}
: Citar diario requiere |journal=
( ayuda )