Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic evaluation of counterfactual queries
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
On the logic of causal explanation
Artificial Intelligence
Artificial Intelligence - Special issue on relevance
A logic of universal causation
Artificial Intelligence
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Complexity results for structure-based causality
Artificial Intelligence
Reasoning with Cause and Effect
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Causes and Explanations: A Structural-Model Approach: Part 1: Causes
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Qualtitative propagation and scenario-based scheme for exploiting probabilistic reasoning
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Strategies for determining causes of events
Eighteenth national conference on Artificial intelligence
Complexity results for explanations in the structural-model approach
Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Journal of Artificial Intelligence Research
Responsibility and blame: a structural-model approach
Journal of Artificial Intelligence Research
Causes and explanations revisited
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Causes and explanations in the structural-model approach
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Defining explanation in probabilistic systems
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
LAYERWIDTH: analysis of a new metric for directed acyclic graphs
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Hi-index | 0.00 |
This paper continues the research on the computational aspects of Halpern and Pearl's causes and explanations in the structural-model approach. To this end, we first explore how an instance of deciding weak cause can be reduced to an equivalent instance in which irrelevant variables in the (potential) weak cause and the causal model are removed, which extends previous work by Hopkins. We then present a new characterization of weak cause for a certain class of causal models in which the causal graph over the endogenous variables has the form of a directed chain of causal subgraphs, called decomposable causal graph. Furthermore, we also identify two important subclasses in which the causal graph over the endogenous variables forms a directed tree and more generally a directed chain of layers, called causal tree and layered causal graph, respectively. By combining the removal of irrelevant variables with this new characterization of weak cause, we then obtain techniques for deciding and computing causes and explanations in the structural-model approach, which can be done in polynomial time under suitable restrictions. This way, we obtain several tractability results for causes and explanations in the structural-model approach. To our knowledge, these are the first explicit ones. They are especially useful for dealing with structure-based causes and explanations in first-order reasoning about actions, which produces large causal models that are naturally layered through the time line, and thus have the structure of layered causal graphs. Furthermore, an important feature of the tractable cases for causal trees and layered causal graphs is that they can be recognized efficiently, namely in linear time. Finally, by extending the new characterization of weak cause, we obtain similar techniques for computing the degrees of responsibility and blame, and hence also novel tractability results for structure-based responsibility and blame.