The computational complexity of structure-based causality

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2014, Pages 974-980

  Aleksandrowicz, Gadi ^a   Chockler, Hana ^b   Halpern, Joseph Y ^c   Ivrii, Alexander ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c Department of Computer Science and School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

STRUCTURE-BASED;

EID: 84908150555     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Beer, I.; Ben-David, S.; Chockler, H.; Omi, A.; and Trefler, R. J. 2012. Explaining counterexamples using causality. Formal Methods in System Design 40(1):20-40.
2. Chockler, H., and Halpern, J. 2004. Responsibility and blame: A structural-model approach. Journal of Artificial Intelligence Research (JAIR) 22:93-115.
3. Chockler, H.; Halpern, J. Y.; and Kupferman, O. 2008. What causes a system to satisfy a specification? ACM Transactions on Computational Logic 9(3).
4. Collins, J.; Hall, N.; and Paul, L. A., eds. 2004. Causation and Counterfactuals. Cambridge, Mass.: MIT Press.
5. Eiter, T., and Lukasiewicz, T. 2002. Complexity results for structure-based causality. Artificial Intelligence 142(1):53- 89.
6. Gerstenberg, T., and Lagnado, D. 2010. Spreading the blame: The allocation of responsibility amongst multiple agents. Cognition 115:166-171.
7. Hall, N. 2004. Two concepts of causation. In Collins, J.; Hall, N.; and Paul, L. A., eds., Causation and Counterfactuals. Cambridge, Mass.: MIT Press.
8. Halpern, J. Y., and Pearl, J. 2001. Causes and explanations: A structural-model approach. Part I: Causes. In Proc. Seventeenth Conference on Uncertainty in Artificial Intelligence (UAl 2001), 194-202.
9. Halpern, J. Y., and Pearl, J. 2005. Causes and explanations: A structural-model approach. Part I: Causes. British Journal for Philosophy of Science 56{4):843-887.
10. Halpern, J. Y. 2008. Defaults and normality in causal structures. In Principles of Knowledge Representation and Reasoning: Proc. Eleventh International Conference (KR '08). 198-208.
11. Hopkins, M., and Pearl, J. 2003. Clarifying the usage of structural models for commonsense causal reasoning. In Proc. AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning.
12. Hopkins, M. 2001. A proof of the conjunctive cause conjecture. Unpublished manuscript.
13. Hume, D. 1739. A Treatise of Human Nature. London: John Noon.
14. Jenner, B., and Toran, J. 1995. Computing functions with parallel queries to NP. Theoretical Computer Science 141:175-193.
15. Johnson, D. S. 1990. A catalog of complexity classes. In Leeuwen, J. v., ed., Handbook of Theoretical Computer Science, volume A. Elsevier Science, chapter 2.
16. Lagnado, D.; Gerstenberg, T.; and Zultan, R. 2013. Causal responsibility and counterfactuals. Cognitive Science 37:1036-1073.
17. Meyer, A., and Stockmeyer, L. 1972. The equivalence problem for regular expressions with squaring requires exponential time. In Proc. 13th IEEE Symp. on Switching and Automata Theory, 125-129.
18. Papadimitriou, C. H., and Yannakakis, M. 1984. The complexity of facets (and some facets of complexity). J. Comput. Syst. Sci. 28(2):244-259.
19. Papadimitriou, C. H. 1984. The complexity of unique solutions. Journal of ACM 31:492-500.
20. Pearl, J. 2000. Causality: Models, Reasoning, and Inference. New York: Cambridge University Press.
21. Stockmeyer, L. J. 1977. The polynomial-time hierarchy. Theoretical Computer Science 3:1-22.
22. Wrathall, C. 1976. Complete sets and the polynomial-time.