| ||||
| ||||
![]() Title:Plingo: a System for Probabilistic Reasoning in Clingo Based on LP^MLN Authors:Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Ruehling and Torsten Schaub Conference:ASPOCP 2022 Tags:Answer set programming, LP^MLN and Probabilistic reasoning Abstract: We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes. Plingo is centered upon LPMLN, a probabilistic extension of ASP based upon a weight scheme from Markov Logic. This choice is motivated by the fact that the core probabilistic reasoning modes can be mapped onto optimization problems and that LPMLN may serve as a middle-ground formalism connecting to other probabilistic approaches. As a result, plingo offers three alternative front-ends, one for LPMLN, PLOG, and PROBLOG. The corresponding input languages and reasoning modes are implemented by means of clingo's multi-shot and theory solving capabilities. Although plingo's core amounts to a re-implementation of LPMLN in terms of modern ASP technology, it integrates various probabilistic reasoning modes with the full modeling language and reasoning spectrum of clingo. Plingo: a System for Probabilistic Reasoning in Clingo Based on LP^MLN ![]() Plingo: a System for Probabilistic Reasoning in Clingo Based on LP^MLN | ||||
Copyright © 2002 – 2025 EasyChair |