We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: MAP Inference for Probabilistic Logic Programming

Abstract: In Probabilistic Logic Programming (PLP) the most commonly studied inference task is to compute the marginal probability of a query given a program. In this paper, we consider two other important tasks in the PLP setting: the Maximum-A-Posteriori (MAP) inference task, which determines the most likely values for a subset of the random variables given evidence on other variables, and the Most Probable Explanation (MPE) task, the instance of MAP where the query variables are the complement of the evidence variables. We present a novel algorithm, included in the PITA reasoner, which tackles these tasks by representing each problem as a Binary Decision Diagram and applying a dynamic programming procedure on it. We compare our algorithm with the version of ProbLog that admits annotated disjunctions and can perform MAP and MPE inference. Experiments on several synthetic datasets show that PITA outperforms ProbLog in many cases.
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Journal reference: Theory and Practice of Logic Programming 20 (2020) 641-655
DOI: 10.1017/S1471068420000174
Cite as: arXiv:2008.01394 [cs.AI]
  (or arXiv:2008.01394v3 [cs.AI] for this version)

Submission history

From: Riccardo Zese [view email]
[v1] Tue, 4 Aug 2020 08:10:51 GMT (97kb,D)
[v2] Mon, 10 Aug 2020 15:41:46 GMT (96kb,D)
[v3] Tue, 1 Sep 2020 07:27:13 GMT (96kb,D)

Link back to: arXiv, form interface, contact.