# Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version

arXiv: https://arxiv.org/abs/2412.16728 · HTML: https://mlsanity.com/paper/2412.16728/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 0 of its 21 references that are in the map.
- First posted on arXiv 21 Dec 2024.

## Built on by (most cited first, 1 of 1)

- [On the Semantics of Primary Cause in Hybrid Dynamic Domains](https://mlsanity.com/paper/2602.14994/) (2026)

## Abstract (arXiv)

Reasoning about the causes behind observations is crucial to the formalization of rationality. While extensive research has been conducted on root cause analysis, most studies have predominantly focused on deterministic settings. In this paper, we investigate causation in more realistic nondeterministic domains, where the agent does not have any control on and may not know the choices that are made by the environment. We build on recent preliminary work on actual causation in the nondeterministic situation calculus to formalize more sophisticated forms of reasoning about actual causes in such domains. We investigate the notions of ``Certainly Causes'' and ``Possibly Causes'' that enable the representation of actual cause for agent actions in these domains. We then show how regression in the situation calculus can be extended to reason about such notions of actual causes.