A Probabilistic Extension of Action Language BC+
Artificial Intelligence
2018-08-06 v2
Abstract
We present a probabilistic extension of action language BC+. Just like BC+ is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call pBC+, is defined as a high-level notation of LPMLN programs---a probabilistic extension of answer set programs. We show how probabilistic reasoning about transition systems, such as prediction, postdiction, and planning problems, as well as probabilistic diagnosis for dynamic domains, can be modeled in pBC+ and computed using an implementation of LPMLN.
Cite
@article{arxiv.1805.00634,
title = {A Probabilistic Extension of Action Language BC+},
author = {Joohyung Lee and Yi Wang},
journal= {arXiv preprint arXiv:1805.00634},
year = {2018}
}
Comments
Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 1 PDF figures (arXiv:YYMM.NNNNN)