A Counterfactual Cause in Situation Calculus

Technische Samenvatting: Een Contrfactuele Oorzaak in Situatietheorie

Probleemstelling
Recent werk van Batusov en Soutchanski vestigde een notie van "werkelijke verwekkingsoorzaak" binnen de Situatietheorie, die in staat is de oorzaak van gekwantificeerde effecten in een gegeven actiegeschiedenis te bepalen. Hoewel deze aanpak succesvol omgaat met actievoorwaarden en gekwantificeerde effecten — beperkingen van eerdere Structural Equation Model (SEM) benaderingen zoals die van Halpern en Pearl (HP) — mist het een definitie die is gebaseerd op een contrfactueel perspectief. Het HP-kader, hoewel invloedrijk, vertrouwt op SEM's die vaak moeite hebben met temporale redenering, kwantificatoren en het onderscheid tussen acties en effecten in complexe domeinen. De auteurs identificeren een lacune in het definiëren van werkelijke causaliteit binnen actietalen die zowel eenvoudig als expliciet contrfactueel is, met name wat betreft de behandeling van disjunctieve doelen en preemptie zonder de definitie te overcompliceren.

Methodologie
De auteurs stellen een nieuwe notie van oorzaak voor, gebaseerd op contrfactuele analyse binnen de logica ES, een modale variant van de Situatietheorie. Deze logica vereenvoudigt het klassieke formalisme door expliciete situationstermen te vermijden, terwijl het regressie- en progressievermogens behoudt.

1. Formeel Kader: Het artikel maakt gebruik van een Basic Action Theory (BAT) $\Sigma$, bestaande uit axioma's voor de beginsituatie, actievoorwaarden en opvolgersituatie-axioma's (Reiters oplossing voor het frameprobleem).
2. Definitie van Minimale Oorzaak: De auteurs definiëren eerst een "minimale oorzaak" algemeen als een actiesequentie $z$ die een doel $\phi$ verwekt (waarbij $\phi$ aanvankelijk onwaar was), zodanig dat $z$ minimaal is volgens specifieke criteria (lengte, grootte van de fluent-set, of een combinatie). Dit vestigt een basiscontrfact: als $z$ niet had plaatsgevonden, zou $\phi$ niet gelden.
3. Verwekkingsoorzaak in Narratieven: De kernbijdrage is de definitie van een Verwekkingsoorzaak voor een specifieke causale setting $C = \langle z, \phi \rangle$, waarbij $z$ een bekende actiegeschiedenis (narratief) is die leidt tot $\phi$.
   • Een prefix $z' \subseteq z$ is een oorzaak als:
     1. $\phi$ geldt na elke uitbreiding van $z'$ binnen $z$.
     2. In het contrfactuele scenario waarin $z'$ wordt verwijderd, de overige acties in $z$ (gefilterd om uitvoerbaarheid te waarborgen) $\phi$ niet leiden.
     3. $z'$ minimaal is (geen echte subsequentie voldoet aan het bovenstaande).
   • Cruciaal introduceren de auteurs een Filter-functie om de contrfactuele verwijdering van acties te hanteren. Als het verwijderen van een prefix $z'$ latere acties in het narratief onuitvoerbaar maakt (bijvoorbeeld het laten vallen van een object dat men niet meer vasthoudt), verwijdert de Filter-functie die afhankelijke acties uit het contrfactuele scenario.

Belangrijkste Bijdragen

• Contrfactuele Definitie in Actietalen: Het artikel biedt een definitie van werkelijke verwekkingsoorzaak die expliciet contrfactueel is, in tegenstelling tot de recursieve, niet-contrfactuele definities van Batusov en Soutchanski.
• Generalisatie: Het voorgestelde concept generaliseert op natuurlijke wijze naar het concept van verwekkingsoorzaak in de context van actiegeschiedenissen.
• Behandeling van Disjunctieve Doelen en Preemptie: De auteurs analyseren hoe hun definitie omgaat met disjunctieve doelen (bijvoorbeeld $A \lor B$). Zij merken op dat in gevallen van preemptie (waar meerdere concurrerende acties een doel kunnen verwekken), hun definitie de gezamenlijke set van concurrerende gebeurtenissen behandelt als de oorzaak, in plaats van een enkele gepreempte gebeurtenis te isoleren. Dit sluit aan bij het gewijzigde HP-kader waarin de conjunctie van gebeurtenissen de oorzaak is.
• Formele Vergelijking: Het artikel relateert hun account formeel aan het werk van Batusov en Soutchanski (Stelling 1), en toont aan dat de set van verwekkingscausale ketens in het Batusov-Soutchanski-kader een subset is van de prefixes die door de contrfactuele definitie van de auteurs worden geïdentificeerd.
• Vergelijking met HP: De auteurs vergelijken hun aanpak met het HP-kader en benadrukken dat, hoewel HP krachtig is, het gevoelig is voor keuzes in domeinmodellering. Daarentegen biedt de Situatietheorie-aanpak een uniforme standaard (de BAT), maar staat voor uitdagingen bij het modelleren van verweven, niet-atomaire concurrerende gebeurtenissen zonder causale relaties "hard te coderen".

Resultaten en Analyse

• Voorbeeldanalyse: Aan de hand van voorbeelden (bijvoorbeeld een blokkenwereld met oppakken, laten vallen, blussen en repareren) tonen de auteurs aan dat hun definitie succesvol minimale prefixes identificeert die doelen verwekken, terwijl overbodige acties worden gefilterd.
• Disjunctieve Doelen: In scenario's met disjunctieve doelen (bijvoorbeeld object C vasthouden of object D) identificeert de definitie correct dat als beide acties vereist zijn om te waarborgen dat het doel geldt in het contrfactuele ontbreken van de prefix, de gehele prefix de oorzaak is. Als één actie alleen volstaat in het contrfactuele scenario, is deze niet de oorzaak.
• Beperkingen: De auteurs erkennen dat hun definitie in gevallen van preemptie die niet-atomaire, verweven gebeurtenissen betreffen, contra-intuïtief kan lijken. Bijvoorbeeld: als een sequentie $z$ een doel verwekt, en het verwijderen van een prefix $z'$ de rest van $z$ onuitvoerbaar maakt, kan de definitie acties in $z'$ bevatten die voor het doel zelf overbodig lijken, maar noodzakelijk zijn om de rest van het narratief mogelijk te maken. Dit is een gevolg van de strikte contrfactuele eis dat het gehele overgebleven narratief moet falen in het verwekken van het doel.

Betekenis en Claims
De auteurs bescheiden claimen dat hun account niet strikt "beter" is dan bestaande formalismen, maar een eenvoudiger, op contrfacten gebaseerd alternatief biedt binnen de Situatietheorie.

• Eenvoud: De definitie vertrouwt op de "but-for" intuïtie (als de actie niet had plaatsgevonden, zou het doel niet waar zijn), aangepast voor rijke actiesettingen, en vermijdt de complexe recursieve structuren van eerdere Situatietheorie-causaliteitsdefinities.
• Toepasbaarheid: De aanpak wordt als gunstig beschouwd voor toepassingen die causale redenering in actietalen vereisen, zoals GOLOG-gebaseerde robotprogrammering.
• Nuance: Het artikel benadrukt de specifieke nuances van het toepassen van contrfacten op disjunctieve doelen, een bekende moeilijkheid in definities van werkelijke causaliteit, en positioneert hun gezamenlijke-gebeurtenisbenadering als een redelijke oplossing die consistent is met recente HP-wijzigingen.

Het artikel concludeert met het suggereren van toekomstig werk gericht op het uitbreiden van dit account naar epistemische settingen (redeneren over kennis van oorzaken) en het aanpassen van de methode voor praktische robotprogrammeringstaken.