A Probabilistic Extension of Action Language BC+

Joohyung Lee, Yi Wang

Research output: Contribution to journalArticle

3 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
Publication statusPublished - Jul 1 2018


ASJC Scopus subject areas

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

Cite this