Actual causality in fault trees

• URL: http://arxiv.org/abs/2607.01840v1
• Date: Thu, 02 Jul 2026 08:04:19 GMT
• Title: Actual causality in fault trees
• Abstract summary: We study fault trees from the perspective of Halpern & Pearl's theory of actual causality.<n>This allows us to use fault trees to answer the question "why has it gone wrong?"<n>We show how minimal cut sets give rise to actual causes.
• Score: 1.8395808992433194
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Fault trees are a widely used as effective risk models for complex systems, answering the question "what can go wrong?", especially through minimal cut set analysis. We study fault trees from the perspective of Halpern & Pearl's theory of actual causality. This allows us to use fault trees to answer the question "why has it gone wrong?", which is fundamental to failure diagnostics. We give a complete classification of each of the different notions of actual causality in terms of the fault tree's graph structure and logical structure, and show how minimal cut sets give rise to actual causes.

Related papers

• Causal Scaffolding for Physical Reasoning: A Benchmark for Causally-Informed Physical World Understanding in VLMs [49.55219052565761]
  CausalPhys is a benchmark of over 3,000 carefully curated video- and image-based questions spanning four domains: Perception, Anticipation, Intervention, and Goal Orientation.<n>Each question is paired with an expert-annotated causal graph capturing object-attribute-event dependencies, enabling interpretable and fine-grained evaluation of causal understanding.<n>Building on this, we formulate a causal-graph-grounded metric that quantitatively measures how well a model's chain-of-thought reasoning aligns with the correct causal relations.<n>We propose Causal Rationale-informed Fine-Tuning (CRFT), which explicitly
  arXiv  Detail & Related papers  (2026-06-04T10:07:05Z)
• Formalizing and falsifying causal pathways of rare events [7.33673561186158]
  We propose a formal definition of a causal pathway and discuss its testable implications.<n>We identify conditions under which these implications depend only on a causal abstraction defined by the pathway of rare events.
  arXiv  Detail & Related papers  (2026-05-29T12:50:47Z)
• Root Cause Analysis of Outliers in Unknown Cyclic Graphs [7.33673561186158]
  We show that it is possible to identify a short list of potential root causes provided that the perturbation is sufficiently strong.<n>This shortlist consists of the true root causes together with those of its parents lying on a cycle with the root cause.
  arXiv  Detail & Related papers  (2025-10-08T13:19:01Z)
• Algorithmic causal structure emerging through compression [53.52699766206808]
  We explore the relationship between causality, symmetry, and compression.<n>We build on and generalize the known connection between learning and compression to a setting where causal models are not identifiable.<n>We define algorithmic causality as an alternative definition of causality when traditional assumptions for causal identifiability do not hold.
  arXiv  Detail & Related papers  (2025-02-06T16:50:57Z)
• Root Cause Analysis of Outliers with Missing Structural Knowledge [14.28002402145387]
  The goal of Root Cause Analysis (RCA) is to explain why an anomaly occurred by identifying where the fault originated.<n>In this paper, we propose simple, efficient methods to overcome both difficulties in the case where there is a single root cause and the causal graph is a polytree.
  arXiv  Detail & Related papers  (2024-06-07T15:24:38Z)
• Why do Random Forests Work? Understanding Tree Ensembles as Self-Regularizing Adaptive Smoothers [68.76846801719095]
  We argue that the current high-level dichotomy into bias- and variance-reduction prevalent in statistics is insufficient to understand tree ensembles. We show that forests can improve upon trees by three distinct mechanisms that are usually implicitly entangled.
  arXiv  Detail & Related papers  (2024-02-02T15:36:43Z)
• Probabilistic Tree-of-thought Reasoning for Answering Knowledge-intensive Complex Questions [93.40614719648386]
  Large language models (LLMs) are capable of answering knowledge-intensive complex questions with chain-of-thought (CoT) reasoning. Recent works turn to retrieving external knowledge to augment CoT reasoning. We propose a novel approach: Probabilistic Tree-of-thought Reasoning (ProbTree)
  arXiv  Detail & Related papers  (2023-11-23T12:52:37Z)
• Hierarchical Graph Neural Networks for Causal Discovery and Root Cause Localization [52.72490784720227]
  REASON consists of Topological Causal Discovery and Individual Causal Discovery. The Topological Causal Discovery component aims to model the fault propagation in order to trace back to the root causes. The Individual Causal Discovery component focuses on capturing abrupt change patterns of a single system entity.
  arXiv  Detail & Related papers  (2023-02-03T20:17:45Z)
• Tree-Like Justification Systems are Consistent [0.0]
  Two variants of justification theory exist: one in which justifications are trees and one in which they are graphs. In this work we resolve the consistency problem once and for all for the tree-like setting by showing that all reasonable tree-like justification systems are consistent.
  arXiv  Detail & Related papers  (2022-08-05T10:48:08Z)
• Causal Expectation-Maximisation [70.45873402967297]
  We show that causal inference is NP-hard even in models characterised by polytree-shaped graphs. We introduce the causal EM algorithm to reconstruct the uncertainty about the latent variables from data about categorical manifest variables. We argue that there appears to be an unnoticed limitation to the trending idea that counterfactual bounds can often be computed without knowledge of the structural equations.
  arXiv  Detail & Related papers  (2020-11-04T10:25:13Z)
• Algorithms for Causal Reasoning in Probability Trees [13.572630988699572]
  We present concrete algorithms for causal reasoning in discrete probability trees. Our work expands the domain of causal reasoning to a very general class of discrete processes.
  arXiv  Detail & Related papers  (2020-10-23T08:51:52Z)

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.