Inference in Probabilistic Logic Programs Using Lifted Explanations
In this paper, we consider the problem of lifted inference in the context of Prism-like probabilistic logic programming languages. Traditional inference in such languages involves the construction of an explanation graph for the query that treats each instance of a random variable separately. For many programs and queries, we observe that explanations can be summarized into substantially more compact structures introduced in this paper, called "lifted explanation graph". In contrast to existing lifted inference techniques, our method for constructing lifted explanations naturally generalizes existing methods for constructing explanation graphs. To compute probability of query answers, we solve recurrences generated from the lifted graphs. We show examples where the use of our technique reduces the asymptotic complexity of inference.
Probabilistic logic programs
Probabilistic inference
Lifted inference
Symbolic evaluation
Constraints
15:1-15:15
Regular Paper
Arun
Nampally
Arun Nampally
C. R.
Ramakrishnan
C. R. Ramakrishnan
10.4230/OASIcs.ICLP.2016.15
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, and Riccardo Zese. Lifted variable elimination for probabilistic logic programming. TPLP, 14(4-5):681-695, 2014.
Rodrigo De Salvo Braz, Eyal Amir, and Dan Roth. Lifted first-order probabilistic inference. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 1319-1325, 2005.
Randal E Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys (CSUR), 24(3):293-318, 1992.
Luc De Raedt, Angelika Kimmig, and Hannu Toivonen. ProbLog: A probabilistic prolog and its application in link discovery. In IJCAI, pages 2462-2467, 2007.
Anton Dries, Angelika Kimmig, Wannes Meert, Joris Renkens, Guy Van den Broeck, Jonas Vlasselaer, and Luc De Raedt. Problog2: Probabilistic logic programming. In ECML PKDD, pages 312-315, 2015.
Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Efficient verification of real-time systems: Compact data structure and state-space reduction. In IEEE RTSS’97, pages 14-24, 1997.
Brian Milch, Luke S Zettlemoyer, Kristian Kersting, Michael Haimes, and Leslie Pack Kaelbling. Lifted probabilistic inference with counting formulas. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, pages 1062-1068, 2008.
Antoine Miné. The octagon abstract domain. Higher-Order and Symbolic Computation, 19(1):31-100, 2006.
Arun Nampally and C. R. Ramakrishnan. Inference in probabilistic logic programs using lifted explanations. Technical report, Computer Science Department, Stony Brook University, 2016. URL: http://www.cs.stonybrook.edu/~px/Papers/NR:lifted_tr_2016/.
http://www.cs.stonybrook.edu/~px/Papers/NR:lifted_tr_2016/
David Poole. First-order probabilistic inference. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, volume 3, pages 985-991, 2003.
Fabrizio Riguzzi and Terrance Swift. The PITA system: Tabling and answer subsumption for reasoning under uncertainty. TPLP, 11(4-5):433-449, 2011.
Taisuke Sato and Yoshitaka Kameya. PRISM: a language for symbolic-statistical modeling. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, volume 97, pages 1330-1339, 1997.
Taisuke Sato and Yoshitaka Kameya. Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research, pages 391-454, 2001.
Daniel R Sheldon and Thomas G. Dietterich. Collective graphical models. In Advances in Neural Information Processing Systems 24, pages 1161-1169, 2011. URL: http://papers.nips.cc/paper/4220-collective-graphical-models.pdf.
http://papers.nips.cc/paper/4220-collective-graphical-models.pdf
Arvind Srinivasan, Timothy Kam, Sharad Malik, and Robert K. Brayton. Algorithms for discrete function manipulation. In International Conference on Computer-Aided Design, ICCAD, pages 92-95, 1990. URL: http://dx.doi.org/10.1109/ICCAD.1990.129849.
http://dx.doi.org/10.1109/ICCAD.1990.129849
Nima Taghipour, Daan Fierens, Jesse Davis, and Hendrik Blockeel. Lifted variable elimination: Decoupling the operators from the constraint language. J. Artif. Intell. Res. (JAIR), 47:393-439, 2013.
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, and Luc De Raedt. Lifted probabilistic inference by first-order knowledge compilation. In IJCAI, pages 2178-2185, 2011.
Sergio Yovine. Model-checking timed automata. In Embedded Systems, number 1494 in LNCS, pages 114-152, 1998.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode