Counterfactuals Modulo Temporal Logics

(2023) Counterfactuals Modulo Temporal Logics.

Text Counterfactuals_Modulo_Temporal_Logics.pdf Download (538kB)

Abstract

Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality. In this paper, we extend this theory in the temporal direction to enable symbolic counterfactual reasoning on infinite sequences, such as counterexamples found by a model checker and trajectories produced by a reinforcement learning agent. In particular, our extension considers a more relaxed notion of similarity between worlds and proposes two additional counterfactual operators that close a semantic gap between the previous two in this more general setting. Further, we consider versions of counterfactuals that minimize the distance to the witnessing counterfactual worlds, a common requirement in causal analysis. To automate counterfactual reasoning in the temporal domain, we introduce a logic that combines temporal and counterfactual operators, and outline decision procedures for the satisfiability and trace-checking problems of this logic.

Item Type:	Conference or Workshop Item (A Paper) (Paper)
Divisions:	Bernd Finkbeiner (Reactive Systems Group, RSG)
Conference:	LPAR Logic Programming and Automated Reasoning
Depositing User:	Julian Siber
Date Deposited:	15 Jun 2023 18:00
Last Modified:	15 Jun 2023 18:00
Primary Research Area:	NRA2: Reliable Security Guarantees
URI:	https://publications.cispa.saarland/id/eprint/3969

Actions

Actions (login required)

View Item