Interval Orders, Biorders and Credibility-limited Belief Revision

1. Enunciato del Problema

Il lavoro affronta le limitazioni del framework standard di revisione delle credenze AGM (Alchourrón, Gärdenfors e Makinson). L'approccio AGM si basa su preordini totali sui mondi possibili per modellare le credenze di un agente. Questo framework impone due postulati fondamentali:

• Successo: Le nuove informazioni sono sempre accettate.
• Coerenza: L'insieme delle credenze risultante è sempre coerente (purché l'input sia coerente).

Gli autori sostengono che questi postulati siano troppo idealizzati per agenti realistici. Gli agenti reali possono incontrare informazioni che sono destabilizzanti (causando un crollo delle credenze attuali) o incredibili (inizialmente rifiutate ma potenzialmente accettate con un contesto aggiuntivo). Il lavoro mira a esplorare operatori di revisione delle credenze basati su strutture di ordinamento più generali che consentano:

1. Instabilità/Dissonanza: Scenari in cui l'accettazione di nuove informazioni porta a un insieme vuoto di modelli ottimali (incoerenza).
2. Revisione Non Prioritaria: Scenari in cui l'agente rifiuta le nuove informazioni per preservare la coerenza, oppure in cui il postulato del "Successo" viene meno.

2. Metodologia

Gli autori generalizzano la struttura semantica sottostante della revisione delle credenze dai preordini totali a due classi più ampie di ordinamenti studiati nella teoria della scelta razionale: Ordini a Intervalli e Biordini.

A. Ordini a Intervalli (IOB)

• Definizione: Una relazione binaria che soddisfa la riflessività e la condizione di Ferrers.
• Semantica: Rappresentata da un'Interpretazione Basata su Intervalli $\mathcal{I} = \langle L, U \rangle$, dove ogni mondo $v$ è assegnato a un intervallo $[L(v), U(v)]$ di interi non negativi.
• Regola di Revisione: Un mondo $v$ è preferito a $u$ se $L(v) \leq U(u)$.
• Comportamento: Questi operatori soddisfano il postulato del Successo ma falliscono la Vacuità e la Sottoespansione (postulati AGM standard) in generale. Mantengono la Coerenza.

B. Biordini (BOB)

• Definizione: Una generalizzazione degli ordini a intervalli che soddisfa la condizione di Ferrers ma non richiede la riflessività.
• Semantica: Rappresentata da un'Interpretazione Basata su Biordini $\mathcal{B} = \langle L, U \rangle$. Crucialmente, la lunghezza dell'intervallo $U(v) - L(v)$ può essere negativa.
  • Un intervallo negativo ($U(v) < L(v)$) segnala una valutazione dissonante, rappresentante una forma di "impossibilità" o instabilità.
• Regola di Revisione: $v \preceq_{bi} u$ se e solo se $L(v) \leq U(u)$.
• Comportamento: Questi operatori soddisfano il Successo ma violano la Coerenza. Se la nuova informazione $\alpha$ è "destabilizzante" (cioè, l'insieme ottimale di modelli per $\alpha$ è vuoto perché tutti i modelli di $\alpha$ sono dissonanti), la revisione produce un insieme di credenze incoerente (vuoto).

C. Sottoclassi e Transitività

Gli autori definiscono due sottoclassi di biordini per imporre proprietà strutturali più forti:

1. ZTBOB (z-transitivo): Soddisfa una forma indebolita di transitività che coinvolge elementi dissonanti. Questo garantisce la Monotonia Cauta Coerente.
2. TBOB (Transitivo): Soddisfa la transitività completa. Questo recupera il postulato della Sottoespansione (un postulato supplementare chiave AGM) ma permette ancora l'incoerenza.

D. Revisione Non Prioritaria (NPR)

Per affrontare il problema dell'incoerenza nella revisione basata su biordini, gli autori definiscono operatori di Revisione Non Prioritaria ($\circ$).

• Meccanismo: Se una revisione basata su biordini ($\bullet$) di $\alpha$ risulta in un insieme incoerente, l'operatore NPR rifiuta l'input e restituisce l'insieme di credenze originale $KB$.
• Credibilità: Un input $\alpha$ è considerato credibile se $KB \bullet \alpha$ è coerente; altrimenti, è incredibile.
• Collegamento alla Revisione a Credibilità Limitata (CLR): Gli autori mappano questi operatori NPR al framework della Revisione a Credibilità Limitata (Hansson et al.), ma con una modifica cruciale: rifiutano la proprietà di Chiusura della Singola Frase.
  • CLR Standard: Se $\alpha$ è credibile, qualsiasi sua conseguenza logica è credibile.
  • CLR Proposta: Un agente può rifiutare inizialmente $\alpha$ ma accettare $\alpha \land \beta$ se $\beta$ fornisce il contesto necessario (es. "Il Re Carlo ha visitato una scuola" rende credibile "Il nipote ha pranzato con il Re Carlo").

3. Contributi Chiave

1. Estensione della Semantica di Revisione:

   • Introduzione della revisione Basata su Ordini a Intervalli (IOB), completando il quadro avviato da Rott (2014) per la contrazione.
   • Introduzione della revisione Basata su Biordini (BOB), utilizzando lunghezze di intervallo negative per modellare "dissonanza" e instabilità, un concetto precedentemente inesplorato nella revisione delle credenze.

2. Caratterizzazioni Assiomatiche:

   • Fornitura di teoremi di rappresentazione per gli operatori IOB, ZTBOB e TBOB.
   • Identificazione del fatto che gli operatori TBOB soddisfano tutti i postulati AGM eccetto la Coerenza, più la Razionalità Disgiuntiva.
   • Caratterizzazione degli operatori NPR risultanti (BOB-NPR, ZTBOB-NPR, TBOB-NPR) utilizzando un insieme di postulati che include il Successo Relativo (Successo o nessun cambiamento) e la Razionalità Disgiuntiva modificata.

3. Revisione a Credibilità Limitata con Chiusura Contestuale:

   • Formulazione degli operatori NPR come operatori di Revisione a Credibilità Limitata.
   • Proposta di un allentamento della condizione di Chiusura della Singola Frase (sostituendola con una chiusura più debole per le disgiunzioni). Questo permette una credibilità dipendente dal contesto, dove una frase viene rifiutata in isolamento ma accettata quando combinata con un contesto esplicativo.

4. Gestione di Input Destabilizzanti:

   • Definizione di frasi Destabilizzanti, Irreconciliabili e Precarie.
   • Dimostrazione che i biordini possono modellare scenari in cui un agente entra in "modalità di manutenzione" (rifiutando l'input) fino a quando un'ulteriore spiegazione non stabilizza lo stato delle credenze.

4. Risultati

• Teoremi 1-3: Stabiliscono la corrispondenza tra Preordini Totali, Ordini a Intervalli e Biordini e i rispettivi operatori di revisione.
• Teoremi 4 e 5: Mostrano che gli operatori ZTBOB e TBOB soddisfano insiemi specifici rafforzati di postulati (ad esempio, TBOB soddisfa la Sottoespansione).
• Teoremi 6-8: Forniscono caratterizzazioni assiomatiche per le versioni Non Prioritarie di questi operatori, introducendo postulati come P12+ (se una disgiunzione è credibile e uno dei disgiunti non lo è, il risultato è equivalente alla revisione con il solo disgiunto credibile).
• Teoremi 9 e 10: Dimostrano che gli operatori ZTBOB-NPR e TBOB-NPR sono equivalenti agli operatori di Revisione a Credibilità Limitata dove la revisione sottostante è basata rispettivamente su Ordini a Intervalli e AGM (Preordini Totali).
• Controesempi: Dimostrano che i postulati AGM standard come la Vacuità e la Sottoespansione falliscono per i biordini generali, e che la Coerenza fallisce per la revisione BOB a meno che gli input non siano filtrati.

5. Significato

• Realismo nell'IA: Il lavoro avvicina la revisione delle credenze al comportamento realistico degli agenti permettendo instabilità e accettazione condizionata delle informazioni. Modella il processo cognitivo di rifiuto di informazioni "troppo belle per essere vere" o "troppo strane" fino a quando non sono contestualizzate.
• Novità Teorica: Colma il divario tra la Teoria della Scelta Razionale (in particolare biordini e ordini a intervalli) e la Revisione delle Credenze, introducendo concetti come "intervalli negativi" e "dissonanza" nella logica del cambiamento delle credenze.
• Flessibilità: Allentando la condizione di Chiusura della Singola Frase, il framework supporta un ragionamento più sfumato in cui la credibilità di un'affermazione dipende dalla sua congiunzione con altre affermazioni (contesto), piuttosto che dalla sua sola forma logica.
• Direzioni Future: Il lavoro apre la strada allo studio della revisione iterata con biordini, del ragionamento non monotono e del ragionamento normativo, suggerendo che la struttura aggiuntiva nei biordini (oltre a quella necessaria per un singolo passo di revisione) potrebbe essere cruciale per gestire sequenze di aggiornamenti.

In sintesi, il lavoro propone un robusto framework teorico in cui la revisione delle credenze non è un'accettazione cieca della verità, ma un processo selettivo governato dalle proprietà strutturali dell'ordinamento delle credenze dell'agente, capace di gestire instabilità e credibilità dipendente dal contesto.