Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic

Technisches Resümee: Hin zu nicht-monotoner Folgerung in der propositionalen defizierbaren Standpunktlogik

Problemstellung
Jüngste Fortschritte im Bereich des defizierbaren Schließens haben die Anwendung von präferentieller Semantik und KLM-artiger Folgerung auf modale Logiken erfolgreich auf die propositionale defizierbare Standpunktlogik (PDSL) ausgeweitet. PDSL ermöglicht die Darstellung widersprüchlicher Sichtweisen und typischer Überzeugungen innerhalb eines einzigen Rahmens unter Verwendung von Modalitäten wie $❘∼∼❘_e \alpha$ (was bedeutet: „$\alpha$ gilt in den typischsten Verständnissen des Standpunkts $e$“). Die bisherige Arbeit in diesem Bereich hat sich jedoch primär auf die Erfüllbarkeitsprüfung und die tarskische (monotone) Folgerung ($\models_P$) konzentriert.

Die Autoren identifizieren eine kritische inferenzielle Schwäche des aktuellen monotonen Ansatzes. Unter $\models_P$ kann eine Wissensbasis oft keine intuitiven nicht-monotonen Schlüsse unterstützen. Wenn beispielsweise ein Standpunkt $P$ typischerweise $\alpha$ glaubt und $\alpha$ defizierbar $\beta$ impliziert, kann der monotone Rahmen nicht schlussfolgern, dass $P$ typischerweise $\beta$ glaubt. Ebenso können Sub-Standpunkte (z. B. Ingenieurwesen) typische Überzeugungen eines Super-Standpunkts (z. B. Physik) nicht erben, wenn auch nur die potenzielle Möglichkeit eines Konflikts besteht, selbst wenn kein spezifischer Konflikt vorliegt. Dies schränkt den Nutzen von PDSL für prototypisches Schließen ein, bei dem Vererbung und Typizität erwartet werden.

Methodik
Um diese Einschränkungen zu adressieren, schlägt das Paper vor, nicht-monotone rationale Folgerungsrelationen von der traditionellen propositionalen KLM-Argumentation auf ein Fragment der PDSL zu heben. Die Methodik gliedert sich in vier Hauptphasen:

1. Erweiterung der Ausdrucksstärke durch situierte Konditionale:
   Die Autoren führen „situierte Standpunkt-Konditionale“ der Form $\alpha \rightsquigarrow_e \beta$ ein, gelesen als „innerhalb des Standpunkts $e$ impliziert ein Glaube an $\alpha$ üblicherweise einen Glauben an $\beta$.“ Dieses Konstrukt ermöglicht es, defizierbare Implikationen standortspezifisch innerhalb des Kontextes eines Standpunkts darzustellen, statt sie global zu behandeln. Die Autoren zeigen, dass diese neue Syntax aussagekräftig genug ist, um die gesamte PDSL-Sprache zu re-charakterisieren, indem sie die Standard-defizierbaren Modalitäten und Implikationen durch diese situierten Konditionale und eine universelle Standpunkt-Modalität ($\square_*$) ersetzt.

2. Translation zu propositionaler KLM:
   Das Paper definiert ein spezifisches Fragment der PDSL, bezeichnet als $Cond(\tilde{\mathcal{L}}_S)$, welches aus positiven defizierbaren Konditionalen ($\alpha \rightsquigarrow_e \beta$) und Standpunkt-Verfeinerungen ($e \lesssim d$) besteht. Eine Translationsfunktion $T$ wird definiert, die Formeln dieses Fragments auf traditionelle propositionale KLM-Konditional-Wissensbasen abbildet.

• Standpunkts-Ausdrücke werden in propositionale Atome oder Boolesche Kombinationen davon übersetzt.
• Ein Konditional $\alpha \rightsquigarrow_e \beta$ wird zu $(\alpha \land t(e)) \mid\sim \beta$ übersetzt.
• Eine Standpunkt-Verfeinerung $e \lesssim d$ wird zu $t(e) \mid\sim t(d)$ übersetzt.
  Entscheidend ist, dass die Autoren beweisen, dass diese Translation treu (faithful) ist: Eine PDSL-Wissensbasis ist genau dann erfüllbar, wenn ihre propositionale Translation erfüllbar ist, und die Modell-Erfüllbarkeit bleibt unter der Translation erhalten ($M \models \varphi \iff T(M) \models T(\varphi)$).

3. Heben von Folgerungsrelationen:
   Unter Verwendung der Translation $T$ heben die Autoren rationale defizierbare Folgerungsrelationen vom propositionalen Fall auf den PDSL-Fall. Für eine gegebene Ranking-Strategie $r$ (die eine Ranking-Funktion einer Wissensbasis zuweist) wird die Folgerungsrelation $| \approx_r$ in PDSL so definiert, dass $\mathcal{K} | \approx_r \varphi$ genau dann gilt, wenn das Präimage des propositionalen gerankten Modells $r(T(\mathcal{K}))$ die Formel $\varphi$ erfüllt.
   Dieser Ansatz ermöglicht die Nutzung bestehender propositionaler Algorithmen (wie etwa DefeasibleEntail), um die Folgerungsprüfung in PDSL durchzuführen.

4. Spezifische Instanziierungen:
   Das Framework wird auf zwei bekannte rationale Entailment-Systeme angewendet:

• Rational Closure: Definiert über die minimale Ranking-Funktion. Das Paper zeigt, dass Rational Closure in PDSL die inferenziellen Schwächen der monotonen Folgerung vermeidet, was die Vererbung typischer Überzeugungen in Abwesenheit direkter Konflikte ermöglicht.
• Lexicographic Closure: Eingeführt, um das „Drowning Problem“ (wo eine Ausnahme in einem Attribut die Vererbung unbezogener typischer Überzeugungen blockiert) zu lösen. Die Autoren demonstrieren, dass Lexicographic Closure in PDSL erfolgreich zwischen unbezogenen Überzeugungen unterscheidet, wodurch ein Sub-Standpunkt jene Überzeugungen erben kann, die nicht an der spezifischen Ausnahme beteiligt sind.

Zentrale Ergebnisse

• Ausdrucksstärke: Die Einführung situierter Konditionale ermöglicht es PDSL, ihre gesamte Syntax mit einer Struktur zu exprimieren, die analog zu propositionalen Konditionalen ist, was die Translation zu KLM-Logik erleichtert.
• Inferenzielle Stärke: Die vorgeschlagene nicht-monotone Folgerung ($| \approx_r$) ist streng stärker als die vorherige monotone Folgerung ($\models_P$). Sie unterstützt erfolgreich die Vererbung typischer Überzeugungen für Sub-Standpunkte sowie die Ableitung von Konsequenzen aus typischen Überzeugungen, wozu $\models_P$ nicht in der Lage war.
• Komplexitätserhaltung: Die Komplexität der Folgerungsprüfung im vorgeschlagenen PDSL-Fragment ist identisch mit der des propositionalen Falls.
  • Die Prüfung von Rational Closure ist $P^{NP}_{||}$-vollständig.
  • Die Prüfung von Lexicographic Closure ist $P^{NP}$-vollständig.
  • Dies wird dadurch erreicht, dass die Translation $T$ linear ist und die zugrunde liegenden propositionalen Algorithmen direkt verwendet werden können.
• Umgang mit Diamond-Modalitäten: Das Paper führt einen „Negation as Failure“-Operator (not) ein, um Diamond-Modalitäten ($\Diamond_e \alpha$) innerhalb des nicht-monotonen Rahmens zu handhaben. Dies ermöglicht „Brave Reasoning“ bezüglich der Möglichkeit: Wenn eine Möglichkeit durch die Wissensbasis nicht ausgeschlossen wird, wird sie als folgernd betrachtet.

Bedeutung und Ansprüche
Das Paper beansprucht, eine systematische Methode zur Integration nicht-monotonen Schließens in Standpunkt-Logiken bereitzustellen, womit es die „inferenziell schwache“ Natur früherer monotoner Ansätze adressiert. Durch die Etablierung einer treuen Translation zwischen einem Fragment der PDSL und der propositionalen KLM-Logik ermöglichen die Autoren die direkte Anwendung etablierter rationaler Entailment-Systeme (Rational und Lexicographic Closure) auf das mehrperspektivische Schließen.

Die Bedeutung liegt in:

1. Behebung der inferenziellen Schwäche: Ermöglicht es PDSL, prototypisches Schließen durchzuführen, bei dem Sub-Standpunkte typische Überzeugungen erben und defizierbare Implikationen innerhalb spezifischer Sichtweisen propagieren.
2. Lösung des Drowning Problems: Demonstriert, dass Lexicographic Closure auf PDSL angewendet werden kann, um zu verhindern, dass unbezogene Ausnahmen die Vererbung typischer Überzeugungen blockieren.
3. Recheneffizienz: Beweist, dass diese fortgeschrittenen nicht-monotonen Inferenzen unter Verwendung bestehender propositionaler Algorithmen berechnet werden können, ohne die Komplexitätsklasse der Berechnung zu erhöhen.

Die Autoren kommen zu dem Schluss, dass ihre Arbeit die Lücke zwischen der Ausdrucksstärke von Standpunkt-Logiken und den robusten inferenziellen Fähigkeiten der KLM-artigen defizierbaren Argumentation schließt und einen praktischen Rahmen für das Schließen mit widersprüchlichen und typischen Sichtweisen bietet.