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

1. Probleemstelling

Het artikel adresseert een fundamentele spanning in deontische logica tussen voorkeursgebaseerde systemen (die verplichtingen modelleren via wereldordeningen) en normgebaseerde systemen (die verplichtingen modelleren via expliciete regels en niet-monotone redenering).

• Het Kernprobleem: Voorkeursgebaseerde systemen (bijv. Hansson, Lewis) zijn uitstekend in het hanteren van Contrary-to-Duty (CTD) redenering, maar lijden onder monotonie. Zodra een verplichting is afgeleid, kan deze niet worden ingetrokken door nieuwe informatie. Dit leidt tot het Versterkingsprobleem: als "Je mag niet met vingers eten" ($\bigcirc \neg f$) en "Als je asperges geserveerd krijgen, moet je met vingers eten" ($\bigcirc (f|a)$) beide aanwezig zijn, dwingt standaard voorkeurssemantiek tot de conclusie dat "Je niet asperges geserveerd mag krijgen" ($\bigcirc \neg a$).
• De Fout van het Verboden Uitzondering: Deze uitkomst behandelt de uitzondering (asperges) als een globaal verbod, wat tegenintuïtief is. De uitzondering zou alleen de algemene regel in specifieke contexten moeten overrulen, niet het bestaan van de uitzondering zelf ontkennen.
• Het Verdrinkingseffect: In veel niet-monotone benaderingen "verdrinkt" (verdwijnt volledig) een algemene verplichting zodra deze wordt overruled, waardoor het onmogelijk wordt om te controleren of de algemene regel in de specifieke context is geschonden.
• Horty's Kritiek: John Horty betoogde dat voorkeursgebaseerde systemen gebrekkige normatieve redenering niet adequaat kunnen modelleren omdat ze geen onderscheid kunnen maken tussen "ideale" werelden (waar verplichtingen worden nageleefd) en "normale" werelden (waar uitzonderingen optreden) zonder de logica te laten instorten.

2. Methodologie: Een Tweelaags Kader

Parent stelt een bi-preferentiële, tweelaags semantisch kader voor dat een niet-monotone redeneermechanisme integreert in een voorkeursgebaseerde dyadische deontische logica.

A. Twee Onderscheiden Ordeningen

Het kader maakt gebruik van twee aparte ordeningen op mogelijke werelden ($W$):

1. Normaliteitsordening ($\leq_N$): Rangschikt werelden op basis van hoe goed ze voldoen aan normaliteitsconditieel (bijv. "Normaal gesproken, als A dan B").
   • Methode: Gebruik van LEX (Lexicografische ordening), gebaseerd op het werk van Lehmann.
   • Mechanisme: Werelden worden gerangschikt op basis van het aantal geschonden conditieel, met prioriteit voor specificiteit. Een wereld die een specifieke regel schendt, wordt lager gerangschikt dan een wereld die een algemene regel schendt. Dit voorkomt de "f-DIS" (flat distance-based) fout waarbij specifieke en algemene schendingen gelijk worden behandeld.
2. Idealiteitsordening ($\leq_I$): Rangschikt werelden op basis van hoe goed ze voldoen aan voorwaardelijke verplichtingen (bijv. "Als A, dan moet je B").
   • Methode: Gebruik van DEL (Delgrande's methode).
   • Mechanisme: Een wereld is "beter" als er minder verplichtingen worden geschonden. Cruciaal is dat een verplichting niet als geschonden wordt beschouwd als een specifiekere overruelende verplichting wordt geactiveerd en nageleefd. Dit lost het "verdrinkingsprobleem" op.

B. De Waarheidsvoorwaarden

De logica introduceert een normaliteitsconditieel ($\triangleright$) en een voorwaardelijke verplichting ($\bigcirc$).

• Normaliteit ($A \triangleright B$): Waar als alle meest normale $A$-werelden $B$-werelden zijn.
• Voorwaardelijke Verplichting ($\bigcirc(B|A)$): Waar als de verzameling van meest normale $A \land B$-werelden strikt beter is (volgens $\leq_I$) dan de verzameling van meest normale $A \land \neg B$-werelden.
  • Kerninnovatie: Door de evaluatie van verplichtingen te beperken tot de meest normale werelden, filtert het kader "abnormale" scenario's (zoals asperges geserveerd krijgen) eruit bij het beoordelen van de algemene verplichting. Dit voorkomt dat de algemene verplichting wordt "verzwolgen" door de uitzondering.

C. Niet-Monotone Laag

De gevolgtrekkingrelatie ($\vdash$) is gedefinieerd over een theorie $\Delta = (\Gamma, R)$, waarbij $R$ normaliteitsconditieel en verplichtingen bevat.

• Defeasibility: Nieuwe informatie (bijv. "Je krijgt asperges geserveerd") verandert de verzameling "meest normale" werelden, waardoor verandert welke verplichtingen gelden.
• Postulaten: Het systeem voldoet aan belangrijke niet-monotone postulaten:
  • Inclusie: Expliciete conditieel worden afgeleid (tenzij inconsistent).
  • Defeasible Versterking van Antecedent (SA): Staat toe om $\bigcirc(B|A \land C)$ af te leiden uit $\bigcirc(B|A)$, tenzij $C$ een specifieke defeater activeert.
  • Geen-Verdrinken: Zorgt ervoor dat overruelde verplichtingen niet verdwijnen; ze blijven geldig voor het controleren van naleving in de specifieke context.

3. Belangrijkste Bijdragen

1. Oplossing van de Fout van het Verboden Uitzondering: Door normaliteit en idealiteit te scheiden, staat het kader een wereld toe waar "asperges worden geserveerd en met vingers wordt gegeten" die minder ideaal is (schending van de algemene regel) maar nog steeds normaal is (voldoening aan de specifieke regel). Het vermijdt de conclusie dat "asperges niet geserveerd mogen worden".
2. Eliminatie van het Verdrinkingseffect: Het kader zorgt ervoor dat wanneer een specifieke verplichting een algemene overruelt, de algemene verplichting niet wordt gewist. Deze blijft van toepassing voor normatieve nalevingscontroles (bijv. het vaststellen of een schending heeft plaatsgevonden).
3. Getrouwe Embedding in Constrained I/O Logic: De auteur bewijst dat het deontische fragment van dit voorkeursgebaseerde systeem getrouw kan worden geëmbed in Constrained Input/Output (I/O) Logic (een normgebaseerd systeem).
   • Dit overbrugt de kloof tussen de modeltheoretische (voorkeurs) en operationele (normgebaseerde) benaderingen.
   • De embedding mapt voorwaardelijke verplichtingen af op I/O-paren waarbij het lichaam de ontkenning van alle defeaters (specifiekere verplichtingen) bevat.
4. Complexiteitsanalyse: De embedding impliceert dat gevolgtrekking in dit systeem een complexiteitsgrens heeft van $\Pi^P_2$, vergelijkbaar met sceptische redenering in default logica, wat hoger is dan de co-NP complexiteit van monotone bases.

4. Resultaten

• Theoretische Validatie: Het artikel biedt formele bewijzen (in de appendices) voor de gladheid van de normaliteitsordening, de geldigheid van de niet-monotone postulaten (Inclusie, Geen-Verdrinken) en de getrouwheid van de embedding in Constrained I/O Logic.
• Casestudie (Het Asperges Voorbeeld): Het kader leidt succesvol af:
  • $\bigcirc(\neg f | \text{asperges})$ is onwaar (de uitzondering overruelt).
  • $\bigcirc(n | \text{asperges})$ is waar (de algemene regel om een servet te gebruiken geldt).
  • $\bigcirc(\neg a)$ is onwaar (het is niet verplicht om te vermijden asperges geserveerd te krijgen).
  • $\bigcirc(\neg f)$ is waar (de algemene regel geldt in normale contexten).

5. Betekenis

• Unificatie: Dit werk vormt een belangrijke stap in de richting van het verenigen van de twee dominante paradigma's in deontische logica: voorkeursgebaseerde semantiek (goed voor CTD) en normgebaseerde semantiek (goed voor defeasibility).
• Praktische Toepassing: Door het oplossen van de "verdrinkings"- en "verboden uitzondering"-problemen, is het kader beter geschikt voor real-world normatieve redeneertaken, zoals juridische redenering en nalevingscontrole, waarbij het onderscheid tussen een schending en een uitzondering cruciaal is.
• Fundamentele Impact: Het vestigt een nieuwe standaard voor het modelleren van defeasible voorwaardelijke verplichtingen, en biedt een modeltheoretisch perspectief op constrained I/O logica dat eerder ontbrak.

Samenvattend bouwt het artikel van Parent een robuust semantisch kader dat de intuïtieve sterktes van voorkeursgebaseerde logica behoudt, terwijl het de nodige niet-monotone machinery integreert om uitzonderingen en conflicterende normen te hanteren zonder logische instorting.