A Probabilistic Extension of Action Language BC+

Joohyung Lee; Yi Wang

doi:10.1017/S1471068418000303

A Probabilistic Extension of Action Language BC+

Joohyung Lee, Yi Wang

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

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 LP^MLN 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 LP^MLN.

Original language	English (US)
Pages (from-to)	607-622
Number of pages	16
Journal	Theory and Practice of Logic Programming
Volume	18
Issue number	3-4
DOIs	https://doi.org/10.1017/S1471068418000303
State	Published - Jul 1 2018

ASJC Scopus subject areas

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

Access to Document

10.1017/S1471068418000303

Cite this

@article{ae164c8c007d496f860ce9646dbc5153,

title = "A Probabilistic Extension of Action Language BC+",

abstract = "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.",

author = "Joohyung Lee and Yi Wang",

note = "Publisher Copyright: Copyright {\textcopyright} Cambridge University Press 2018.",

year = "2018",

month = jul,

day = "1",

doi = "10.1017/S1471068418000303",

language = "English (US)",

volume = "18",

pages = "607--622",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "3-4",

}

TY - JOUR

T1 - A Probabilistic Extension of Action Language BC+

AU - Lee, Joohyung

AU - Wang, Yi

PY - 2018/7/1

Y1 - 2018/7/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85051377813&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85051377813&partnerID=8YFLogxK

U2 - 10.1017/S1471068418000303

DO - 10.1017/S1471068418000303

M3 - Article

AN - SCOPUS:85051377813

SN - 1471-0684

VL - 18

SP - 607

EP - 622

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 3-4

ER -

A Probabilistic Extension of Action Language BC+

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this