A probabilistic extension of the stable model semantics

Joohyung Lee, Yi Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

Abstract

We present a probabilistic extension of logic programs under the stable model semantics, inspired by the idea of Markov Logic Networks. The proposed language, called LPMLN, is a generalization of logic programs under the stable model semantics, and as such, embraces the rich body of research in knowledge representation. The language is also a generalization of ProbLog, and is closely related to Markov Logic Networks, which implies that the computation can be carried out by the techniques developed for them. LPMLN appears to be a natural language for probabilistic answer set programming, and as an example we show how an elaboration tolerant representation of transition systems in answer set programs can be naturally extended to the probabilistic setting.

Original languageEnglish (US)
Title of host publicationLogical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report
PublisherAI Access Foundation
Pages96-102
Number of pages7
VolumeSS-15-04
ISBN (Electronic)9781577357087
StatePublished - 2015
Event2015 AAAI Spring Symposium - Palo Alto, United States
Duration: Mar 23 2015Mar 25 2015

Other

Other2015 AAAI Spring Symposium
CountryUnited States
CityPalo Alto
Period3/23/153/25/15

Fingerprint

Semantics
Knowledge representation

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Lee, J., & Wang, Y. (2015). A probabilistic extension of the stable model semantics. In Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report (Vol. SS-15-04, pp. 96-102). AI Access Foundation.

A probabilistic extension of the stable model semantics. / Lee, Joohyung; Wang, Yi.

Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. Vol. SS-15-04 AI Access Foundation, 2015. p. 96-102.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Lee, J & Wang, Y 2015, A probabilistic extension of the stable model semantics. in Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. vol. SS-15-04, AI Access Foundation, pp. 96-102, 2015 AAAI Spring Symposium, Palo Alto, United States, 3/23/15.
Lee J, Wang Y. A probabilistic extension of the stable model semantics. In Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. Vol. SS-15-04. AI Access Foundation. 2015. p. 96-102
Lee, Joohyung ; Wang, Yi. / A probabilistic extension of the stable model semantics. Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report. Vol. SS-15-04 AI Access Foundation, 2015. pp. 96-102
@inproceedings{cea74466ccae4e6a8d1006fcded0133e,
title = "A probabilistic extension of the stable model semantics",
abstract = "We present a probabilistic extension of logic programs under the stable model semantics, inspired by the idea of Markov Logic Networks. The proposed language, called LPMLN, is a generalization of logic programs under the stable model semantics, and as such, embraces the rich body of research in knowledge representation. The language is also a generalization of ProbLog, and is closely related to Markov Logic Networks, which implies that the computation can be carried out by the techniques developed for them. LPMLN appears to be a natural language for probabilistic answer set programming, and as an example we show how an elaboration tolerant representation of transition systems in answer set programs can be naturally extended to the probabilistic setting.",
author = "Joohyung Lee and Yi Wang",
year = "2015",
language = "English (US)",
volume = "SS-15-04",
pages = "96--102",
booktitle = "Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report",
publisher = "AI Access Foundation",

}

TY - GEN

T1 - A probabilistic extension of the stable model semantics

AU - Lee, Joohyung

AU - Wang, Yi

PY - 2015

Y1 - 2015

N2 - We present a probabilistic extension of logic programs under the stable model semantics, inspired by the idea of Markov Logic Networks. The proposed language, called LPMLN, is a generalization of logic programs under the stable model semantics, and as such, embraces the rich body of research in knowledge representation. The language is also a generalization of ProbLog, and is closely related to Markov Logic Networks, which implies that the computation can be carried out by the techniques developed for them. LPMLN appears to be a natural language for probabilistic answer set programming, and as an example we show how an elaboration tolerant representation of transition systems in answer set programs can be naturally extended to the probabilistic setting.

AB - We present a probabilistic extension of logic programs under the stable model semantics, inspired by the idea of Markov Logic Networks. The proposed language, called LPMLN, is a generalization of logic programs under the stable model semantics, and as such, embraces the rich body of research in knowledge representation. The language is also a generalization of ProbLog, and is closely related to Markov Logic Networks, which implies that the computation can be carried out by the techniques developed for them. LPMLN appears to be a natural language for probabilistic answer set programming, and as an example we show how an elaboration tolerant representation of transition systems in answer set programs can be naturally extended to the probabilistic setting.

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

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

M3 - Conference contribution

AN - SCOPUS:84986879717

VL - SS-15-04

SP - 96

EP - 102

BT - Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report

PB - AI Access Foundation

ER -