A Probabilistic Extension of Action Language BC+

Joohyung Lee, Yi Wang

Research output: Contribution to journalArticle

2 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)607-622
Number of pages16
JournalTheory and Practice of Logic Programming
Volume18
Issue number3-4
DOIs
StatePublished - Jul 1 2018

Fingerprint

Answer Sets
Transition Systems
Planning
Notation
Probabilistic Reasoning
Prediction
Language

ASJC Scopus subject areas

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

Cite this

A Probabilistic Extension of Action Language BC+. / Lee, Joohyung; Wang, Yi.

In: Theory and Practice of Logic Programming, Vol. 18, No. 3-4, 01.07.2018, p. 607-622.

Research output: Contribution to journalArticle

@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",
year = "2018",
month = "7",
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

VL - 18

SP - 607

EP - 622

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

SN - 1471-0684

IS - 3-4

ER -