Title: cProbLog: Restricting the possible worlds of probabilistic logic programs
Authors: Shterionov, Dimitar ×
Janssens, Gerda #
Issue Date: 2014
Host Document: Proceedings FLOC workshop Probabilistic Logic Programming pages:1-12
Conference: Probabilistic Logic Programming location:Vienna date:17 July 2014
Abstract: A program in the Probabilistic Logic Programming language ProbLog defines a distribution over possible worlds. Adding evidence (a set of ground probabilistic atoms with observed truth values) rules out some of the possible worlds. Generalizing the evidence atoms to First Order Logic constraints increases the expressive power of ProbLog. In this paper we introduce the first implementation of ProbLog – the extension of ProbLog with constraints. Our implementation transforms ProbLog programs with FOL constraints into ProbLog programs with evidence that specify the same possible worlds. We backup our design and implementation decisions with a series of examples.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
cProbLog_PLP2014.pdf Submitted 350KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.