English
Related papers

Related papers: The Complexity of Causality and Responsibility for…

200 papers

In this paper, we propose causality as a unified framework to explain query answers and non-answers, thus generalizing and extending several previously proposed approaches of provenance and missing query result explanations. We develop our…

Databases · Computer Science 2009-12-31 Alexandra Meliou , Wolfgang Gatterbauer , Katherine F. Moore , Dan Suciu

Several research thrusts in the area of data management have focused on understanding how changes in the data affect the output of a view or standing query. Example applications are explaining query results, propagating updates through…

Databases · Computer Science 2015-07-03 Cibele Freire , Wolfgang Gatterbauer , Neil Immerman , Alexandra Meliou

A definition of causality introduced by Halpern and Pearl, which uses structural equations, is reviewed. A more refined definition is then considered, which takes into account issues of normality and typicality, which are well known to…

Artificial Intelligence · Computer Science 2014-12-10 Joseph Y. Halpern

Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to take into account the degree of responsibility of A for B. For…

Artificial Intelligence · Computer Science 2007-05-23 Hana Chockler , Joseph Y. Halpern

We consider here the problem of obtaining reliable, consistent information from inconsistent databases -- databases that do not have to satisfy given integrity constraints. We use the notion of consistent query answer -- a query answer…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski

We study formal languages which are capable of fully expressing quantitative probabilistic reasoning and do-calculus reasoning for causal effects, from a computational complexity perspective. We focus on satisfiability problems whose…

Artificial Intelligence · Computer Science 2023-05-17 Benito van der Zander , Markus Bläser , Maciej Liśkiewicz

Halpern and Pearl introduced a definition of actual causality; Eiter and Lukasiewicz showed that computing whether X=x is a cause of Y=y is NP-complete in binary models (where all variables can take on only two values) and\…

Artificial Intelligence · Computer Science 2014-12-10 Gadi Aleksandrowicz , Hana Chockler , Joseph Y. Halpern , Alexander Ivrii

The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding…

Artificial Intelligence · Computer Science 2025-02-07 Julian Dörfler , Benito van der Zander , Markus Bläser , Maciej Liskiewicz

Many tasks in statistical and causal inference can be construed as problems of \emph{entailment} in a suitable formal language. We ask whether those problems are more difficult, from a computational perspective, for \emph{causal}…

Logic in Computer Science · Computer Science 2023-06-02 Milan Mossé , Duligur Ibeling , Thomas Icard

The theory of actual causality, defined by Halpern and Pearl, and its quantitative measure - the degree of responsibility - was shown to be extremely useful in various areas of computer science due to a good match between the results it…

Software Engineering · Computer Science 2016-08-30 Hana Chockler

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond ${\bf NP\neq co NP}$. These conjectures formally connect computational complexity with the difficulty of…

Logic · Mathematics 2017-05-22 Pavel Pudlak

Emergence and causality are two fundamental concepts for understanding complex systems. They are interconnected. On one hand, emergence refers to the phenomenon where macroscopic properties cannot be solely attributed to the cause of…

Physics and Society · Physics 2024-02-27 Bing Yuan , Zhang Jiang , Aobo Lyu , Jiayun Wu , Zhipeng Wang , Mingzhe Yang , Kaiwei Liu , Muyun Mou , Peng Cui

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

Resilience is one of the key algorithmic problems underlying various forms of reverse data management (such as view maintenance, deletion propagation, and various interventions for fairness): What is the minimal number of tuples to delete…

Databases · Computer Science 2023-10-24 Neha Makhija , Wolfgang Gatterbauer

In this work we establish and investigate connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and…

Databases · Computer Science 2014-12-16 Babak Salimi , Leopoldo Bertossi

We show that for every conjunctive query, the complexity of evaluating it on a probabilistic database is either \PTIME or #\P-complete, and we give an algorithm for deciding whether a given conjunctive query is \PTIME or #\P-complete. The…

Databases · Computer Science 2007-05-23 Nilesh Dalvi , Dan Suciu

Causality defines the relationship between cause and effect. In multivariate time series field, this notion allows to characterize the links between several time series considering temporal lags. These phenomena are particularly important…

Methodology · Statistics 2023-06-01 Antonin Arsac , Aurore Lomet , Jean-Philippe Poli

In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases,…

Databases · Computer Science 2014-07-01 Babak Salimi , Leopoldo Bertossi

Understanding causality is key to the success of NLP applications, especially in high-stakes domains. Causality comes in various perspectives such as enable and prevent that, despite their importance, have been largely ignored in the…

Computation and Language · Computer Science 2022-04-18 Linyi Yang , Zhen Wang , Yuxiang Wu , Jie Yang , Yue Zhang

The nature of intelligence in both humans and machines is a longstanding question. While there is no universally accepted definition, the ability to reason causally is often regarded as a pivotal aspect of intelligence (Lake et al., 2017).…

Artificial Intelligence · Computer Science 2025-12-16 Hanna Dettki
‹ Prev 1 2 3 10 Next ›