A module for quantitative temporal management is presented which can be easily connected with different problem solving architectures. Particular attention has been devoted to planning and scheduling problems in realistic domains. The module allows for an incremental constraint posting approach for building solutions. After introducing the consistency-checking problem in quantitative temporal networks, a correct and complete algorithm for constraint propagation is described, and a sufficient condition for inconsistency is also presented as useful to improve the algorithm. Moreover a repropagate operator is given which is used to re-establish a consistent network when a given constraint set is relaxed.
[1]
Rina Dechter,et al.
Temporal Constraint Networks
,
1989,
Artif. Intell..
[2]
Ernest Davis,et al.
Constraint Propagation with Interval Labels
,
1987,
Artif. Intell..
[3]
Eugene C. Freuder,et al.
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems
,
1985,
Artif. Intell..
[4]
Stephen F. Smith,et al.
Coordinating space telescope operations in an integrated planning and scheduling architecture
,
1991,
IEEE Control Systems.
[5]
Drew McDermott,et al.
Temporal Data Base Management
,
1987,
Artif. Intell..