English
Related papers

Related papers: Causal Kripke Models

200 papers

Causal models are crucial for understanding complex systems and identifying causal relationships among variables. Even though causal models are extremely popular, conditional probability calculation of formulas involving interventions pose…

Artificial Intelligence · Computer Science 2024-05-24 Sainyam Galhotra , Joseph Y. Halpern

We provide a unified operational framework for the study of causality, non-locality and contextuality, in a fully device-independent and theory-independent setting. Our work has its roots in the sheaf-theoretic framework for contextuality…

Quantum Physics · Physics 2023-07-31 Stefano Gogioso , Nicola Pinzani

We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of conditional reasoning in logic-based KR: the semantics we…

Artificial Intelligence · Computer Science 2022-02-16 Giovanni Casini , Umberto Straccia

Uncertainties in the real world mean that is impossible for system designers to anticipate and explicitly design for all scenarios that a robot might encounter. Thus, robots designed like this are fragile and fail outside of…

Robotics · Computer Science 2023-10-02 Ricardo Cannizzaro , Jonathan Routley , Lars Kunze

The aim of this paper is to offer the first systematic exploration and definition of equivalent causal models in the context where both models are not made up of the same variables. The idea is that two models are equivalent when they agree…

Artificial Intelligence · Computer Science 2020-12-11 Sander Beckers

Causal modelling is a tool for generating causal explanations of observed correlations and has led to a deeper understanding of correlations in quantum networks. Existing frameworks for quantum causality tend to focus on acyclic causal…

Quantum Physics · Physics 2024-03-14 V. Vilasini , Roger Colbeck

We introduce CLEAR-3K, a dataset of 3,000 assertion-reasoning questions designed to evaluate whether language models can determine if one statement causally explains another. Each question present an assertion-reason pair and challenge…

Computation and Language · Computer Science 2025-06-23 Naiming Liu , Richard Baraniuk , Shashank Sonkar

We propose a new method of discovering causal relationships in temporal data based on the notion of causal compression. To this end, we adopt the Pearlian graph setting and the directed information as an information theoretic tool for…

Machine Learning · Statistics 2016-11-02 Aleksander Wieczorek , Volker Roth

A serious defect with the Halpern-Pearl (HP) definition of causality is repaired by combining a theory of causality with a theory of defaults. In addition, it is shown that (despite a claim to the contrary) a cause according to the HP…

Artificial Intelligence · Computer Science 2008-12-18 Joseph Y. Halpern

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically…

Logic · Mathematics 2022-01-24 Fausto Barbero , Fan Yang

Causal models, also known as Structural Equation Models (SEM), are a well-known formalism for representing and reasoning about causal dependencies between events. In this paper, we show that Temporal SEMs (TSEMs), which extend SEMs to…

Formal Languages and Automata Theory · Computer Science 2026-05-08 Maksim Gladyshev , Natasha Alechina , Brian Logan

In this paper we review important aspects of semiparametric theory and empirical processes that arise in causal inference problems. We begin with a brief introduction to the general problem of causal inference, and go on to discuss…

Statistics Theory · Mathematics 2016-07-25 Edward H. Kennedy

Recent advances in foundation models, especially in large multi-modal models and conversational agents, have ignited interest in the potential of generally capable embodied agents. Such agents will require the ability to perform new tasks…

We develop an approach to combining contextuality with causality, which is general enough to cover causal background structure, adaptive measurement-based quantum computation, and causal networks. The key idea is to view contextuality as…

Quantum Physics · Physics 2024-03-08 Samson Abramsky , Rui Soares Barbosa , Amy Searle

Causality is omnipresent in scientists' verbalisations of their understanding, even though we have no formal consensual scientific definition for it. In Automata Networks, it suffices to say that automata "influence" one another to…

Other Computer Science · Computer Science 2016-10-28 Mathilde Noual

Causal discovery aims to automatically uncover causal relationships from data, a capability with significant potential across many scientific disciplines. However, its real-world applications remain limited. Current methods often rely on…

Mathematical models of the real world are simplified representations of complex systems. A caveat to using mathematical models is that predicted causal effects and conditional independences may not be robust under model extensions, limiting…

Methodology · Statistics 2022-08-30 Tineke Blom , Joris M. Mooij

We give an up-to-date perspective with a general overview of the theory of causal properties, the derived causal structures, their classification and applications, and the definition and construction of causal boundaries and of causal…

General Relativity and Quantum Cosmology · Physics 2016-08-16 Alfonso García-Parrado , José M. M. Senovilla

In the light of some recent results, it is argued that usual concepts of causality and locality are approximations valid at scales greater than the Compton wavelength and corresponding time scales. It follows that the "spooky" non-locality…

Quantum Physics · Physics 2007-05-23 B. G. Sidharth

Actual causation is concerned with the question "what caused what?" Consider a transition between two states within a system of interacting elements, such as an artificial neural network, or a biological brain circuit. Which combination of…

Artificial Intelligence · Computer Science 2019-01-11 Larissa Albantakis , William Marshall , Erik Hoel , Giulio Tononi
‹ Prev 1 8 9 10 Next ›