Computing LPMLN using ASP and MLN solvers

LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined. We present two implementations of LPMLN, lpmln2asp and lpmln2mln. Syste...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 17; no. 5-6; pp. 942 - 960
Main Authors: LEE, JOOHYUNG, TALSANIA, SAMIDH, WANG, YI
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.09.2017
Subjects:
Computation
Constraint modelling
Enumeration
Logic programming
Markov processes
Probabilistic inference
Programming languages
Regular Papers
Semantics
Solvers
Answer Set Programming
Markov Logic
LPMLN
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined. We present two implementations of LPMLN, lpmln2asp and lpmln2mln. System lpmln2asp translates LPMLN programs into the input language of answer set solver clingo, and using weak constraints and stable model enumeration, it can compute most probable stable models as well as exact conditional and marginal probabilities. System lpmln2mln translates LPMLN programs into the input language of Markov Logic solvers, such as alchemy, tuffy, and rockit, and allows for performing approximate probabilistic inference on LPMLN programs. We also demonstrate the usefulness of the LPMLN systems for computing other languages, such as ProbLog and Pearl's Causal Models, that are shown to be translatable into LPMLN.
AbstractList LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by assigning a weight to each rule in a way similar to Markov Logic is defined. We present two implementations of LPMLN, lpmln2asp and lpmln2mln. System lpmln2asp translates LPMLN programs into the input language of answer set solver clingo, and using weak constraints and stable model enumeration, it can compute most probable stable models as well as exact conditional and marginal probabilities. System lpmln2mln translates LPMLN programs into the input language of Markov Logic solvers, such as alchemy, tuffy, and rockit, and allows for performing approximate probabilistic inference on LPMLN programs. We also demonstrate the usefulness of the LPMLN systems for computing other languages, such as ProbLog and Pearl's Causal Models, that are shown to be translatable into LPMLN.
Author LEE, JOOHYUNG
WANG, YI
TALSANIA, SAMIDH
Author_xml – sequence: 1
  givenname: JOOHYUNG
  surname: LEE
  fullname: LEE, JOOHYUNG
  email: joolee@asu.edu
  organization: School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA (e-mail: joolee@asu.edu, stalsani@asu.edu, ywang485@asu.edu)
– sequence: 2
  givenname: SAMIDH
  surname: TALSANIA
  fullname: TALSANIA, SAMIDH
  email: joolee@asu.edu
  organization: School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA (e-mail: joolee@asu.edu, stalsani@asu.edu, ywang485@asu.edu)
– sequence: 3
  givenname: YI
  surname: WANG
  fullname: WANG, YI
  email: joolee@asu.edu
  organization: School of Computing, Informatics, and Decision Systems Engineering, Arizona State University, Tempe, AZ, USA (e-mail: joolee@asu.edu, stalsani@asu.edu, ywang485@asu.edu)
BookMark eNplkEtLw1AQhS9Swbb6A9wFXLmInel9L0vQKkQtVNfh5j5KS5vU3MTfb2JdCF3Nx5nDDOdMyKiqK0_ILcIDAsrZGplEEIqhBAAGcEHGvcRTCgpHv4zpsL8ikxh3ACjonI3JfVYfjl27rTZJvnrN35IuDrxYrxJTuWRQYr3_9k28JpfB7KO_-ZtT8vn0-JE9p_n78iVb5KlFLtvUcWpRoxaaSmukDarkAQXMqREOg2JCcuckGBOkCz1Lbj0rMWjpvFGBTsnd6e6xqb86H9tiV3dN1b8sUPeJFEWmexc9uaw5lM3Wbfw_GxRDJ8VZJ_QHdFBS-g
ContentType Journal Article
Copyright Copyright © Cambridge University Press 2017
Copyright_xml – notice: Copyright © Cambridge University Press 2017
DBID 3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.1017/S1471068417000400
DatabaseName ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
AUTh Library subscriptions: ProQuest Central
Technology Collection
ProQuest One Community College
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DatabaseTitle Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList
Computer Science Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
DocumentTitleAlternate Computing LPMLN using ASP and MLN solvers
J. Lee et al.
EISSN 1475-3081
EndPage 960
ExternalDocumentID 10_1017_S1471068417000400
GroupedDBID -E.
.FH
09C
09E
0E1
0R~
123
29Q
3V.
4.4
5VS
74X
74Y
7~V
8FE
8FG
8R4
8R5
AAAZR
AABES
AABWE
AACJH
AAEED
AAFUK
AAGFV
AAKTX
AANRG
AARAB
AASVR
AAUKB
AAYOK
ABBXD
ABITZ
ABJNI
ABKKG
ABMWE
ABMYL
ABQTM
ABQWD
ABROB
ABTCQ
ABUWG
ABZCX
ACBMC
ACCHT
ACGFS
ACIMK
ACNCT
ACQFJ
ACREK
ACUIJ
ACUYZ
ACWGA
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADGEJ
ADKIL
ADOCW
ADOVH
ADVJH
AEBAK
AEHGV
AEMTW
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFKSM
AFLOS
AFLVW
AFUTZ
AGABE
AGBYD
AGJUD
AGOOT
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
ALMA_UNASSIGNED_HOLDINGS
ALVPG
ALWZO
AQJOH
ARABE
ARAPS
ATUCA
AUXHV
AZQEC
BBLKV
BENPR
BGHMG
BGLVJ
BLZWO
BMAJL
BPHCQ
C0O
CAG
CBIIA
CCPQU
CCQAD
CCTKK
CFAFE
CHEAL
CJCSC
COF
CS3
DC4
DOHLZ
DU5
DWQXO
EBS
EJD
GNUQQ
HCIFZ
HG-
HST
HZ~
I.6
IH6
IOEEP
IPYYG
IS6
I~P
J36
J38
J3A
J9A
JHPGK
JQKCU
K6V
K7-
KCGVB
KFECR
L98
LW7
M-V
M0N
NIKVX
O9-
OK1
OYBOY
P2P
P62
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
ROL
RR0
S6-
S6U
SAAAG
T9M
UT1
WFFJZ
WQ3
WXU
WXY
WYP
ZYDXJ
7SC
7XB
8AL
8FD
8FK
ABGDZ
ABVKB
ABVZP
ABXHF
ACDLN
AFZFC
AKMAY
JQ2
L7M
L~C
L~D
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c157t-d53c19196937ca7cf8b5f16023a6d1f84675dd70aaf7df75d75ce4b1f97dea8f3
IEDL.DBID P5Z
ISICitedReferencesCount 29
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000412567800016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1471-0684
IngestDate Sun Jul 13 05:35:23 EDT 2025
Wed Mar 13 05:53:13 EDT 2024
IsPeerReviewed true
IsScholarly true
Issue 5-6
Keywords Answer Set Programming
Markov Logic
LPMLN
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c157t-d53c19196937ca7cf8b5f16023a6d1f84675dd70aaf7df75d75ce4b1f97dea8f3
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 1947583149
PQPubID 43613
PageCount 19
ParticipantIDs proquest_journals_1947583149
cambridge_journals_10_1017_S1471068417000400
PublicationCentury 2000
PublicationDate 20170900
20170901
PublicationDateYYYYMMDD 2017-09-01
PublicationDate_xml – month: 09
  year: 2017
  text: 20170900
PublicationDecade 2010
PublicationPlace Cambridge, UK
PublicationPlace_xml – name: Cambridge, UK
– name: Cambridge
PublicationTitle Theory and practice of logic programming
PublicationTitleAlternate Theory and Practice of Logic Programming
PublicationYear 2017
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
SSID ssj0016324
Score 2.2521424
Snippet LPMLN is a recent addition to probabilistic logic programming languages. Its main idea is to overcome the rigid nature of the stable model semantics by...
SourceID proquest
cambridge
SourceType Aggregation Database
Publisher
StartPage 942
SubjectTerms Computation
Constraint modelling
Enumeration
Logic programming
Markov processes
Probabilistic inference
Programming languages
Regular Papers
Semantics
Solvers
Title Computing LPMLN using ASP and MLN solvers
URI https://www.cambridge.org/core/product/identifier/S1471068417000400/type/journal_article
https://www.proquest.com/docview/1947583149
Volume 17
WOSCitedRecordID wos000412567800016&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVPQU
  databaseName: Advanced Technologies & Aerospace Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241209
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: P5Z
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://search.proquest.com/hightechjournals
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: Computer Science Database
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241209
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: K7-
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: http://search.proquest.com/compscijour
  providerName: ProQuest
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl:
  eissn: 1475-3081
  dateEnd: 20241209
  omitProxy: false
  ssIdentifier: ssj0016324
  issn: 1471-0684
  databaseCode: BENPR
  dateStart: 20010101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB609eDF-sRqLXvwIrjYpNlscpIqLYI1BF8UL2WzD_GSalv9_e5sN6VQ8OItTHIIw-x83-7MfgNwHiAIR6Gkkegk1CKUoEWgJHWjXphOROjEql-HPMuS0SjN_YHbzLdVVjnRJWo1kXhGfmU325badi2hv_78ojg1CqurfoTGJtRRJQFHN-TsbVlFQClyd7uIY3dPElVVTZSMRiPaUJ8OA3lVW2EtLzuwGTT--5u7sONpJukt4mIPNnS5D41qhAPxK_oALhYmi19kmD8MM4J98O-k95QTUSqCFhuc2LpxCC-D_vPtHfXTE6gMGJ9TxbrSbsbS2BIQKbg0ScFMEFuMFrEKDPIOphTvCGG4MvaZM6mjIjApV1okpnsEtXJS6mMgsemwsAhDywdEVGhTGNT8YTpORCqsN5twufTd2K-B2XjRP8bHa65uQqvy3crXS8ed_P36FLZDhFbX59WC2nz6rc9gS_7MP2bTNtRv-ln-2IbNe07bLhx-AcXHtjE
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT8JAEJ4gmuhFfEYUdQ96MHEjXdpuezCGqARCISSi4YbbfRgvRQE1_il_ozuFEhISbxy8NdNN0_SbmW-2MzsDcOYgCbtMUleUA2oZStDYUZKmo148HQiWNqt-ini7HfR6YScHP9lZGCyrzHxi6qjVQOI_8iu72bahbcUG9Ddv7xSnRmF2NRuhMVGLpv7-slu20XXjzuJ7zljtvntbp9OpAlQ6Hh9T5VWk3aSEviVmKbg0QewZx7fcJXzlGORjTyleFsJwZew196R2Y8eEXGkRmIp97gqsupWAo101OZ1lLbD1eXqaiWM1UeBmWVRsUY1ClGE_PDSc-V4OCzyQklut8N8-yxZsTsNoUp3o_TbkdLIDhWxEBZl6rF24mIgsP5Oo04raBOv8X0j1oUNEoghKrPFhacoePC7lhfchnwwSfQDEN2WPxYzZeEe4sTaxwZ5GnvYDEQqLXhEuZ1j1pzY-6k_q43h_AdoilDKs5lbPgDr8-_YprNe7ragfNdrNI9hgGEakNW0lyI-HH_oY1uTn-HU0PEmVj8DzsmH9BdboEik
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Computing+LPMLN+using+ASP+and+MLN+solvers&rft.jtitle=Theory+and+practice+of+logic+programming&rft.au=LEE%2C+JOOHYUNG&rft.au=TALSANIA%2C+SAMIDH&rft.au=WANG%2C+YI&rft.date=2017-09-01&rft.pub=Cambridge+University+Press&rft.issn=1471-0684&rft.eissn=1475-3081&rft.volume=17&rft.issue=5-6&rft.spage=942&rft_id=info:doi/10.1017%2FS1471068417000400
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1471-0684&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1471-0684&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1471-0684&client=summon