A Probabilistic Extension of Action Language BC+

Joohyung Lee, Yi Wang

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


We present a probabilistic extension of action language. Just like is defined as a high-level notation of answer set programs for describing transition systems, the proposed language, which we call p, 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 p and computed using an implementation of LPMLN.

Original languageEnglish (US)
Pages (from-to)607-622
Number of pages16
JournalTheory and Practice of Logic Programming
Issue number3-4
StatePublished - Jul 1 2018

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'A Probabilistic Extension of Action Language BC+'. Together they form a unique fingerprint.

Cite this