TY - JOUR
T1 - Annotated probabilistic temporal logic
JF - ACM Trans. Comput. Logic
Y1 - 2011
A1 - Shakarian,Paulo
A1 - Parker,Austin
A1 - Simari,Gerardo
A1 - V.S. Subrahmanian
KW - frequency functions
KW - imprecise probabilities
KW - Probabilistic and temporal reasoning
KW - threads
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.
VL - 12
SN - 1529-3785
UR - http://doi.acm.org/10.1145/1877714.1877720
CP - 2
M3 - 10.1145/1877714.1877720
ER -