Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)

1. Enunciato del Problema

Il paper affronta una tensione fondamentale nella logica deontica tra i sistemi basati su preferenze (che modellano le obbligazioni tramite ordinamenti di mondi) e i sistemi basati su norme (che modellano le obbligazioni tramite regole esplicite e ragionamento non monotono).

• Il Problema Centrale: I sistemi basati su preferenze (es. Hansson, Lewis) sono eccellenti nel gestire il ragionamento Contrary-to-Duty (CTD) ma soffrono di monotonicità. Una volta derivata un'obbligazione, questa non può essere ritirata da nuove informazioni. Ciò porta al Problema del Rafforzamento: se "Non dovresti mangiare con le dita" ($\bigcirc \neg f$) e "Se ti viene servito l'asparago, dovresti mangiare con le dita" ($\bigcirc (f|a)$) sono entrambi presenti, la semantica preferenziale standard forza la conclusione che "Non dovresti essere servito asparago" ($\bigcirc \neg a$).
• La Fallacia dell'Eccezione Proibita: Questo esito tratta l'eccezione (asparago) come un divieto globale, il che è controintuitivo. L'eccezione dovrebbe sovrascrivere la regola generale solo in contesti specifici, non negare l'esistenza dell'eccezione stessa.
• L'Effetto Annegamento: In molti approcci non monotoni, se un'obbligazione generale viene sovrascritta, essa "annega" (scompare completamente), rendendo impossibile verificare se la regola generale sia stata violata nel contesto specifico.
• La Critica di Horty: John Horty ha sostenuto che i sistemi basati su preferenze non possono modellare adeguatamente il ragionamento normativo defeasibile perché non riescono a distinguere tra mondi "ideali" (dove le obbligazioni sono soddisfatte) e mondi "normali" (dove si verificano eccezioni) senza collassare la logica.

2. Metodologia: Un Framework a Due Livelli

Parent propone un framework semantico bi-preferenziale a due livelli che integra un meccanismo di ragionamento non monotono in una logica deontica dicotica basata su preferenze.

A. Due Ordinamenti Distinti

Il framework impiega due ordinamenti separati sui mondi possibili ($W$):

1. Ordinamento di Normalità ($\leq_N$): Classifica i mondi in base a quanto bene conformano ai condizionali di normalità (es. "Normalmente, se A allora B").
   • Metodo: Utilizza LEX (ordinamento lessicografico), basato sul lavoro di Lehmann.
   • Meccanismo: I mondi sono classificati in base al numero di condizionali violati, dando priorità alla specificità. Un mondo che viola una regola specifica è classificato più in basso di uno che viola una regola generale. Ciò previene l'errore "f-DIS" (basato sulla distanza piatta) in cui le violazioni specifiche e generali sono trattate allo stesso modo.
2. Ordinamento di Idealità ($\leq_I$): Classifica i mondi in base a quanto bene conformano alle obbligazioni condizionali (es. "Se A, allora dovresti B").
   • Metodo: Utilizza DEL (metodo di Delgrande).
   • Meccanismo: Un mondo è "migliore" se viola meno obbligazioni. Crucialmente, un'obbligazione non è considerata violata se viene attivata e rispettata un'obbligazione sovrascrivente più specifica. Ciò risolve il problema dell'"annegamento".

B. Le Condizioni di Verità

La logica introduce un condizionale di normalità ($\triangleright$) e un'obbligazione condizionale ($\bigcirc$).

• Normalità ($A \triangleright B$): Vero se tutti i mondi $A$ più normali sono mondi $B$.
• Obbligazione Condizionale ($\bigcirc(B|A)$): Vero se l'insieme dei mondi $A \land B$ più normali è strettamente migliore (secondo $\leq_I$) rispetto all'insieme dei mondi $A \land \neg B$ più normali.
  • Innovazione Chiave: Limitando la valutazione delle obbligazioni ai mondi più normali, il framework filtra gli scenari "anormali" (come essere serviti asparago) quando si valuta l'obbligazione generale. Ciò impedisce che l'obbligazione generale venga "annegata" dall'eccezione.

C. Livello Non Monotono

La relazione di conseguenza ($\vdash$) è definita su una teoria $\Delta = (\Gamma, R)$, dove $R$ contiene condizionali di normalità e obbligazioni.

• Defeasibilità: Nuove informazioni (es. "Sei stato servito asparago") cambiano l'insieme dei mondi "più normali", alterando di conseguenza quali obbligazioni valgono.
• Postulati: Il sistema soddisfa i principali postulati non monotoni:
  • Inclusione: I condizionali espliciti sono conseguenza (a meno che non siano inconsistenti).
  • Rafforzamento Defeasibile dell'Antecedente (SA): Permette di inferire $\bigcirc(B|A \land C)$ da $\bigcirc(B|A)$ a meno che $C$ non attivi un distruttore specifico.
  • No-Annegamento: Garantisce che le obbligazioni sovrascritte non scompaiano; rimangono valide per verificare la conformità nel contesto specifico.

3. Contributi Chiave

1. Risoluzione della Fallacia dell'Eccezione Proibita: Separando normalità e idealità, il framework permette a un mondo in cui "viene servito asparago e si usano le dita" di essere meno ideale (violando la regola generale) ma ancora normale (soddisfacendo la regola specifica). Evita di concludere che "l'asparago non dovrebbe essere servito".
2. Eliminazione dell'Effetto Annegamento: Il framework garantisce che quando un'obbligazione specifica sovrascrive una generale, quest'ultima non venga cancellata. Rimane applicabile per i controlli di conformità normativa (es. determinare se è avvenuta una violazione).
3. Incorporazione Fedele nella Logica I/O Vincolata: L'autore dimostra che il frammento deontico di questo sistema basato su preferenze può essere fedelmente incorporato nella Logica Input/Output (I/O) Vincolata (un sistema basato su norme).
   • Ciò colma il divario tra gli approcci modellistici (preferenza) e operativi (basati su norme).
   • L'incorporazione mappa le obbligazioni condizionali su coppie I/O dove il corpo include la negazione di tutti i distruttori (obbligazioni più specifiche).
4. Analisi della Complessità: L'incorporazione implica che la conseguenza in questo sistema ha un limite di complessità $\Pi^P_2$, comparabile al ragionamento scettico nella logica default, che è superiore alla complessità co-NP delle basi monotone.

4. Risultati

• Validazione Teorica: Il paper fornisce dimostrazioni formali (negli appendici) per la regolarità dell'ordinamento di normalità, la validità dei postulati non monotoni (Inclusione, No-Annegamento) e la fedeltà dell'incorporazione nella Logica I/O Vincolata.
• Caso di Studio (L'Esempio dell'Asparago): Il framework deriva con successo:
  • $\bigcirc(\neg f | \text{asparago})$ è falso (l'eccezione sovrascrive).
  • $\bigcirc(n | \text{asparago})$ è vero (la regola generale di usare il tovagliolo vale).
  • $\bigcirc(\neg a)$ è falso (non è obbligatorio evitare di essere serviti asparago).
  • $\bigcirc(\neg f)$ è vero (la regola generale vale in contesti normali).

5. Significato

• Unificazione: Questo lavoro rappresenta un passo significativo verso l'unificazione dei due paradigmi dominanti nella logica deontica: la semantica basata su preferenze (buona per CTD) e la semantica basata su norme (buona per la defeasibilità).
• Applicazione Pratica: Risolvendo i problemi di "annegamento" ed "eccezione proibita", il framework è più adatto a compiti di ragionamento normativo nel mondo reale, come il ragionamento giuridico e il controllo di conformità, dove distinguere tra una violazione e un'eccezione è critico.
• Impatto Fondamentale: Stabilisce un nuovo standard per la modellazione delle obbligazioni condizionali defeasibili, offrendo una prospettiva modellistica sulla logica I/O vincolata che prima mancava.

In sintesi, il paper di Parent costruisce con successo un robusto framework semantico che mantiene i punti di forza intuitivi della logica basata su preferenze, integrando al contempo la necessaria macchina non monotona per gestire eccezioni e norme conflittuali senza collasso logico.