Synthesizing Filtering Algorithms for Global Chance-Constraints

  • Brahim Hnich
  • Roberto Rossi
  • S. Armagan Tarim
  • Steven Prestwich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5732)

Abstract

Stochastic Constraint Satisfaction Problems (SCSPs) are a powerful modeling framework for problems under uncertainty. To solve them is a P-Space task. The only solution approach to date compiles down SCSPs into classical CSPs. This allows the reuse of classical constraint solvers to solve SCSPs, but at the cost of increased space requirements and weak constraint propagation. This paper tries to overcome some of these drawbacks by automatically synthesizing filtering algorithms for global chance-constraints. These filtering algorithms are parameterized by propagators for the deterministic version of the chance-constraints. This approach allows the reuse of existing propagators in current constraint solvers and it enhances constraint propagation. Experiments show the benefits of this novel approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balafoutis, T., Stergiou, K.: Algorithms for stochastic csps. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 44–58. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Benoist, T., Bourreau, E., Caseau, Y., Rottembourg, B.: Towards stochastic constraint programming: A study of online multi-choice knapsack with deadlines. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 61–76. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Birge, J.R., Louveaux, F.: Introduction to Stochastic Programming. Springer, New York (1997)MATHGoogle Scholar
  4. 4.
    Charnes, A., Cooper, W.W.: Deterministic equivalents for optimizing and satisficing under chance constraints. Operations Research 11(1), 18–39 (1963)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Jeffreys, H.: Theory of Probability. Clarendon Press, Oxford (1961)MATHGoogle Scholar
  6. 6.
    Laburthe, F., The OCRE project team: Choco: Implementing a cp kernel. Technical report, Bouygues e-Lab, France (1994)Google Scholar
  7. 7.
    Rossi, R., Tarim, S.A., Hnich, B., Prestwich, S.: A global chance-constraint for stochastic inventory systems under service level constraints. Constraints 13(4), 490–517 (2008)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Rossi, R., Tarim, S.A., Hnich, B., Prestwich, S.D.: Cost-based domain filtering for stochastic constraint programming. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 235–250. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  9. 9.
    Tarim, S.A., Manandhar, S., Walsh, T.: Stochastic constraint programming: A scenario-based approach. Constraints 11(1), 53–80 (2006)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Walsh, T.: Stochastic constraint programming. In: van Harmelen, F. (ed.) European Conference on Artificial Intelligence, ECAI 2002, Proceedings, pp. 111–115. IOS Press, Amsterdam (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Brahim Hnich
    • 1
  • Roberto Rossi
    • 2
  • S. Armagan Tarim
    • 3
  • Steven Prestwich
    • 4
  1. 1.Faculty of Computer ScienceIzmir University of EconomicsTurkey
  2. 2.Logistics, Decision and Information SciencesWageningen URThe Netherlands
  3. 3.Operations Management DivisionNottingham University Business SchoolUK
  4. 4.Cork Constraint Computation CentreUniversity College CorkIreland

Personalised recommendations