License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.ICLP.2018.15
URN: urn:nbn:de:0030-drops-98818
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9881/
Go to the corresponding OASIcs Volume Portal

Wang, Yi

Probabilistic Action Language pBC+

pdf-format:
OASIcs-ICLP-2018-15.pdf (0.5 MB)

Abstract

We present an ongoing research on 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 LP^{MLN} programs - a probabilistic extension of answer set programs.
As preliminary results accomplished, we illustrate 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 LP^{MLN}.
For future work, we plan to develop a compiler that automatically translates pBC+ description into LP^{MLN} programs, as well as parameter learning in probabilistic action domains through LP^{MLN} weight learning. We will work on defining useful extensions of pBC+ to facilitate hypothetical/counterfactual reasoning. We will also find real-world applications, possibly in robotic domains, to empirically study the performance of this approach to probabilistic reasoning in action domains.

BibTeX - Entry

@InProceedings{wang:OASIcs:2018:9881,
  author =	{Yi Wang},
  title =	{{Probabilistic Action Language pBC+}},
  booktitle =	{Technical Communications of the 34th International  Conference on Logic Programming (ICLP 2018)},
  pages =	{15:1--15:12},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-090-3},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{64},
  editor =	{Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9881},
  URN =		{urn:nbn:de:0030-drops-98818},
  doi =		{10.4230/OASIcs.ICLP.2018.15},
  annote =	{Keywords: action language, probabilistic reasoning, LP^{MLN}}
}

Keywords: action language, probabilistic reasoning, LP^{MLN}
Collection: Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Issue Date: 2018
Date of publication: 19.11.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI