Interval Orders, Biorders and Credibility-limited Belief Revision

Aquí se presenta un resumen técnico detallado del artículo "Interval Orders, Biorders and Credibility-limited Belief Revision" de Richard Booth e Ivan Varzinczak.

1. Planteamiento del Problema

El artículo aborda las limitaciones del marco estándar de revisión de creencias AGM (Alchourrón, Gärdenfors y Makinson). El enfoque AGM se basa en preórdenes totales sobre mundos posibles para modelar las creencias de un agente. Este marco impone dos postulados centrales:

• Éxito: La nueva información siempre es aceptada.
• Consistencia: El conjunto de creencias resultante es siempre consistente (siempre que la entrada sea consistente).

Los autores argumentan que estos postulados son demasiado idealizados para agentes realistas. Los agentes reales pueden encontrar información que sea desestabilizadora (provocando un colapso de las creencias actuales) o increíble (inicialmente rechazada pero potencialmente aceptada con más contexto). El artículo busca explorar operadores de revisión de creencias basados en estructuras de ordenamiento más generales que permitan:

1. Inestabilidad/Disonancia: Escenarios donde aceptar nueva información conduce a un conjunto vacío de modelos óptimos (inconsistencia).
2. Revisión No Priorizada: Escenarios donde el agente rechaza la nueva información para preservar la consistencia, o donde se abandona el postulado de "Éxito".

2. Metodología

Los autores generalizan la estructura semántica subyacente de la revisión de creencias, pasando de preórdenes totales a dos clases más amplias de ordenamientos estudiadas en la teoría de la elección racional: Órdenes de Intervalo y Biórdenes.

A. Órdenes de Intervalo (IOB)

• Definición: Una relación binaria que satisface la reflexividad y la condición de Ferrers.
• Semántica: Representada por una Interpretación Basada en Intervalos $\mathcal{I} = \langle L, U \rangle$, donde a cada mundo $v$ se le asigna un intervalo $[L(v), U(v)]$ de enteros no negativos.
• Regla de Revisión: Un mundo $v$ es preferido a $u$ si $L(v) \leq U(u)$.
• Comportamiento: Estos operadores satisfacen el postulado de Éxito pero fallan en Vacuidad y Subexpansión (postulados AGM estándar) en general. Mantienen la Consistencia.

B. Biórdenes (BOB)

• Definición: Una generalización de los órdenes de intervalo que satisface la condición de Ferrers pero no requiere reflexividad.
• Semántica: Representada por una Interpretación Basada en Biórdenes $\mathcal{B} = \langle L, U \rangle$. Crucialmente, la longitud del intervalo $U(v) - L(v)$ puede ser negativa.
  • Un intervalo negativo ($U(v) < L(v)$) signfica una valuación disonante, representando una forma de "imposibilidad" o inestabilidad.
• Regla de Revisión: $v \preceq_{bi} u$ si y solo si $L(v) \leq U(u)$.
• Comportamiento: Estos operadores satisfacen el Éxito pero violan la Consistencia. Si la nueva información $\alpha$ es "desestabilizadora" (es decir, el conjunto óptimo de modelos para $\alpha$ es vacío porque todos los modelos de $\alpha$ son disonantes), la revisión produce un conjunto de creencias inconsistente (vacío).

C. Subclases y Transitividad

Los autores definen dos subclases de biórdenes para imponer propiedades estructurales más fuertes:

1. ZTBOB (z-transitivo): Satisface una forma debilitada de transitividad que involucra elementos disonantes. Esto asegura la Monotonía Cautelosa Consistente.
2. TBOB (Transitivo): Satisface la transitividad completa. Esto recupera el postulado de Subexpansión (un postulado suplementario clave de AGM) pero aún permite la inconsistencia.

D. Revisión No Priorizada (NPR)

Para abordar el problema de la inconsistencia en la revisión basada en biórdenes, los autores definen operadores de Revisión No Priorizada ($\circ$).

• Mecanismo: Si una revisión basada en biórdenes ($\bullet$) de $\alpha$ resulta en un conjunto inconsistente, el operador NPR rechaza la entrada y devuelve el conjunto de creencias original $KB$.
• Credibilidad: Una entrada $\alpha$ se considera creíble si $KB \bullet \alpha$ es consistente; de lo contrario, es increíble.
• Vinculación con la Revisión Limitada por Credibilidad (CLR): Los autores mapean estos operadores NPR al marco de la Revisión Limitada por Credibilidad (Hansson et al.), pero con una modificación crucial: rechazan la propiedad de Cierre de Oración Única.
  • CLR Estándar: Si $\alpha$ es creíble, cualquier consecuencia lógica es creíble.
  • CLR Propuesto: Un agente puede rechazar $\alpha$ inicialmente pero aceptar $\alpha \land \beta$ si $\beta$ proporciona el contexto necesario (por ejemplo, "El rey Carlos visitó una escuela" hace que "El sobrino almorzó con el rey Carlos" sea creíble).

3. Contribuciones Clave

1. Extensión de la Semántica de Revisión:

   • Introducción de la revisión Basada en Órdenes de Intervalo (IOB), completando el panorama iniciado por Rott (2014) para la contracción.
   • Introducción de la revisión Basada en Biórdenes (BOB), utilizando longitudes de intervalo negativas para modelar "disonancia" e inestabilidad, un concepto previamente inexplorado en la revisión de creencias.

2. Caracterizaciones Axiomáticas:

   • Proporció teoremas de representación para los operadores IOB, ZTBOB y TBOB.
   • Identificó que los operadores TBOB satisfacen todos los postulados AGM excepto la Consistencia, más la Racionalidad Disyuntiva.
   • Caracterizó los operadores NPR resultantes (BOB-NPR, ZTBOB-NPR, TBOB-NPR) mediante un conjunto de postulados que incluyen el Éxito Relativo (Éxito o sin cambio) y una Racionalidad Disyuntiva modificada.

3. Revisión Limitada por Credibilidad con Cierre Contextual:

   • Formuló los operadores NPR como operadores de Revisión Limitada por Credibilidad.
   • Propuso una relajación de la condición de Cierre de Oración Única (reemplazándola por un cierre más débil para disyunciones). Esto permite una credibilidad dependiente del contexto, donde una oración es rechazada en aislamiento pero aceptada cuando se combina con contexto explicativo.

4. Manejo de Entradas Desestabilizadoras:

   • Definieron oraciones Desestabilizadoras, Irreconciliables y Precarias.
   • Demostraron que los biórdenes pueden modelar escenarios donde un agente entra en "modo de mantenimiento" (rechazando la entrada) hasta que una explicación adicional estabiliza el estado de creencias.

4. Resultados

• Teoremas 1-3: Establecieron la correspondencia entre Preórdenes Totales, Órdenes de Intervalo y Biórdenes y sus respectivos operadores de revisión.
• Teoremas 4 y 5: Mostraron que los operadores ZTBOB y TBOB satisfacen conjuntos específicos de postulados fortalecidos (por ejemplo, TBOB satisface la Subexpansión).
• Teoremas 6-8: Proporcionaron caracterizaciones axiomáticas para las versiones No Priorizadas de estos operadores, introduciendo postulados como P12+ (si una disyunción es creíble y uno de sus disyuntos no lo es, el resultado es equivalente a revisar con el disyunto creíble únicamente).
• Teoremas 9 y 10: Demostraron que los operadores ZTBOB-NPR y TBOB-NPR son equivalentes a operadores de Revisión Limitada por Credibilidad donde la revisión subyacente se basa en Órdenes de Intervalo y AGM (Preórdenes Totales), respectivamente.
• Contraejemplos: Demostraron que postulados AGM estándar como Vacuidad y Subexpansión fallan para biórdenes generales, y que la Consistencia falla para la revisión BOB a menos que las entradas sean filtradas.

5. Significado

• Realismo en IA: El artículo acerca la revisión de creencias al comportamiento realista de los agentes al permitir la inestabilidad y la aceptación condicional de la información. Modela el proceso cognitivo de rechazar información "demasiado buena para ser verdad" o "demasiado extraña" hasta que se contextualiza.
• Novelad Teórica: Cierra la brecha entre la Teoría de la Elección Racional (específicamente biórdenes y órdenes de intervalo) y la Revisión de Creencias, introduciendo conceptos como "intervalos negativos" y "disonancia" en la lógica del cambio de creencias.
• Flexibilidad: Al relajar la condición de Cierre de Oración Única, el marco apoya un razonamiento más matizado donde la credibilidad de una afirmación depende de su conjunción con otras afirmaciones (contexto), y no solo de su forma lógica.
• Direcciones Futuras: El trabajo abre vías para estudiar la revisión iterada con biórdenes, el razonamiento no monótono y el razonamiento normativo, sugiriendo que la estructura extra en los biórdenes (más allá de lo necesario para un solo paso de revisión) puede ser crucial para manejar secuencias de actualizaciones.

En resumen, el artículo propone un marco teórico robusto donde la revisión de creencias no es una aceptación ciega de la verdad, sino un proceso selectivo gobernado por las propiedades estructurales del ordenamiento de creencias del agente, capaz de manejar la inestabilidad y la credibilidad dependiente del contexto.