Expectation maximization over binary decision diagrams for probabilistic logic programs

• Published in: Intelligent data analysis Vol. 17; no. 2; pp. 343 - 363
• Main Authors: Bellodi, Elena, Riguzzi, Fabrizio
• Format: Journal Article
• Language: English
• Published: London, England SAGE Publications 01.01.2013
• Subjects: Learning; Logic programming; Machine learning; Mathematical analysis; Mathematical models; Maximization; Probabilistic methods; Probability theory; logic programs with annotated disjunctions; binary decision diagrams; expectation maximization; Statistical relational learning; probabilistic logic programs; probabilistic inductive logic programming
• ISSN: 1088-467X; 1571-4128
• DOI: 10.3233/IDA-130582

Recently much work in Machine Learning has concentrated on using expressive representation languages that combine aspects of logic and probability. A whole field has emerged, called Statistical Relational Learning, rich of successful applications in a variety of domains. In this paper we present a Machine Learning technique targeted to Probabilistic Logic Programs, a family of formalisms where uncertainty is represented using Logic Programming tools. Among various proposals for Probabilistic Logic Programming, the one based on the distribution semantics is gaining popularity and is the basis for languages such as ICL, PRISM, ProbLog and Logic Programs with Annotated Disjunctions. This paper proposes a technique for learning parameters of these languages. Since their equivalent Bayesian networks contain hidden variables, an Expectation Maximization (EM) algorithm is adopted. In order to speed the computation up, expectations are computed directly on the Binary Decision Diagrams that are built for inference. The resulting system, called EMBLEM for “EM over Bdds for probabilistic Logic programs Efficient Mining”, has been applied to a number of datasets and showed good performances both in terms of speed and memory usage. In particular its speed allows the execution of a high number of restarts, resulting in good quality of the solutions.