CISPA
Browse

Counterfactuals Modulo Temporal Logics

Download (525.95 kB)
conference contribution
posted on 2023-11-29, 18:24 authored by Bernd FinkbeinerBernd Finkbeiner, Julian SiberJulian Siber
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.

History

Preferred Citation

Bernd Finkbeiner and Julian Siber. Counterfactuals Modulo Temporal Logics. In: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR). 2023.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)

Legacy Posted Date

2023-06-15

Open Access Type

  • Green

BibTeX

@inproceedings{cispa_all_3969, title = "Counterfactuals Modulo Temporal Logics", author = "Finkbeiner, Bernd and Siber, Julian", booktitle="{International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)}", year="2023", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC