A CP2001 workshop

CUW'01
CONSTRAINTS AND UNCERTAINTY

December 1st, 2001
Cyprus

Working Notes

Title page and contents   p1
Brown & Fowler Uncertain Reasoning for Dynamic Constraint Problems p5
Davenport, Gefflot & Beck Slack-based Techniques for Robust Schedules p7
Miguel The Case for Dynamic Flexible Constraint Satisfaction p19
Prestwich Using Uncertainty in Backtracking p21
Subramani A Polynomial Time Algorithm for a class of Quantified Integer Programs p23
Tsamardinos Temporal Constraints and Uncertainty p27
Vaucheret, Guadarrama & Mu~noz Fuzzy Prolog: A simple implementation using CLP(R) p29
Vidal & Bidot Dynamic Sequencing of Tasks in Simple Temporal Networks with Uncertainty p39
Walsh Stochastic Constraint Programming p49
Yorke-Smith & Gervet Data Uncertainty in Constraint Programming: A non-probablisitic approach p59

Discussion points

  1. Do we need to handle uncertainty in constraint programming?
  2. Should this be theory driven, or application driven (and would it make a difference to the outcome)?
  3. What are the applications of uncertainty in constraints?
  4. How should we represent the uncertainty? What methods from general uncertain reasoning would be useful?
  5. Do we need to extend the underlying framework, or should we be transforming uncertain models into standard constraint problems?
  6. What are the complexities issues of handling uncertainty?
  7. Are there any overlaps between the different approaches, or are they complementary? Can one be done inside another? Can we combine the methods?
  8. What do we mean by robust solutions?
  9. If we use probabilistic models, should we be looking at criteria other than maximising expected utility?
  10. Are there any other issues with uncertainty not covered here?

Preliminary schedule

14:00 Welcome  
14:05 Yorke-Smith & Gervet Data Uncertainty in Constraint Programming: A non-probablisitic approach
14:25 Vidal & Bidot Dynamic Sequencing of Tasks in Simple Temporal Networks with Uncertainty
14:45 Davenport, Gefflot & Beck Slack-based Techniques for Robust Schedules
15:05 Vaucheret, Guadarrama & Mu~noz Fuzzy Prolog: A simple implementation using CLP(R)
15:30 Break  
16:00 Walsh Stochastic Constraint Programming
16:20 Discussion and position papers  
17:30 Close  


Last updated: 16th November, 2001