Scenario-based Stochastic Constraint Programming

05/22/2009
by   Suresh Manandhar, et al.
0

To model combinatorial decision problems involving uncertainty and probability, we extend the stochastic constraint programming framework proposed in [Walsh, 2002] along a number of important dimensions (e.g. to multiple chance constraints and to a range of new objectives). We also provide a new (but equivalent) semantics based on scenarios. Using this semantics, we can compile stochastic constraint programs down into conventional (nonstochastic) constraint programs. This allows us to exploit the full power of existing constraint solvers. We have implemented this framework for decision making under uncertainty in stochastic OPL, a language which is based on the OPL constraint modelling language [Hentenryck et al., 1999]. To illustrate the potential of this framework, we model a wide range of problems in areas as diverse as finance, agriculture and production.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/03/2019

Constrained optimization under uncertainty for decision-making problems: Application to Real-Time Strategy games

Decision-making problems can be modeled as combinatorial optimization pr...
research
10/09/2011

Confidence-based Reasoning in Stochastic Constraint Programming

In this work we introduce a novel approach, based on sampling, for findi...
research
09/01/2019

On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers

Scenario-Based Programming is a methodology for modeling and constructin...
research
10/20/1998

A Proof Theoretic View of Constraint Programming

We provide here a proof theoretic account of constraint programming that...
research
09/05/2015

A commentary on "The now-or-never bottleneck: a fundamental constraint on language", by Christiansen and Chater (2016)

In a recent article, Christiansen and Chater (2016) present a fundamenta...
research
06/02/2020

Generating Random Logic Programs Using Constraint Programming

Testing algorithms across a wide range of problem instances is crucial t...
research
09/23/2019

Compiling Stochastic Constraint Programs to And-Or Decision Diagrams

Factored stochastic constraint programming (FSCP) is a formalism to repr...

Please sign up or login with your details

Forgot password? Click here to reset