loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05)
A New Temporal CSP Framework Handling Composite Variables and Activity Constraints
Hong Kong, China
November 14-November 16
ISBN: 0-7695-2488-5
Malek Mouhoub, University of Regina
Amrudee Sukpan, University of Regina
A well known approach to managing the numeric and the symbolic aspects of time is to view them as Constraint Satisfaction Problems (CSPs). Our aim is to extend the temporal CSP formalism in order to include activity constraints and composite variables. Indeed, in many real life applications the set of variables involved by the temporal constraint problem to solve is not known in advance. More precisely, while some temporal variables (called events) 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 defined on finite domains of events. We propose in this paper two methods based respectively on constraint propagation and stochastic local search (SLS) for solving temporal constraint problems with activity constraints and composite variables. We call these problems Conditional and Composite Temporal Constraint Satisfaction Problems (CCTCSPs). Experimental study we conducted on randomly generated CCTCSPs demonstrates the efficiency of our exact method based on constraint propagation in the case of middle constrained and over constrained problems while the SLS based method is the technique of choice for under constrained problems and also in case we want to trade search time for the quality of the solution returned (number of solved constraints).
Citation:
Malek Mouhoub, Amrudee Sukpan, "A New Temporal CSP Framework Handling Composite Variables and Activity Constraints," ictai, pp.143-149, 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.