Deciding consistency of a point-duration network with metric constraints

We introduce a new model, MPDN, for quantitative temporal reasoning with points and durations, that supposes an extension of the TCSP formalism and previous point-duration network models. The problem of deciding consistency for a MPDN is shown to be NP-complete. So, we identify a tractable fragment, named simple MPDN, that subsumes the STP model and allows for duration reasoning. Necessary and sufficient conditions for deciding consistency of a simple MPDN are used to design an algorithm for consistency checking, whose time complexity is cubic in the number of variables. This is a significant improvement, not only in computational complexity but also in simplicity, over previous non-specific algorithms that can be applied to solve the consistency problem.

[1]  Christer Bäckström,et al.  A Unifying Approach to Temporal Constraint Reasoning , 1998, Artif. Intell..

[2]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

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

[4]  Manolis Koubarakis,et al.  From Local to Global Consistency in Temporal Constraint Networks , 1995, Theor. Comput. Sci..

[5]  Alfonso Gerevini,et al.  On Finding a Solution in Temporal Constraint Satisfaction Problems , 1997, IJCAI.

[6]  Manolis Koubarakis,et al.  Tractable Disjunctions of Linear Constraints , 1996, CP.

[7]  Martin C. Cooper An Optimal k-Consistency Algorithm , 1989, Artif. Intell..

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

[9]  Abdul Sattar,et al.  INDU: An Interval and Duration Network , 1999, Australian Joint Conference on Artificial Intelligence.

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

[11]  Roque Marín,et al.  On point-duration networks for temporal reasoning , 2002, Artif. Intell..

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

[13]  Abdul Sattar,et al.  A New Framework for Reasoning about Points, Intervals and Durations , 1999, IJCAI.

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