Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
- URL: http://arxiv.org/abs/2412.16728v1
- Date: Sat, 21 Dec 2024 18:35:25 GMT
- Title: Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
- Authors: Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv,
- Abstract summary: We build on preliminary work on actual causation in the nondeterministic situation calculus.
We show how regression in the situation calculus can be extended to reason about such notions of actual causes.
- Score: 2.580765958706854
- License:
- Abstract: 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.
Related papers
- Industrial-Grade Time-Dependent Counterfactual Root Cause Analysis through the Unanticipated Point of Incipient Failure: a Proof of Concept [38.342188825927686]
This paper describes the development of a counterfactual Root Cause Analysis diagnosis approach for an industrial time series environment.
It drives the attention toward the Point of Incipient Failure, which is the moment in time when the anomalous behavior is first observed.
arXiv Detail & Related papers (2024-07-10T08:02:03Z) - Automated Discovery of Functional Actual Causes in Complex Environments [18.58053096534201]
Reinforcement learning algorithms often struggle to learn policies that generalize to novel situations.
This paper introduces functional actual cause (FAC), a framework that uses context-specific independencies in the environment to restrict the set of actual causes.
We additionally introduce Joint Optimization for Actual Cause Inference (JACI), an algorithm that learns from observational data to infer functional actual causes.
arXiv Detail & Related papers (2024-04-16T20:04:29Z) - Robust agents learn causal world models [7.845222238426246]
We show that any agent capable of satisfying a regret bound under a large set of distributional shifts must have learned an approximate causal model of the data generating process.
We discuss the implications of this result for several research areas including transfer learning and causal inference.
arXiv Detail & Related papers (2024-02-16T18:29:19Z) - Towards CausalGPT: A Multi-Agent Approach for Faithful Knowledge Reasoning via Promoting Causal Consistency in LLMs [55.66353783572259]
Causal-Consistency Chain-of-Thought harnesses multi-agent collaboration to bolster the faithfulness and causality of foundation models.
Our framework demonstrates significant superiority over state-of-the-art methods through extensive and comprehensive evaluations.
arXiv Detail & Related papers (2023-08-23T04:59:21Z) - Active Bayesian Causal Inference [72.70593653185078]
We propose Active Bayesian Causal Inference (ABCI), a fully-Bayesian active learning framework for integrated causal discovery and reasoning.
ABCI jointly infers a posterior over causal models and queries of interest.
We show that our approach is more data-efficient than several baselines that only focus on learning the full causal graph.
arXiv Detail & Related papers (2022-06-04T22:38:57Z) - Behaviour Explanation via Causal Analysis of Mental States: A
Preliminary Report [0.0]
We build on Khan and Lesp'erance's work to support causal reasoning about conative effects.
In our framework, one can reason about causes of motivational states, and we allow motivation-altering actions to be causes of observed effects.
We illustrate this formalization along with a model of goal recognition can be utilized to explain agent behaviour in communicative multiagent contexts.
arXiv Detail & Related papers (2022-05-16T04:46:50Z) - Causality, Causal Discovery, and Causal Inference in Structural
Engineering [1.827510863075184]
This paper builds a case for causal discovery and causal inference from a civil and structural engineering perspective.
More specifically, this paper outlines the key principles of causality and the most commonly used algorithms and packages for causal discovery and causal inference.
arXiv Detail & Related papers (2022-04-04T14:49:47Z) - CausalCity: Complex Simulations with Agency for Causal Discovery and
Reasoning [68.74447489372037]
We present a high-fidelity simulation environment that is designed for developing algorithms for causal discovery and counterfactual reasoning.
A core component of our work is to introduce textitagency, such that it is simple to define and create complex scenarios.
We perform experiments with three state-of-the-art methods to create baselines and highlight the affordances of this environment.
arXiv Detail & Related papers (2021-06-25T00:21:41Z) - Everything Has a Cause: Leveraging Causal Inference in Legal Text
Analysis [62.44432226563088]
Causal inference is the process of capturing cause-effect relationship among variables.
We propose a novel Graph-based Causal Inference framework, which builds causal graphs from fact descriptions without much human involvement.
We observe that the causal knowledge contained in GCI can be effectively injected into powerful neural networks for better performance and interpretability.
arXiv Detail & Related papers (2021-04-19T16:13:10Z) - ACRE: Abstract Causal REasoning Beyond Covariation [90.99059920286484]
We introduce the Abstract Causal REasoning dataset for systematic evaluation of current vision systems in causal induction.
Motivated by the stream of research on causal discovery in Blicket experiments, we query a visual reasoning system with the following four types of questions in either an independent scenario or an interventional scenario.
We notice that pure neural models tend towards an associative strategy under their chance-level performance, whereas neuro-symbolic combinations struggle in backward-blocking reasoning.
arXiv Detail & Related papers (2021-03-26T02:42:38Z) - Thinking About Causation: A Causal Language with Epistemic Operators [58.720142291102135]
We extend the notion of a causal model with a representation of the state of an agent.
On the side of the object language, we add operators to express knowledge and the act of observing new information.
We provide a sound and complete axiomatization of the logic, and discuss the relation of this framework to causal team semantics.
arXiv Detail & Related papers (2020-10-30T12:16:45Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.