# A Probabilistic Extension of Action Language BC+

arXiv: https://arxiv.org/abs/1805.00634 · HTML: https://mlsanity.com/paper/1805.00634/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 2 May 2018.

## Built on by (most cited first, 2 of 2)

- [Logic programming for deliberative robotic task planning](https://mlsanity.com/paper/2301.07550/) (2023)
- [An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems](https://mlsanity.com/paper/2209.13043/) (2022)

## Abstract (arXiv)

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.