1 Search Results for "Subrahmanian, V. S."


Document
Abduction in Annotated Probabilistic Temporal Logic

Authors: Cristian Molinaro, Amy Sliva, and V. S. Subrahmanian

Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)


Abstract
Annotated Probabilistic Temporal (APT) logic programs are a form of logic programs that allow users to state (or systems to automatically learn)rules of the form ``formula G becomes true K time units after formula F became true with L to U% probability.'' In this paper, we develop a theory of abduction for APT logic programs. Specifically, given an APT logic program Pi, a set of formulas H that can be ``added'' to Pi, and a goal G, is there a subset S of H such that Pi \cup S is consistent and entails the goal G? In this paper, we study the complexity of the Basic APT Abduction Problem (BAAP). We then leverage a geometric characterization of BAAP to suggest a set of pruning strategies when solving BAAP and use these intuitions to develop a sound and complete algorithm.

Cite as

Cristian Molinaro, Amy Sliva, and V. S. Subrahmanian. Abduction in Annotated Probabilistic Temporal Logic. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 240-250, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


Copy BibTex To Clipboard

@InProceedings{molinaro_et_al:LIPIcs.ICLP.2011.240,
  author =	{Molinaro, Cristian and Sliva, Amy and Subrahmanian, V. S.},
  title =	{{Abduction in Annotated Probabilistic Temporal Logic}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)},
  pages =	{240--250},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{Gallagher, John P. and Gelfond, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.240},
  URN =		{urn:nbn:de:0030-drops-31697},
  doi =		{10.4230/LIPIcs.ICLP.2011.240},
  annote =	{Keywords: Probabilistic Reasoning, Imprecise Probabilities, Temporal Reasoning, Abductive Reasoning}
}
  • Refine by Author
  • 1 Molinaro, Cristian
  • 1 Sliva, Amy
  • 1 Subrahmanian, V. S.

  • Refine by Classification

  • Refine by Keyword
  • 1 Abductive Reasoning
  • 1 Imprecise Probabilities
  • 1 Probabilistic Reasoning
  • 1 Temporal Reasoning

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2011

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