16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04) Solving Conditional and Composite Temporal Constraints Boca Raton, Florida November 15-November 17 ISBN: 0-7695-2236-X
One of the main challenges when designing constraint based systems in general and those involving temporal constraints in particular, is the ability to deal with conditional constraints and composite variables. Indeed, in this particular case the set of variables involved by the constraint problem to be solved is not known in advance. More precisely, while some variables (called initial variables) are available in the initial problem, others are added dynamically to the problem during the resolution process via activity constraints and composite variables. Activity constraints allow some variables to be activated (added to the problem) when activity conditions are true. Composite variables are variables whose values are the possible variables each composite variable can take. We propose in this paper a method based on constraint propagation for solving efficiently constraint problems involving numeric and symbolic temporal constraints, composite variables and activity constraints. We call these latter problems Conditional and Composite Temporal Constraint Satisfaction Problems (CCTCSPs). Experimental evaluation conducted on randomly generated CCTCSPs demonstrates the efficiency of our method to solve these problems especially when using the forward check strategy during the search.
Citation:
Malek Mouhoub, Amrudee Sukpan, "Solving Conditional and Composite Temporal Constraints," ictai, pp.734-741, 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||