Extrapolating Definite Integral Information

We propose a probability-logic based representation of temporal knowledge that relates point and interval information through temporal integration. We illustrate the use of deduction and (probabilistic) induction to formally specify rational inference under uncertainty. In particular, we consider a previously unexplored aspect of the frame problem: action and time invariance of statistical knowledge.