Simple Stochastic Temporal Constraint Networks

Many artificial intelligence tasks (e.g., planning, situation assessment, scheduling) require reasoning about events in time. Temporal constraint networks offer an elegant and often computationally efficient framework for formulation and solution of such temporal reasoning tasks. Temporal data and knowledge available in some domains is necessarily imprecise e.g., as a result of measurement errors associated with sensors. This paper introduces stochastic temporal constraint networks thereby extending constraint-based approaches to temporal reasoning with precise temporal knowledge to handle stochastic imprecision. The paper proposes an algorithm for inference of implicit stochastic temporal constraints from a given set of explicit constraints. It also introduces a stochastic version of the temporal constraint network consistency verification problem and describes techniques for solving it under certain simplifying assumptions.

[1]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[2]  Peter van Beek,et al.  On the Minimality and Decomposability of Constraint Networks , 1992, AAAI.

[3]  Rina Dechter,et al.  Coping With Disjunctions in Temporal Constraint Satisfaction Problems , 1993, AAAI.

[4]  Roger D. Maddux,et al.  Relation Algebras for Reasoning about Time and Space , 1993, AMAST.

[5]  Scott D. Goodwin,et al.  Probabilistic temporal representation and reasoning , 1994 .

[6]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

[7]  V. P. Kirillov Constructive stochastic temporal reasoning in situation assessment , 1994 .

[8]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[9]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

[10]  Harald Bergstriim Mathematical Theory of Probability and Statistics , 1966 .

[11]  Alexander Reinefeld,et al.  Effective Solution of Qualitative Interval Constraint Problems , 1992, Artif. Intell..

[12]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[13]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[14]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

[15]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.