English
Related papers

Related papers: The Sheaf-Theoretic Structure of Definite Causalit…

200 papers

Seen from the modern lens of causal inference, Bell's theorem is nothing else than the proof that a specific classical causal model cannot explain quantum correlations. It is thus natural to move beyond Bell's paradigmatic scenario and…

We extend two kinds of causal models, structural equation models and simulation models, to infinite variable spaces. This enables a semantics for conditionals founded on a calculus of intervention, and axiomatization of causal reasoning for…

Artificial Intelligence · Computer Science 2021-06-03 Duligur Ibeling , Thomas Icard

In this article, the theory of sheaves is studied from a categorical point of view. This perspective vastly generalizes the usual theory of sheaves of sets to a more abstract setting which allows us to investigate the theory of sheaves with…

Commutative Algebra · Mathematics 2017-09-22 Abolfazl Tarizadeh

Probabilities of causation are fundamental to individual-level explanation and decision making, yet they are inherently counterfactual and not point-identifiable from data in general. Existing bounds either disregard available covariates,…

Artificial Intelligence · Computer Science 2026-02-17 Yuxuan Xie , Ang Li

A notion of delegated causality is introduced. This subtle kind of causality is dual to interventional causality. Delegated causality elucidates the causal role of dynamical systems at the "edge of chaos", explicates evident cases of…

Adaptation and Self-Organizing Systems · Physics 2018-09-06 Raimundas Vidunas

It is commonplace to encounter nonstationary data, of which the underlying generating process may change over time or across domains. The nonstationarity presents both challenges and opportunities for causal discovery. In this paper we…

Artificial Intelligence · Computer Science 2016-06-21 Kun Zhang , Biwei Huang , Jiji Zhang , Bernhard Schölkopf , Clark Glymour

There are several existing algorithms that under appropriate assumptions can reliably identify a subset of the underlying causal relationships from observational data. This paper introduces the first computationally feasible score-based…

Artificial Intelligence · Computer Science 2012-07-02 Subramani Mani , Peter L. Spirtes , Gregory F. Cooper

In this paper, we consider event structures and their probabilistic and quantum extensions as originally defined by Winskel. If these structures have already been part of sophisticated computational models, they have rarely been directly…

Logic in Computer Science · Computer Science 2025-12-12 Vítor Fernandes , Marc de Visme , Benoît Valiron

Discovering causal relations among observed variables in a given data set is a main topic in studies of statistics and artificial intelligence. Recently, some techniques to discover an identifiable causal structure have been explored based…

Machine Learning · Computer Science 2012-02-20 Takanori Inazumi , Takashi Washio , Shohei Shimizu , Joe Suzuki , Akihiro Yamamoto , Yoshinobu Kawahara

We propose a formal treatment of scenarios in the context of a dialectical argumentation formalism for qualitative reasoning about uncertain propositions. Our formalism extends prior work in which arguments for and against uncertain…

Artificial Intelligence · Computer Science 2013-01-07 Peter McBurney , Simon Parsons

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

Algebraic Topology · Mathematics 2009-12-21 Krzysztof Worytkiewicz

We establish sufficient conditions for perfect simulation of chains of infinite order on a countable alphabet. The new assumption, localized continuity, is formalized with the help of the notion of context trees, and includes the…

Probability · Mathematics 2013-01-18 Sandro Gallo , Nancy L. Garcia

A novel approach for analyzing "classical" alternatives to quantum mechanics for explaining the statistical results of an EPRB-like experiment is proposed. This perspective is top-down instead of bottom-up. Rather than beginning with an…

Quantum Physics · Physics 2022-04-05 Michael L. Ulrey

A compositional sheaf-theoretic framework for the modeling of complex event-based systems is presented. We show that event-based systems are machines, with inputs and outputs, and that they can be composed with machines of different types,…

Systems and Control · Electrical Eng. & Systems 2021-03-09 Gioele Zardini , David I. Spivak , Andrea Censi , Emilio Frazzoli

This proceeding is based on a talk prepared for the XIV Marcel Grossmann meeting. We review some results on causal set inspired non-local theories as well as work in progress concerning their phenomenology.

General Relativity and Quantum Cosmology · Physics 2015-12-29 Alessio Belenchia

I generalize acyclic deterministic structural causal models to the nondeterministic case and argue that this offers an improved semantics for counterfactuals. The standard, deterministic, semantics developed by Halpern (and based on the…

Artificial Intelligence · Computer Science 2025-03-12 Sander Beckers

We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong…

Quantum Physics · Physics 2018-12-12 Shane Mansfield , Elham Kashefi

The precise definition of causality is currently an open problem in philosophy and statistics. We believe causality should be defined as functions (in mathematics) that map causes to effects. We propose a reductive definition of causality…

Artificial Intelligence · Computer Science 2023-07-18 Tianyi Miao

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

Algebraic Topology · Mathematics 2016-11-04 Michael Robinson

We develop rigorous notions of causality and causal separability in the process framework introduced in [Oreshkov, Costa, Brukner, Nat. Commun. 3, 1092 (2012)], which describes correlations between separate local experiments without a prior…

Quantum Physics · Physics 2016-09-14 Ognyan Oreshkov , Christina Giarmatzi