Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution

Thiago P. Bueno, Denis D. Maua, Leliane N. De Barros, Fabio G. Cozman

Research output: Contribution to conferenceConference Paper

2 Scopus citations

Abstract

© 2016 IEEE. Probabilistic logic programming combines logic and probability, so as to obtain a rich modeling language. In this work, we extend ProbLog, a popular probabilistic logic programming language, with new constructs that allow the representation of (infinite-horizon) Markov decision processes. This new language can represent relational statements, including symmetric and transitive definitions, an advantage over other planning domain languages such as RDDL. We show how to exploit the logic structure in the language to perform Value Iteration. Preliminary experiments demonstrate the effectiveness of our framework.
Original languageAmerican English
Pages337-342
Number of pages6
DOIs
StatePublished - 1 Feb 2017
Externally publishedYes
EventProceedings - 2016 5th Brazilian Conference on Intelligent Systems, BRACIS 2016 -
Duration: 1 Feb 2017 → …

Conference

ConferenceProceedings - 2016 5th Brazilian Conference on Intelligent Systems, BRACIS 2016
Period1/02/17 → …

Fingerprint

Dive into the research topics of 'Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution'. Together they form a unique fingerprint.

Cite this