The magic of logical inference in probabilistic programming

Theory and Practice of Logic Programming

Volumn 11, Issue 4-5, 2011, Pages 663-680

  Gutmann, Bernd ^a   Thon, Ingo ^a   Kimmig, Angelika ^a   Bruynooghe, Maurice ^a   De Raedt, Luc ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

continuous distributions; forward reasoning; probabilistic logic; sampling

Indexed keywords

APPROXIMATE INFERENCE; BACKWARD REASONING; COMPUTATIONALLY EFFICIENT; CONTINUOUS DISTRIBUTION; FORWARD REASONING; FORWARD SAMPLING; IMPORTANCE SAMPLING; INFERENCE MECHANISM; LOGICAL INFERENCE; MAGIC SETS; PROBABILISTIC INFERENCE; PROBABILISTIC PROGRAMMING; PROBABILISTIC PROGRAMMING LANGUAGE; PROGRAMMING TECHNIQUE; SAMPLE SPACE;

LOGIC PROGRAMMING; PROBABILISTIC LOGICS; SEMANTICS;

PROBABILITY DISTRIBUTIONS;

EID: 80054898934     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068411000238     Document Type: Article

References (27)

1. ANGELOPOULOS, N. AND CUSSENS, J. 2003. Prolog issues and experimental results of an MCMC algorithm. In Web Knowledge Management and Decision Support, O. Bartenstein, U. Geske, M. Hannebauer and O. Yoshie, Eds. Lecture Notes in Computer Science, vol. 2543. Springer, Berlin, Germany 186-196.
2. BANCILHON, F., MAIER, D., SAGIV, Y. AND JEFFREY D. ULLMAN. 1986. Magic sets and other strange ways to implement logic programs (extended abstract). In Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS 1986). ACM, Cambridge, MA, 1-15.
3. BARAL, C., GELFOND, M. AND RUSHTON, N. 2009. Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming 9, 1, 57-144.
4. DE RAEDT, L., DEMOEN, B., FIERENS, D., GUTMANN, B., JANSSENS, G., KIMMIG, A., LANDWEHR, N., MANTADELIS, T., MEERT, W., ROCHA, R., SANTOS COSTA, V., THON, I. AND VENNEKENS, J. 2008. Towards digesting the alphabet-soup of statistical relational learning. In Proceedings of the 1st Workshop on Probabilistic Programming: Universal Languages, Systems and Applications, D. Roy, J. Winn, D. McAllester, V. Mansinghka and J. Tenenbaum, Eds. Whistler, British Columbia, Canada.
5. DE RAEDT, L., FRASCONI, P., KERSTING, K. AND MUGGLETON, S. 2008. Probabilistic Inductive Logic Programming - Theory and Applications. LNCS, vol. 4911. Springer, Berlin, Germany.
6. DE RAEDT, L., KIMMIG, A. AND TOIVONEN, H. 2007. ProbLog: A probabilistic Prolog and its application in link discovery. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI) Hyderabad, India, January 6-12. 2462-2467.
7. EISNER, J., GOLDLUST, E. AND SMITH, N. 2005. Compiling comp ling: Weighted dynamic programming and the Dyna language. In Proceedings of the Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing (HLT/EMNLP-05), Vancouver, BC, Canada, October 6-8.
8. FUHR, N. 2000. Probabilistic Datalog: Implementing logical information retrieval for advanced applications. Journal of the American Society for Information Science (JASIS) 51, 2, 95-110.
9. GETOOR, L. AND TASKAR, B. 2007. An Introduction to Statistical Relational Learning. MIT Press, Cambridge, MA.
10. GOGATE, V. AND DECHTER, R. 2011. SampleSearch: Importance sampling in presence of determinism. Artificial Intelligence 175, 694-729.
11. GOODMAN, N., MANSINGHKA, V. K., ROY, D. M., BONAWITZ, K. AND TENENBAUM, J. B. 2008. Church: A language for generative models. In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12. AUAI Press, Helsinki, Finland, 220-229.
12. GUTMANN, B., JAEGER, M. AND DE RAEDT, L. 2010. Extending ProbLog with continuous distributions. In Proceedings of the 20th International Conference on Inductive Logic Programming (ILP-10), Firenze, Italy, June 27-30, P. Frasconi and F. A. Lisi, Eds. Springer, Berlin, Germany.
13. KERSTING, K. AND DE RAEDT, L. 2008. Basic principles of learning Bayesian logic programs. See De Raedt et al. (2008), 189-221.
14. KIMMIG, A., DEMOEN, B., DE RAEDT, L., SANTOS COSTA, V. AND ROCHA, R. 2011. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming (TPLP) 11, 235-262.
15. KOLLER, D. AND FRIEDMAN, N. 2009. Probabilistic Graphical Models: Principles and Techniques. MIT Press, Cambridge, MA.
16. MANTADELIS, T. AND JANSSENS, G. 2010. Dedicated tabling for a probabilistic setting. In Technical Communications of the 26th International Conference on Logic Programming (ICLP-10), M. V. Hermenegildo and T Schaub, Eds. LIPIcs, vol. 7. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 124-133.
17. MILCH, B., MARTHI, B., RUSSELL, S., SONTAG, D., ONG, D. AND KOLOBOV, A. 2005. BLOG: Probabilistic models with unknown objects. In Proceedings of THE Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), Edinburgh, Scotland, UK, July 30-August 5. Springer Verlag, Berlin, Germany, 1352-1359.
18. MILCH, B., MARTHI, B., SONTAG, D., RUSSELL, S., ONG, D. L. AND KOLOBOV, A. 2005. Approximate inference for infinite contingent Bayesian networks. In Proceedings of the Tenth International Workshop on Artificial Intelligence and Statistics, January 6-8, Barbados, R. G. Cowell and Z. Ghahramani, Eds. Society for Artificial Intelligence and Statistics, New Jersey, 238-245. (Available electronically at http://www.gatsby.ucl.ac.uk/aistats/)
19. NILSSON, U. AND MALISZYŃSKI, J. 1996. Logic, Programming And Prolog, 2nd ed. Wiley, Hoboken, NJ.
20. PFEFFER, A. 2001. IBAL: A probabilistic rational programming language. In Seventeenth International Joint Conference on Artificial Intelligence (IJCAI), Seattle, Washington, August 4-10. Springer, Berlin, Germany, 733-740.
21. POOLE, D. 2008. The independent choice logic and beyond. In Probabilistic Inductive Logic Programming - Theory and Applications, L. De Raedt, P. Frasconi, K. Kersting and S. Muggleton, Eds. LNCS, vol. 4911. Springer, Berlin, Germany, 222-243.
22. RICHARDSON, M. AND DOMINGOS, P. 2006. Markov logic networks. Machine Learning 62, 1-2, 107-136.
23. SANTOS COSTA, V., PAGE, D. AND CUSSENS, J. 2008. CLP (BN): Constraint logic programming for probabilistic knowledge. See De Raedt et al. (2008), 156-188.
24. SATO, T. 1995. A statistical learning method for logic programs with distribution semantics. In Proceedings of the Twelth International Conference on Logic Programming (ICLP 1995). MIT Press, Cambridge, MA, 715-729.
25. SATO, T. AND KAMEYA, Y. 2001. Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Resesearch (JAIR) 15, 391-454.
26. VENNEKENS, J., DENECKER, M. AND BRUYNOOGHE, M. 2009. CP-logic: A language of causal probabilistic events and its relation to logic programming. Theory and Practice of Logic Programming 9, 3, 245-308.
27. WASSERMAN, L. 2003. All of Statistics: A Concise Course in Statistical Inference (Springer Texts in Statistics). Springer, Berlin, Germany.