A Probabilistic Extension of Action Language BC+

05/02/2018
by   Joohyung Lee, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/14/2018

Weight Learning in a Probabilistic Extension of Answer Set Programs

LPMLN is a probabilistic extension of answer set programs with the weigh...
research
06/03/2002

Handling Defeasibilities in Action Domains

Representing defeasibility is an important issue in common sense reasoni...
research
02/07/2020

DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

We present the preliminary high-level design and features of DynamicPPL....
research
10/05/2021

A Table-Based Representation for Probabilistic Logic: Preliminary Results

We present Probabilistic Decision Model and Notation (pDMN), a probabili...
research
09/22/2020

Extending Answer Set Programs with Neural Networks

The integration of low-level perception with high-level reasoning is one...
research
01/12/2022

Biochemical Space Language in Relation to Multiset Rewriting Systems

This technical report relates Biochemical Space Language (BCSL) to Multi...
research
07/10/2017

Deciding Probabilistic Program Equivalence in NetKAT

We tackle the problem of deciding whether a pair of probabilistic progra...

Please sign up or login with your details

Forgot password? Click here to reset