1 Search Results for "Simari, Gerardo"


Document
Abductive Inference in Probabilistic Logic Programs

Authors: Gerardo Simari and V.S. Subrahmanian

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)


Abstract
Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behaviors of entities. Rules in ap-programs have the form "If the environment in which entity E operates satisfies certain conditions, then the probability that E will take some action A is between L and U". Given an ap-program, we are interested in trying to change the environment, subject to some constraints, so that the probability that entity E takes some action (or combination of actions) is maximized. This is called the Basic Probabilistic Logic Abduction Problem (Basic PLAP). We first formally define and study the complexity of Basic PLAP and then provide an exact (exponential) algorithm to solve it, followed by more efficient algorithms for specific subclasses of the problem. We also develop appropriate heuristics to solve Basic PLAP efficiently.

Cite as

Gerardo Simari and V.S. Subrahmanian. Abductive Inference in Probabilistic Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 192-201, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{simari_et_al:LIPIcs.ICLP.2010.192,
  author =	{Simari, Gerardo and Subrahmanian, V.S.},
  title =	{{Abductive Inference in Probabilistic Logic Programs}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{192--201},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.192},
  URN =		{urn:nbn:de:0030-drops-25971},
  doi =		{10.4230/LIPIcs.ICLP.2010.192},
  annote =	{Keywords: Probabilistic Logic Programming, Imprecise Probabilities, Abductive Inference}
}
  • Refine by Author
  • 1 Simari, Gerardo
  • 1 Subrahmanian, V.S.

  • Refine by Classification

  • Refine by Keyword
  • 1 Abductive Inference
  • 1 Imprecise Probabilities
  • 1 Probabilistic Logic Programming

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail