Skip to main content

Computing LPMLN using ASP and MLN solvers*


LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined. We present two implementations of LPMLN, lpmln2asp and lpmln2mln. System lpmln2asp translates LPMLN programs into the input language of answer set solver clingo, and using weak constraints and stable model enumeration, it can compute most probable stable models as well as exact conditional and marginal probabilities. System lpmln2mln translates LPMLN programs into the input language of Markov Logic solvers, such as alchemy, tuffy, and rockit, and allows for performing approximate probabilistic inference on LPMLN programs. We also demonstrate the usefulness of the LPMLN systems for computing other languages, such as ProbLog and Pearl's Causal Models, that are shown to be translatable into LPMLN.

Hide All

This work was partially supported by the National Science Foundation under Grants IIS-1319794 and IIS-1526301.

Hide All
Balai, E. and Gelfond, M. 2016. On the relationship between P-log and LPMLN. In Proc. of International Joint Conference on Artificial Intelligence (IJCAI), 915–921.
Baral, C., Gelfond, M. and Rushton, J. N. 2009. Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming 9, 1, 57144.
Buccafurri, F., Leone, N. and Rullo, P. 2000. Enhancing disjunctive datalog by constraints. IEEE Transactions on Knowledge and Data Engineering 12, 5, 845860.
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F. and Schaub, T. 2012. ASP-Core-2: Input language format. ASP Standardization Working Group, Technical Report.
De Raedt, L., Kimmig, A. and Toivonen, H. 2007. ProbLog: A probabilistic prolog and its application in link discovery. In Proc. of IJCAI, vol. 7. 2462–2467.
Fierens, D., Van den Broeck, G., Renkens, J., Shterionov, D., Gutmann, B., Thon, I., Janssens, G. and De Raedt, L. 2015. Inference and learning in probabilistic logic programs using weighted boolean formulas. Theory and Practice of Logic Programming 15, 3, 358401.
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2011. Multi-criteria optimization in answer set programming. In LIPIcs-Leibniz International Proceedings in Informatics, vol. 11. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 1–10.
Lee, J., Meng, Y. and Wang, Y. 2015. Markov logic style weighted rules under the stable model semantics. In Technical Communications of the 31st International Conference on Logic Programming.
Lee, J., Talsania, S. and Wang, Y. 2017. Online appendix for the paper “Computing LPMLN using ASP and MLN solvers”. TPLP Archive.
Lee, J. and Wang, Y. 2016. Weighted rules under the stable model semantics. In Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR), 145–154.
Lee, J. and Yang, Z. 2017. LPMLN, weak constraints, and P-log. In Proc. of the AAAI Conference on Artificial Intelligence (AAAI), 1170–1177.
Nickles, M. 2016. A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics. In Proc. of European Conference on Logics in Artificial Intelligence (JELIA), 369–384.
Pearl, J. 2000. Causality: Models, Reasoning and Inference. Vol. 29. Cambridge University Press.
Richardson, M. and Domingos, P. 2006. Markov logic networks. Machine Learning 62, 1–2, 107136.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Type Description Title
Supplementary materials

Lee et al supplementary material 1

 PDF (599 KB)
599 KB


Full text views

Total number of HTML views: 1
Total number of PDF views: 13 *
Loading metrics...

Abstract views

Total abstract views: 107 *
Loading metrics...

* Views captured on Cambridge Core between 30th August 2017 - 17th March 2018. This data will be updated every 24 hours.