Genetic programming on program traces as an inference engine for probabilistic languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9205, Issue , 2015, Pages 14-24

  Batishcheva, Vita ^b   Potapov, Alexey ^a,b  

^a ITMO UNIVERSITY   (Russian Federation)

^b ST PETERSBURG STATE UNIVERSITY   (Russian Federation)

Author keywords

Genetic programming; Probabilistic programming; Program traces

Indexed keywords

COMPUTATIONAL LINGUISTICS; GENETIC ALGORITHMS; HEURISTIC METHODS; SIMULATED ANNEALING;

FITNESS FUNCTIONS; GENETIC OPERATORS; META-HEURISTIC METHODS; OPTIMIZATION TASK; PROBABILISTIC LANGUAGE; PROBABILISTIC PROGRAMMING; PROBABILISTIC PROGRAMS; PROGRAM TRACES;

GENETIC PROGRAMMING;

EID: 84952845721     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-21365-1_2     Document Type: Conference Paper

References (12)

1. Potapov, A., Rodionov, S., Myasnikov, A., Begimov, G.: Cognitive Bias for Universal Algorithmic Intelligence (2012). arXiv: 1209. 4290v1 [cs. AI].
2. Goodman, N. D., Mansinghka, V. K., Roy, D. M., Bonawitz, K., Tenenbaum, J. B.: Church: a language for generative models (2008). arXiv: 1206. 3255 [cs. PL].
3. Minka, T., Winn, J. M., Guiver, J. P., Knowles, D.: Infer. NET 2. 4. Microsoft Research Camb. (2010). http://research. microsoft. com/infernet.
4. Koller, D., McAllester, D. A., Pfeffer, A.: Effective Bayesian inference for stochastic programs. Proc. National Conference on Artificial Intelligence (AAAI), pp. 740-747 (1997).
5. Stuhlmüller, A., Goodman, N. D.: A dynamic programming algorithm for inference in recursive probabilistic programs (2012). arXiv: 1206. 3555 [cs. AI].
6. nd Conference on Uncertainty in Artificial Intelligence, pp. 349-358 (2006).
7. Chaganty, A., Nori, A. V., Rajamani, S. K.: Efficiently sampling probabilistic programs via program analysis. In: Proc. Artificial Intelligence and Statistics, pp. 153-160 (2013).
8. Perov, Y., Wood, F.: Learning Probabilistic Programs (2014). arXiv: 1407. 2646 [cs. AI].
9. rd Conf. on Artificial General Intelligence), pp. 151-157 (2010).
10. Goertzel, B., Geisweiller, N., Pennachin, C., Ng, K.: Integrating feature selection into program learning. In: Kühnberger, K.-U., Rudolph, S., Wang, P. (eds.) AGI 2013. LNCS, vol. 7999, pp. 31-39. Springer, Heidelberg (2013).
11. McDermott, J., Carroll, P.: Program optimisation with dependency injection. In: Krawiec, K., Moraglio, A., Hu, T., Etaner-Uyar, A., Hu, B. (eds.) EuroGP 2013. LNCS, vol. 7831, pp. 133-144. Springer, Heidelberg (2013).
12. Gordon, A. D., Henzinger, Th. A., Nori, A. V., Rajamani, S. K.: Probabilistic programming. In: Proc. International Conference on Software Engineering (2014).