Skip to main content
×
Home
    • Aa
    • Aa

Computing LPMLN using ASP and MLN solvers*

  • JOOHYUNG LEE (a1), SAMIDH TALSANIA (a1) and YI WANG (a1)
Abstract
Abstract

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.

Copyright
Footnotes
Hide All
*

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

Footnotes
References
Hide All
BalaiE. and GelfondM. 2016. On the relationship between P-log and LPMLN. In Proc. of International Joint Conference on Artificial Intelligence (IJCAI), 915–921.
BaralC., GelfondM. and RushtonJ. N. 2009. Probabilistic reasoning with answer sets. Theory and Practice of Logic Programming 9, 1, 57144.
BuccafurriF., LeoneN. and RulloP. 2000. Enhancing disjunctive datalog by constraints. IEEE Transactions on Knowledge and Data Engineering 12, 5, 845860.
CalimeriF., FaberW., GebserM., IanniG., KaminskiR., KrennwallnerT., LeoneN., RiccaF. and SchaubT. 2012. ASP-Core-2: Input language format. ASP Standardization Working Group, Technical Report.
De RaedtL., KimmigA. and ToivonenH. 2007. ProbLog: A probabilistic prolog and its application in link discovery. In Proc. of IJCAI, vol. 7. 2462–2467.
FierensD., Van den BroeckG., RenkensJ., ShterionovD., GutmannB., ThonI., JanssensG. and De RaedtL. 2015. Inference and learning in probabilistic logic programs using weighted boolean formulas. Theory and Practice of Logic Programming 15, 3, 358401.
GebserM., KaminskiR., KaufmannB. and SchaubT. 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.
LeeJ., MengY. and WangY. 2015. Markov logic style weighted rules under the stable model semantics. In Technical Communications of the 31st International Conference on Logic Programming.
LeeJ., TalsaniaS. and WangY. 2017. Online appendix for the paper “Computing LPMLN using ASP and MLN solvers”. TPLP Archive. https://doi.org/10.1017/S1471068417000400
LeeJ. and WangY. 2016. Weighted rules under the stable model semantics. In Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR), 145–154.
LeeJ. and YangZ. 2017. LPMLN, weak constraints, and P-log. In Proc. of the AAAI Conference on Artificial Intelligence (AAAI), 1170–1177.
NicklesM. 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.
PearlJ. 2000. Causality: Models, Reasoning and Inference. Vol. 29. Cambridge University Press.
RichardsonM. and DomingosP. 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? *
×

Keywords:

Type Description Title
PDF
Supplementary Materials

Lee et al supplementary material 1
Appendix

 PDF (599 KB)
599 KB

Metrics

Full text views

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

Abstract views

Total abstract views: 36 *
Loading metrics...

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