Download PDFOpen PDF in browser

A Probabilistic Extension of Action Language BC+

EasyChair Preprint 212

16 pagesDate: June 1, 2018

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.

Keyphrases: LPMLN, action language, probabilistic reasoning

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:212,
  author    = {Joohyung Lee and Yi Wang},
  title     = {A Probabilistic Extension of Action Language BC+},
  doi       = {10.29007/7fmn},
  howpublished = {EasyChair Preprint 212},
  year      = {EasyChair, 2018}}
Download PDFOpen PDF in browser