Algorithms for Stochastic CSPs
The Stochastic CSP (SCSP) is a framework recently introduced by Walsh to capture combinatorial decision problems that involve uncertainty and probabilities. The SCSP extends the classical CSP by including both decision variables, that an agent can set, and stochastic variables that follow a probability distribution and can model uncertain events beyond the agent’s control. So far, two approaches to solving SCSPs have been proposed; backtracking-based procedures that extend standard methods from CSPs, and scenario-based methods that solve SCSPs by reducing them to a sequence of CSPs. In this paper we further investigate the former approach. We first identify and correct a flaw in the forward checking (FC) procedure proposed by Walsh. We also extend FC to better take advantage of probabilities and thus achieve stronger pruning. Then we define arc consistency for SCSPs and introduce an arc consistency algorithm that can handle constraints of any arity.
KeywordsDecision Variable Stochastic Variable Current Variable Recursive Call Chance Constraint
Unable to display preview. Download preview PDF.
- 2.Bordeaux, L., Cadoli, M., Mancini, T.: CSP Properties for Quantified Constraints: Definitions and Complexity. In: Proceedings of AAAI 2005, pp. 360–365 (2005)Google Scholar
- 3.Bordeaux, L.: Boolean and interval propagation for quantified constraints. In: Proceedings of the CP 2005 Workshop on Quantification in Constraint Programming, pp. 16–30 (2005)Google Scholar
- 7.Manandhar, S., Tarim, A., Walsh, T.: Scenario-based Stochastic Constraint Programming. In: Proceedings of IJCAI 2003, pp. 257–262 (2003)Google Scholar
- 8.Ruszczynski, A., Shapiro, A.: Stochastic Programming. In: Handbooks in OR/MS, vol. 10. Elsevier Science, Amsterdam (2003)Google Scholar
- 10.Walsh, T.: Stochastic Constraint Programming. In: Proceedings of ECAI 2002, pp. 111–115 (2002)Google Scholar