Belief Contraction in Dynamic Epistemic Logic

Resumen Técnico: Contracción de Creencia en Lógica Epistémica Dinámica

Planteamiento del Problema
La Lógica Epistémica Dinámica (DEL) estándar modela el cambio de creencia principalmente mediante la eliminación de posibilidades (actualizaciones fuertes), capturando eficazmente la expansión de creencias pero fallando al modelar la contracción de creencias respecto a proposiciones fácticas. Si bien una alternativa popular enriquece los modelos de Kripke con ordenamientos de plausibilidad para representar actualizaciones "suaves" (promoviendo posibilidades en lugar de eliminarlas), este artículo identifica dos limitaciones expresivas críticas en el marco de la plausibilidad:

1. Introspección Positiva: Debido a que los ordenamientos de plausibilidad son transitivos, el marco valida el axioma 4 ($Ba\phi \to BaBa\phi$), lo que lo hace incapaz de modelar agentes que están equivocados sobre sus propias creencias.
2. Anuncios Atenuados: El marco no puede modelar las contracciones de creencia resultantes de anuncios públicos "atenuados" (por ejemplo, "$\phi$ podría ser falso"). Tales anuncios intuitivamente causan que un agente suspenda el juicio sobre $\phi$ sin necesariamente adoptar nuevas creencias fácticas. El artículo demuestra mediante el Teorema 3.2 que ningún modelo de evento de plausibilidad puede transformar un modelo donde un agente cree $\neg p$ en un modelo donde el agente suspende el juicio sobre $p$ (no creyendo ni $p$ ni $\neg p$) manteniendo la equivalencia modal.

Metodología
Los autores proponen un nuevo marco para la contracción de creencias definido directamente sobre modelos de Kripke multiagente estándar, sin imponer restricciones (como transitividad o euclidianidad) sobre las relaciones de accesibilidad doxástica.

• Lógica de Anuncios Públicos Atenuados (HPAL): El mecanismo central es una modalidad dinámica $[\div \phi]$, que representa un anuncio público atenuado de que $\phi$ podría ser falso. La operación de actualización, denotada como $M \div \phi$, modifica las relaciones de accesibilidad $R_a$ de la siguiente manera:

  • Si un agente $a$ cree $\phi$ en un mundo $w$ ($M, w \models Ba\phi$), el conjunto de mundos accesibles del agente se expande para incluir todos los mundos donde $\neg \phi$ es verdadero: $R^{\div \phi}_a(w) = R_a(w) \cup \{v \in W : M, v \models \neg \phi\}$.
  • Si el agente no cree $\phi$, la relación de accesibilidad permanece sin cambios.
    Este enfoque trata la contracción como una extensión del modelo (añadiendo aristas) en lugar de una restricción (eliminando mundos).

• DEL Generalizada (GDEL): Para dar cabida a escenarios más complejos, como anuncios privados o semi-privados, los autores introducen un modelo de evento generalizado $E = (E, Q, Q^+, pre)$. Esto extiende los modelos de eventos estándar añadiendo una relación $Q^+_a$ que representa eventos que son introducidos como posibilidades por el propio evento, distinta de $Q_a$, que representa las posibilidades no descartadas. La actualización de producto generalizada $M \otimes E$ combina la eliminación estándar (vía $Q$) con la adición de nuevas posibilidades (vía $Q^+$).

Contribuciones Clave y Resultados

1. Axiomatización de HPAL: El artículo proporciona una axiomatización sólida y completa para la lógica de los anuncios públicos atenuados (Tabla 1). El sistema incluye axiomas de reducción que permiten traducir fórmulas dinámicas en fórmulas doxásticas estáticas. Un axioma de reducción clave (A5) caracteriza la creencia tras la contracción: un agente cree $\psi$ tras contraer sobre $\phi$ si y solo si inicialmente no creía $\phi$ y cree $\psi$ después de la actualización, o si creía $\phi$ y $\psi$ se cumple en todos los mundos $\neg \phi$ recién añadidos.

2. Análisis de Preservación y Éxito:

   • Preservación: Los autores definen una fórmula $\phi$ como preservada si $\phi \to [\div \neg \phi]\phi$ es válida. Muestran que mientras los anuncios públicos estándar preservan las fórmulas universales, los anuncios atenuados preservan las fórmulas existenciales (construidas a partir de literales, $\land$, $\lor$ y $eBa$).
   • Éxito: Una fórmula es exitosa si no se cree después de un anuncio atenuado de que podría ser falso ($[\div \phi]\neg Ba\phi$). El artículo demuestra que las fórmulas universales son exitosas. Por el contrario, las sentencias "mooreanas" como $p \land Ba\neg p$ resultan ser autorrefutables y, por tanto, no son preservadas.

3. Postulados AGM: El artículo evalúa los postulados de contracción estándar de la AGM dentro de este entorno dinámico.

   • Válidos: Clausura, Extensionalidad y Consistencia se mantienen.
   • Inválidos: Éxito, Inclusión y Vacuidad no se cumplen sin restricciones. Por ejemplo, un agente puede adquirir nuevas creencias sobre su propia falta de creencia (violando la Inclusión) tras un anuncio atenuado.
   • Vacuidad Fuerte: Se cumple una versión fortalecida de la Vacuidad: si ningún agente cree $\phi$ en ninguna parte del modelo, la contracción no tiene efecto.

4. DEL Generalizada (GDEL) y Simulación: El artículo establece que GDEL es una extensión conservadora de la DEL estándar. Un resultado teórico clave (Teorema 7.8) es que cualquier actualización generalizada produce un modelo que es una simulación de un refinamiento del modelo inicial. Esto captura formalmente la naturaleza dual de la actualización: puede eliminar posibilidades (refinamiento) y añadir posibilidades (simulación).

5. Poder Expresivo: Los autores demuestran que GDEL puede modelar dinámicas que HPAL no puede. Específicamente, el Ejemplo 7.9 y la Proposición 7.10 muestran que HPAL no puede modelar un escenario donde un anuncio atenuado causa que un agente suspenda el juicio sobre una proposición ($p$) mientras mantiene una creencia específica sobre otra ($q$). GDEL supera esto utilizando las relaciones $Q^+$ para introducir selectivamente nuevas posibilidades compatibles con el conocimiento de fondo del agente.

Significado
El artículo afirma ofrecer una solución a las limitaciones expresivas de los enfoques basados en la plausibilidad para la contracción de creencias. Al definir la contracción directamente sobre modelos de Kripke estándar, el marco logra modelar con éxito agentes que carecen de introspección positiva y agentes que suspenden el juicio en respuesta a anuncios atenuados. Los autores posicionan su trabajo como una extensión natural de la DEL estándar que acomoda la pérdida de información (contracción) junto con la ganancia de información (expansión). Señalan que, aunque su marco puede emular la dinámica de la plausibilidad añadiendo aristas, difiere de la teoría AGM al permitir que los valores de verdad de las fórmulas epistémicas cambien durante la contracción, una característica inherente a los entornos dinámicos pero ausente en los modelos estáticos de la AGM. El trabajo deja abierta la caracterización de todas las fórmulas exitosas en HPAL y las condiciones bajo las cuales las propiedades de introspección se preservan en GDEL.