Abstract

We present a probabilistic extension of action language BC+. Just like BC+ isdefined as a high-level notation of answer set programs for describingtransition systems, the proposed language, which we call pBC+, is defined as ahigh-level notation of LPMLN programs---a probabilistic extension of answer setprograms. We show how probabilistic reasoning about transition systems, such asprediction, postdiction, and planning problems, as well as probabilisticdiagnosis for dynamic domains, can be modeled in pBC+ and computed using animplementation of LPMLN.

 

Quick Read (beta)