TY - GEN
T1 - A probabilistic extension of the stable model semantics
AU - Lee, Joohyung
AU - Wang, Yi
N1 - Publisher Copyright:
© Copyright 2015, Association for the Advancement of Artificial Intelligence. All rights reserved.
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
T3 - AAAI Spring Symposium - Technical Report
SP - 96
EP - 102
BT - Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report
PB - AI Access Foundation
T2 - 2015 AAAI Spring Symposium
Y2 - 23 March 2015 through 25 March 2015
ER -