Annotated probabilistic temporal logic

Paulo Shakarian, Austin Parker, Gerardo Simari, Venkatramana Subrahmanian

Research output: Contribution to journalArticle

20 Citations (Scopus)

Abstract

The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as "Event a will occur within 5 units of time of event b," there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic temporal (APT) logic programs and axiomatically introduce the key notion of a frequency function (for the first time) to capture different types of intrathread reasoning, and then provide a semantics for intrathread and interthread reasoning in APT logic programs parameterized by such frequency functions. We develop a comprehensive set of complexity results for consistency checking and entailment in APT logic programs, together with sound and complete algorithms to check consistency and entailment. The basic algorithms use linear programming, but we then show how to substantially and correctly reduce the sizes of these linear programs to yield better computational properties. We describe a real world application we are developing using APT logic programs.

Original languageEnglish (US)
Article number14
JournalACM Transactions on Computational Logic
Volume12
Issue number2
DOIs
StatePublished - Jan 2011
Externally publishedYes

Fingerprint

Probabilistic Logic
Temporal logic
Temporal Logic
Logic Programs
Thread
Semantics
Probability density function
Reasoning
Unit of time
Real-world Applications
Linear Program
Linear programming
Probability distributions
Probability Distribution
Acoustic waves
Logic

Keywords

  • Frequency functions
  • Imprecise probabilities
  • Probabilistic and temporal reasoning
  • Threads

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science
  • Computational Mathematics
  • Logic

Cite this

Annotated probabilistic temporal logic. / Shakarian, Paulo; Parker, Austin; Simari, Gerardo; Subrahmanian, Venkatramana.

In: ACM Transactions on Computational Logic, Vol. 12, No. 2, 14, 01.2011.

Research output: Contribution to journalArticle

Shakarian, Paulo ; Parker, Austin ; Simari, Gerardo ; Subrahmanian, Venkatramana. / Annotated probabilistic temporal logic. In: ACM Transactions on Computational Logic. 2011 ; Vol. 12, No. 2.
@article{5b0138e178a748f0af0ab544af4844c1,
title = "Annotated probabilistic temporal logic",
abstract = "The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as {"}Event a will occur within 5 units of time of event b,{"} there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic temporal (APT) logic programs and axiomatically introduce the key notion of a frequency function (for the first time) to capture different types of intrathread reasoning, and then provide a semantics for intrathread and interthread reasoning in APT logic programs parameterized by such frequency functions. We develop a comprehensive set of complexity results for consistency checking and entailment in APT logic programs, together with sound and complete algorithms to check consistency and entailment. The basic algorithms use linear programming, but we then show how to substantially and correctly reduce the sizes of these linear programs to yield better computational properties. We describe a real world application we are developing using APT logic programs.",
keywords = "Frequency functions, Imprecise probabilities, Probabilistic and temporal reasoning, Threads",
author = "Paulo Shakarian and Austin Parker and Gerardo Simari and Venkatramana Subrahmanian",
year = "2011",
month = "1",
doi = "10.1145/1877714.1877720",
language = "English (US)",
volume = "12",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

TY - JOUR

T1 - Annotated probabilistic temporal logic

AU - Shakarian, Paulo

AU - Parker, Austin

AU - Simari, Gerardo

AU - Subrahmanian, Venkatramana

PY - 2011/1

Y1 - 2011/1

N2 - The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as "Event a will occur within 5 units of time of event b," there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic temporal (APT) logic programs and axiomatically introduce the key notion of a frequency function (for the first time) to capture different types of intrathread reasoning, and then provide a semantics for intrathread and interthread reasoning in APT logic programs parameterized by such frequency functions. We develop a comprehensive set of complexity results for consistency checking and entailment in APT logic programs, together with sound and complete algorithms to check consistency and entailment. The basic algorithms use linear programming, but we then show how to substantially and correctly reduce the sizes of these linear programs to yield better computational properties. We describe a real world application we are developing using APT logic programs.

AB - The semantics of most logics of time and probability is given via a probability distribution over threads, where a thread is a structure specifying what will be true at different points in time (in the future). When assessing the probabilities of statements such as "Event a will occur within 5 units of time of event b," there are many different semantics possible, even when assessing the truth of this statement within a single thread. We introduce the syntax of annotated probabilistic temporal (APT) logic programs and axiomatically introduce the key notion of a frequency function (for the first time) to capture different types of intrathread reasoning, and then provide a semantics for intrathread and interthread reasoning in APT logic programs parameterized by such frequency functions. We develop a comprehensive set of complexity results for consistency checking and entailment in APT logic programs, together with sound and complete algorithms to check consistency and entailment. The basic algorithms use linear programming, but we then show how to substantially and correctly reduce the sizes of these linear programs to yield better computational properties. We describe a real world application we are developing using APT logic programs.

KW - Frequency functions

KW - Imprecise probabilities

KW - Probabilistic and temporal reasoning

KW - Threads

UR - http://www.scopus.com/inward/record.url?scp=79551655427&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79551655427&partnerID=8YFLogxK

U2 - 10.1145/1877714.1877720

DO - 10.1145/1877714.1877720

M3 - Article

AN - SCOPUS:79551655427

VL - 12

JO - ACM Transactions on Computational Logic

JF - ACM Transactions on Computational Logic

SN - 1529-3785

IS - 2

M1 - 14

ER -