Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

Technische Samenvatting: Naar Niet-Monotone Implicatie in Propositionele Defeasibele Standpuntlogica

Probleemstelling
Recente ontwikkelingen in defeasible redeneren hebben succesvol preferentiële semantiek en KLM-stijl implicatie toegepast op modale logica's, specifiek op de Propositionele Defeasibele Standpuntlogica (PDSL). PDSL maakt het mogelijk om conflicterende standpunten en typische overtuigingen binnen één enkel raamwerk weer te geven met behulp van modaliteiten zoals $❘∼∼❘_e \alpha$ (wat betekent dat "$\alpha$ geldt in de meest typische interpretaties van standpunt $e$"). Echter, bestaand werk op dit gebied heeft zich primair gericht op verzadigbaarheidstoetsing (satisfiability checking) en Tarskische (monotone) implicatie ($\models_P$).

De auteurs identificeren een kritieke inferentiële zwakte in de huidige monotone benadering. Onder $\models_P$ faalt een kennisbank vaak in het ondersteunen van intuïtieve niet-monotone inferenties. Bijvoorbeeld: als een standpunt $P$ typisch gelooft dat $\alpha$, en $\alpha$ defesibel $\beta$ impliceert, kan het monotone raamwerk niet concluderen dat $P$ typisch gelooft dat $\beta$. Op dezelfde manier kunnen sub-standpunten (bijv. Techniek) typische overtuigingen van een super-standpunt (bijv. Natuurkunde) niet erven als er ook maar een potentieel voor conflict bestaat, zelfs als er geen specifelijk conflict aanwezig is. Dit beperkt het nut van PDSL voor prototypisch redeneren waar overerving en typischheid worden verwacht.

Methodologie
Om deze beperkingen aan te pakken, stelt het artikel voor om niet-monotone rationele implicatierelaties van traditionele propositionele KLM-redenering te tillen naar een fragment van PDSL. De methodologie verloopt via vier hoofdfasen:

1. Uitbreiding van Expressiviteit via Gesitueerde Conditionele Uitspraken:
   De auteurs introduceren "gesitueerde standpunt-conditionelen" van de vorm $\alpha \rightsquigarrow_e \beta$, gelezen als "binnen standpunt $e$ impliceert een overtuiging in $\alpha$ gewoonlijk een overtuiging in $\beta$." Dit construct maakt het mogelijk om defesibele implicaties specifiek binnen de context van een standpunt te situeren, in plaats van globaal. De auteurs tonen aan dat deze nieuwe syntaxis expressief genoeg is om de volledige PDSL-taal te herkarakteriseren, waarbij standaard defesibele modaliteiten en implicaties effectief worden vervangen door deze gesitueerde conditionelen en een universele standpuntmodaliteit ($\square_*$).

2. Vertaling naar Propositionele KLM:
   Het artikel definieert een specifiek fragment van PDSL, aangeduid als $Cond(\tilde{\mathcal{L}}_S)$, bestaande uit positieve defesibele conditionelen ($\alpha \rightsquigarrow_e \beta$) en standpunt-verfijningen ($e \lesssim d$). Een vertaalfunctie $T$ wordt gedefinieerd om formules in dit fragment te mappen naar traditionele propositionele KLM-conditionele kennisbanken.

   • Standpuntexpressies worden vertaald naar propositionele atomen of Booleaanse combinaties daarvan.
   • Een conditionele $\alpha \rightsquigarrow_e \beta$ wordt vertaald naar $(\alpha \land t(e)) \mid\sim \beta$.
   • Een standpunt-verfijning $e \lesssim d$ wordt vertaald naar $t(e) \mid\sim t(d)$.
     Cruciaal is dat de auteurs bewijzen dat deze vertaling getrouw (faithful) is: een PDSL-kennisbank is verzadigbaar als en slechts als de propositionele vertaling ervan verzadigbaar is, en modelverzadigbaarheid wordt behouden onder de vertaling ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. Het Tillen van Implicatierelaties:
   Gebruikmakend van de vertaling $T$, tillen de auteurs rationele defesibele implicatierelaties van het propositionele geval naar het PDSL-geval. Voor een gegeven rangschikkingsstrategie $r$ (die een rangschikkingsfunctie toekent aan een kennisbank), wordt de implicatierelatie $| \approx_r$ in PDSL gedefinieerd zodanig dat $\mathcal{K} | \approx_r \varphi$ geldt indien en slechts indien de pre-image van het propositionele gerangschikte model $r(T(\mathcal{K}))$ de $\varphi$ bevredigt.
   Deze benadering maakt het mogelijk om bestaande propositionele algoritmen (zoals DefeasibleEntail) te gebruiken om implicatiecontrole in PDSL uit te voeren.

4. Specifieke Instanties:
   Het raamwerk wordt toegepast op twee bekende rationele entailment-systemen:

   • Rational Closure (Rationale Sluiting): Gedefinieerd via de minimale rangschikkingsfunctie. Het artikel toont aan dat Rational Closure in PDSL de inferentiële zwakheden van monotone implicatie vermijdt, waardoor de overerving van typische overtuigingen plaatsvindt in afwezigheid van direct conflict.
   • Lexicographic Closure (Lexicografische Sluiting): Geïntroduceerd om het "drowning problem" (het probleem waarbij een uitzondering in één attribuut de overerving van ongerelateerde typische overtuigingen blokkeert) op te lossen. De auteurs demonstreren dat Lexicographic Closure in PDSL erin slaagt om ongerelateerde overtuigingen te onderscheiden, waardoor een sub-standpunt overtuigingen kan erven die niet betrokken zijn bij de specifieke uitzondering.

Belangrijkste Resultaten

• Expressiviteit: De introductie van gesitueerde conditionelen stelt PDSL in staat om haar volledige syntaxis uit te drukken met een structuur die analoog is aan propositionele conditionelen, wat de vertaling naar KLM-logica vergemakkelijkt.
• Inferentiële Sterkte: De voorgestelde niet-monotone implicatie ($| \approx_r$) is strikt sterker dan de voorheen geldende monotone implicatie ($\models_P$). Het ondersteunt succesvol de overerving van typische overtuigingen voor sub-standpunten en de afleiding van consequenties uit typische overtuigingen, waar $\models_P$ tekortschoot.
• Complexiteitsbehoud: De complexiteit van de implicatiecontrole in het voorgestelde PDSL-fragment is identiek aan die van het propositionele geval.
  • Het controleren van Rational Closure is $P^{NP}_{||}$-compleet.
  • Het controleren van Lexicographic Closure is $P^{NP}$-compleet.
  • Dit wordt bereikt omdat de vertaling $T$ lineair is en de onderliggende propositionele algoritmen direct kunnen worden gebruikt.
• Afhandeling van Diamant-modaliteiten: Het artikel introduceert een "negatie als falen"-operator (not) om diamant-modaliteiten ($\Diamond_e \alpha$) binnen het niet-monotone raamwerk af te handelen. Dit maakt "brave reasoning" met betrekking tot mogelijkheid mogelijk: als een mogelijkheid niet wordt uitgesloten door de kennisbank, wordt deze als geïmpliceerd beschouwd.

Betekenis en Claims
Het artikel claimt een systematische methode te bieden voor het integreren van niet-monotoon redeneren in standpuntlogica's, waarmee de "inferentieel zwakke" aard van eerdere monotone benaderingen wordt aangepakt. Door een getrouwe vertaling tussen een fragment van PDSL en propositionele KLM-logica te vestigen, maken de auteurs de directe toepassing van gevestigde rationele implicatiesystemen (Rational en Lexicographic Closure) op multi-perspectivisch redeneren mogelijk.

De betekenis ligt in:

1. Het Oplossen van Inferentiële Zwakte: Het in staat stellen van PDSL om prototypisch te redeneren, waarbij sub-standpunten typische overtuigingen erven en defesibele implicaties binnen specifieke standpunten voortplanten.
2. Het Oplossen van het Drowning Problem: Het demonstreren dat Lexicographic Closure kan worden toegepast op PDSL om te voorkomen dat ongerelateerde uitzonderingen de overerving van typische overtuigingen blokkeren.
3. Computationele Efficiëntie: Het bewijzen dat deze geavanceerde niet-monotone inferenties kunnen worden berekend met bestaande propositionele algoritmen zonder de computationele complexiteitsklasse te verhogen.

De auteurs concluderen dat hun werk de kloof overbrugt tussen de expressiviteit van standpuntlogica's en de robuuste inferentiële capaciteiten van KLM-stijl defeasible redeneren, en daarmee een praktisch raamwerk biedt voor redeneren met conflicterende en typische standpunten.