Invited talk by Angelika Kimmig.

Title: Probabilistic logic programming

Abstract: Probabilistic programming is an emerging subfield of AI that extends traditional programming languages with primitives to support probabilistic inference and learning. It is closely related to statistical relational learning, but focuses on a programming language perspective rather than on a graphical model one. This talk provides a gentle and coherent introduction to the field by introducing a number of core probabilistic programming concepts and their relations. It focuses on probabilistic extensions of logic programming languages, such as CLP(BN), BLPs, ICL, PRISM, ProbLog, LPADs, CP-logic, SLPs and DYNA, but also discusses relations to alternative probabilistic programming languages such as Church, IBAL and BLOG and to some extent to statistical relational learning models such as RBNs, MLNs, and PRMs. The concepts will be illustrated on a wide variety of tasks, including models representing Bayesian networks, probabilistic graphs, stochastic grammars, etc. This should allow participants to start writing their own probabilistic programs. We further provide an overview of the different inference mechanisms developed in the field, and discuss their suitability for the different concepts. We also touch upon approaches to learn the parameters of probabilistic programs, and mention a number of applications in areas such as robotics, vision, natural language processing, web mining, and bioinformatics.

Bio: Dr Angelika Kimmig is a postdoctoral fellow of the Research Foundation - Flanders (FWO Vlaanderen) at KU Leuven, Belgium, where she obtained her Ph.D. in 2010. She has recently spent a year at the University of Maryland, College Park, USA. Her research interests include symbolic AI, reasoning under uncertainty, machine learning, logic programming, and especially combinations thereof such as probabilistic programming and statistical relational learning. Angelika is one of the key developers of the probabilistic logic programming language ProbLog.

Date / Time: 
Tuesday, 15 July, 2014 - 09:30