Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and Scheduling

A module for quantitative constraint propagation forms the core of any problem solving architecture devoted to planning and scheduling in realistic applications. This paper deals with temporal constraint propagation in quantitative networks. We are interested in developing a module that efficiently checks the consistency of an incrementally built temporalized solution. The paper presents a clean definition of the consistency checking problem in temporal networks and describes an algorithm that is correct and complete with respect to such a definition. A sufficient condition for inconsistency is also presented which is useful for improving the algorithm, and the computational complexity of the approach as a whole is discussed.

[1]  Stephen F. Smith,et al.  Coordinating space telescope operations in an integrated planning and scheduling architecture , 1992 .

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

[3]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[4]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[5]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

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

[7]  Robert Schrag,et al.  Managing Disjunction for Practical Temporal Reasoning , 1992, KR.

[8]  Jean-François Rit,et al.  Propagating Temporal Constraints for Scheduling , 1986, AAAI.

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

[10]  Stephen F. Smith,et al.  Slack-Based Heuristics for Constraint Satisfaction Scheduling , 1993, AAAI.

[11]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[12]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

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

[14]  Joachim Hertzberg,et al.  MTMM - Correcting and Extending Time Map Management , 1991, EWSP.

[15]  Nicola Muscettola,et al.  Scheduling by iterative partition of bottleneck conflicts , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.

[16]  Stephen F. Smith,et al.  Management of Temporal Constraints for Factory Scheduling , 1987, Temporal Aspects in Information Systems.

[17]  Ernest Davis,et al.  Constraint Propagation with Interval Labels , 1987, Artif. Intell..