5. Applying Constraint Logic Programming Languages for Modelling Multi-objective Decision Making under Uncertainty

5. Applying Constraint Logic Programming Languages for Modelling
Multi-objective Decision Making under Uncertainty
（John Darlington、Imperial College (英)）

The proposed project involves applying constraint logic programming
technologies to develop a natural problem specification framework for
large scale multi-objective decision making under uncertainty.  This
tool will enable decision makers to define, control and refine the
whole decision making procedure through a user oriented and
declarative modelling mechanism. This project will also investigate a
new method for supporting decision making within a stochastic
environment.

The major components of the proposed integrated and holistic solution
to the modelling problem will comprise ---

1) A CLP based framework that allows the natural specification of
   complex modelling and decision making procedures.

2) A methodology for translating such logic-based specifications into
   an integer programming formulation.

3) The modelling language will interface with a set of parallel
   constraint solvers. The generated constraints will be solved using
   underlying constraint solvers. New constraint solvers for
   stochastic IP will be developed based on the novel algebraic IP
   solver developed in the first phase of the project.

4) The whole system will be developed to facilitate incremental
   expansion.