Discovering cyclic causal models with latent variables: A general SAT-based procedure

Uncertainty in Artificial Intelligence - Proceedings of the 29th Conference, UAI 2013

Volumn , Issue , 2013, Pages 301-310

  Hyttinen, Antti ^a   Hoyer, Patrik O ^a   Eberhardt, Frederick ^b   Järvisalo, Matti ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACK-GROUND KNOWLEDGE; BOOLEAN SATISFIABILITY; CAUSAL MODEL; CONSTRAINT-BASED; DISCOVERY ALGORITHM; FEED-BACK LOOP; LATENT VARIABLE; LOGICAL REPRESENTATIONS;

ARTIFICIAL INTELLIGENCE;

ALGORITHMS;

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

References (29)

1. Biere, A., Heule, M. J. H., van Maaren, H., and Walsh, T., editors (2009). Handbook of Satisfiability. IOS Press.
2. Borboudakis, G., Triantafilou, S., Lagani, V., and Tsamardinos, I. (2011). A constraint-based approach to incorporate prior knowledge in causal models. In Proc. ESANN, pages 321-326.
3. Borboudakis, G. and Tsamardinos, I. (2012). Incorporating causal prior knowledge as path-constraints in bayesian networks and maximal ancestral graphs. In Proc. ICML, pages 1799-1806.
4. Claassen, T. and Heskes, T. (2010). Causal discovery discovery in multiple models from different experiments. In Proc. NIPS, pages 415-423.
5. Eén, N. and Sörensson, N. (2003). Temporal induction by incremental SAT solving. Electr. Notes Theor. Comput. Sci., 89(4): 543-560.
6. Eén, N. and Sörensson, N. (2004). An extensible SAT-solver. In Proc. SAT 2003, pages 502-518.
7. Geiger, D., Verma, T., and Pearl, J. (1990). Identifying independence in Bayesian networks. Networks, 20: 507-533.
8. Hoyer, P. O., Shimizu, S., Kerminen, A. J., and Palviainen, M. (2008). Estimation of causal effects using linear non-Gaussian causal models with hidden variables. International Journal of Approximate Reasoning, 49: 362-378.
9. Hyttinen, A., Eberhardt, F., and Hoyer, P. O. (2012). Causal discovery of linear cyclic models from multiple experimental data sets with overlapping variables. In Proc. UAI, pages 387-396.
10. Järvisalo, M., Le Berre, D., Roussel, O., and Simon, L. (2012). The international SAT solver competitions. AI Magazine, 33(1): 89-92.
11. Koster, J. T. A. (2002). Marginalizing and conditioning in graphical models. Bernoulli, 8(6): 817-840.
12. Lagani, V., Tsamardinos, I., and Triantafilou, S. (2012). Learning from mixture of experimental data: A constraint-based approach. In Proc. SETN, pages 124-131.
13. Marques-Silva, J. P. and Sakallah, K. A. (1999). GRASP: A search algorithm for propositional satisfiability. IEEE Trans. Computers, 48(5): 506-521.
14. Moskewicz, M. W., and Madigan., C. F., Zhao, Y., Zhang, L., and Malik, S. (2001). Chaff: Engineering an efficient SAT solver. In Proc. DAC, pages 530-535.
15. Neal, R. (2000). On deducing conditional independence from d-separation in causal graphs with feedback. Journal of Artificial Intelligence Research, 12: 87-91.
16. Pearl, J. (2000). Causality: Models, Reasoning, and Inference. Cambridge University Press.
17. Pearl, J. and Dechter, R. (1996). Identifying independencies in causal graphs with feedback. In Proc. UAI, pages 420-426.
18. Peters, J., Janzing, D., and Schölkopf, B. (2010). Identifying cause and effect on discrete data using additive noise models. In Proc. AISTATS, pages 597-604.
19. Richardson, T. and Spirtes, P. (1999). Automated discovery of linear feedback models. In Glymour, C. and Cooper, G. F., editors, Computation, Causation & Discovery, pages 253-302. AAAI / MIT Press.
20. Richardson, T. S. (1996). Feedback Models: Interpretation and Discovery. PhD thesis, Carnegie Mellon University.
21. Schmidt, M. and Murphy, K. (2009). Modeling discrete interventional data using directed cyclic graphical models. In Proc. UAI, pages 487-495.
22. Spirtes, P. (1995). Directed cyclic graphical representation of feedback models. In Proc. UAI, pages 491-498.
23. Spirtes, P., Glymour, C., and Scheines, R. (1993). Causation, Prediction, and Search. Springer-Verlag.
24. Spirtes, P., Meek, C., and Richardson, T. (1999). An algorithm for causal inference in the presence of latent variables and selection bias. In Glymour, C. and Cooper, G. F., editors, Computation, Causation & Discovery, pages 211-252. AAAI / MIT Press.
25. Studeńy, M. (1998). Bayesian networks from the point of view of chain graphs. In Proc. UAI, pages 496-503.
26. Tillman, R. E., Danks, D., and Glymour, C. (2009). Integrating locally learned causal structures with overlapping variables. In Proc. NIPS 2008, pages 1665-1672.
27. Triantafillou, S., Tsamardinos, I., and Tollis, I. G. (2010). Learning causal structure from overlapping variable sets. In Proc. AISTATS, pages 860-867.
28. Tsamardinos, I., Triantafillou, S., and Lagani, V. (2012). Towards integrative causal analysis of heterogeneous data sets and studies. Journal of Machine Learning Research, 13: 1097-1157.
29. Tseitin, G. S. (1983). On the complexity of derivation in propositional calculus. In Automation of Reasoning 2: Classical Papers on Computational Logic 1967-1970, pages 466-483. Springer.