High-Order Pareto Frontier Approximation and

advertisement
High-order Pareto frontier approximation
and visualization:
30 years of experience and new trends
Abstract of the paper at MCDM 2011
Alexander V. Lotov
Dorodnicyn Computing Center of Russian
Academy of Sciences and
Lomonosov Moscow State University
Plan of the talk
1. Few words concerning Pareto frontier visualization
2. Interactive Decision Maps (IDM) technique for
visualization of the high-order Pareto frontier
3. Few words about application of IDM in the convex case
4. IDM in the non-linear non-convex case:
using of hybrid (classic&genetic) optimization
5. Application of IDM in non-linear non-convex problems:
a) study of the cooling equipment for continuous steel casting
b) designing the release rules for the Baikal Lake Basin
c) development of efficient strategies for AIDS treatment
6. New studies: linearization of response surface,
identification of math models
This job was carried out by a large group of
specialists and students that includes
V.Bushenkov, O.Chernykh,
G.Kamenev, D.Gusev,
L.Bourmistrova, R. Efremov,
V.Berezkin, A.Pospelov,
and many others.
Few words concerning Pareto
frontier visualization
Notation
Let X be the feasible set in decision space,
z=(z1, z2,…, zm)= f(x) be the criteria vector,
where f(x) is the vector of objective functions.
Then, Z=f(X) = feasible set in objective space R m
Pareto domination (minimization case)
z'  z' '  z'i  z' 'i , i  1,2,...,m; z'  z' ' 
Non-dominated (efficient, Pareto) frontier
P(Z )  z  Z : z' Z : z'  z  emptyset
Feasible set in objective space
z2
Z=f(X)
z1
Non-dominated (Pareto) frontier is visible
z2
Z=f(X)
z1
Pareto frontier methods
(a posteriori preference) methods
Pareto frontier methods consist in
1) approximating the Pareto frontier and
2) informing the Decision Maker about it.
In contrast to preference-oriented methods,
Pareto frontier methods do not require the
DM to answer multiple questions
concerning his/her preferences, but only
inform the DM.
Two basic ways for informing the DM
about the Pareto frontier
• By providing a list of the objective
(criterion) points that belong to the
Pareto frontier
• By visualization of the Pareto frontier
Selecting from a large list of objective
points (more than one or two dozens)
with more than two criteria turned out to
be too complicated for a human being.
See, for example, the paper
• Larichev O. Cognitive Validity in
Design of Decision-Aiding
Techniques. Journal of Multi-Criteria
Decision Analysis, 1992, v.1, n 3.
Visualization of the Paretoo frontier can
help
”A picture is worth a thousand words”
Prof. A.Wierzbicki proved that
a picture is worth 10 thousand words
Tradeoff information is important for DM
z2
f(x*)
f(x1)
f(x2)
z1
We develop the Pareto frontier
visualization methods
for the high-order problems (m > 2)
Two problems must be solved
• How to approximate the Pareto frontier?
• How to inform the stakeholders about the
Pareto frontier?
Interactive Decision Maps (IDM)
technique solves these problems in highorder MOO problems.
Its generic ideas were formulated in 1980
(Lotov, A.V. On the concept of the GRS
and its constructing for linear controlled
systems. Sov. Phys. Dokl., American
Istitute of Physics, 1980, 25(2), 82–84)
The IDM technique is based on
approximating the feasible objective set Z
or
its Edgeworth-Pareto Hull (EPH),
that is
Zp  Z
m
 R
Sometimes the EPH is called the Free Disposal Hull.
It holds
P(Z p )  P(Z )
z2
P(Z)
f(X)
Zp
z1
Visualization by usung the IDM tech
In this talk, we restrict with visualization of the
EPH.
The IDM tech is based on the display of biobjective slices of the EPH.
Decision map is a collection of overlapped biobjective slices in the case m=3.
If for m>3, the IDM technique displays decision
maps interactively. Decision maps can be rearranged, animated, zoomed, etc. by the user.
This option is based on the approximating the
EPH, which has to be completed in advance.
Example of the Pareto frontier
display for m=5 in the convex case
Another example of the Pareto frontier
display for m=5 in the convex case
by using the matrix of decision maps
Application of the IDM tech:
Feasible Goals Method (FGM).
It is the IDM-supported goal method, in
the framework of which the goal is
identified at the Pareto frontier.
Objective (criterion) tradeoff information helps the
decision maker to identify the preferable nondominated objective point (goal) consciously.
It is important that the goal located at the Pareto
frontier is feasible.
Due to it, the associated decision does exist and can
be computed.
Application of the IDM in the
convex case
In the convex case polyhedral
approximation of the EPH is used.
Method and applications are described
in
Lotov A.V., Bushenkov V.A., and Kamenev G.K.
Interactive Decision Maps.
Approximation and Visualization of
Pareto Frontier.
Kluwer Academic Publishers, 2004.
Real-life applications of FGM and its
modification (Reasonable Goals Method) in
the convex case
DSS for Water Quality Planning (Russian Federal Programme
“Revival of the Volga River”)
Searching for trans-boundary air pollution control strategies (jointly
with M.Pohjola and V.Kaitala, Finland)
Exploration of pollution abatement cost in the Electricity Sector –
Israeli case study (Ministry of National Infrastructures of Israel,
D.Soloveichik et al.).
Web-based Participatory Decision Support for Integrated River Basin
Planning (jointly with J.Dietrich and A.H. Schumann, Germany)
Water quality planning in rivers of Cataluña (A.L.Udias Moinelo and
R.Efremov, Spain, A.Pospelov, Russia)
Academic applications in the convex
problems
•
•
•
•
•
Development of smart response strategies related to global
climate change
Environmentally sound agricultural planning in the Netherlands
(jointly with S.Orlovski and P.˚van Walsum from IIASA,
Austria)
Allocation of sea oil platforms and planning the oil fields
development (jointly with R.Efremov, Spain, A.Barron
Alcantara, Mexico)
E-democracy: web-based participatory decision support (jointly
with Efremov R., Rios-Insua D.)
Etc.
IDM in the non-linear
non-convex case
The main problems
that arise in the non-linear case:
1. non-convexity of the EPH;
2. time-consuming processes of global scalar
optimization, i.e. computing the support
function may require too much time or may
be impossible.
Approximation of the non-convex EPH
Approximation for visualization
The EPH is approximated by the set T* that is the
union of the non-negative cones
zR
m

with apexes in a finite number of points z of the set
Z=f(X). Collection of such points z is called the
approximation base and is denoted by T.
Important! Multiple slices of such an approximation
can be computed and displayed fairly fast.
Visualization example for 8 criteria
Approximation of the EPH
We concentrated our efforts at the methods for
approximating the EPH in MOO problems
with criterion functions given by black-box
models (say, FEM/FDM modules, or different
simulation modules). Thus, the Lipschitz
constants are unknown (or may not exist at
all) and cannot be used in the methods.
Actually, the only feasible operation with
the module is variation of its inputs and
collecting the related outputs.
We have developed hybrid methods for
approximating the EPH for black-box
modules that include:
a) random (Monte Carlo) search;
b) adaptive and non-adaptive local
simulation-based optimization;
c) importance sampling (squeezing
the search region);
d) semi-genetic algorithms.
Statistical tests were developed that
provide the basis for the stopping rules.
Local simulation-based optimization
Simulation provides an opportunity to approximate
the gradient of a scalar function. It means that it is
possible to use various effective gradient-based
methods (for example, methods of conjugated
gradients) to find local maximum (or minimum) of a
scalar function. These methods can be used for
‘improving’ a random decision x by moving the
associated criterion point f(x) in the direction of the
Pareto frontier.
Two-phase method: combination of
random search and local optimization
Combination of random search and local optimization is
often used in scalar optimization. The simplest methods
of this kind are multi-start methods, more complicated
methods have been proposed, too. Methods of this kind
are known as the two-phase methods.
We apply two-phase methods as the basic tool for
approximation of the Pareto frontier. In our methods the
scalarizing function is not given. Several concepts for
adaptive selecting of scalarizing functions were proposed
by us.
Three-phase method
The three-phase methods include squeezing of the
search region. The methods for adaptive squeezing
were proposed.
Plastering (semi-genetic) method
Plastering method that has some properties of genetic
algorithms (as cross-over and selecting of nondominated decisions) is used at the very end of the
approximation process.
Approximating the EPH using parallel
computing
The proposed methods have the form that can
be used in parallel computing (clusters,
supercomputers, grids, etc.) – it is sufficient
to separate simulation and Pareto frontier
computing.
Even cloud computing can be used since
methods are nor sensitive to a partial loss of
the results of simulation.
Two-platform implementation
IDM applications in the non-linear
non-convex MOO problems
a) Multi-objective study of the
cooling equipment in continuous
casting of steel
The research was carried out jointly with
K.Miettinen and several other researchers
from University of Jyvaskyla.
Criteria
J1 is the original single optimization criterion: deviation
from the desired surface temperature of the steel strand must
be minimized.
J2 to J5 are the penalty criteria introduced to
describe violation of constraints imposed on :
-surface temperature (J2 );
-gradient of surface temperature along the strand
(J3);
-on the temperature after point z3 (J4); and
-on the temperature at point z5 (J5).
J2 to J5 were considered in this study.
Description of the module
FEM/FDM module was developed by researchers
from University of Jyvaskyla.
Properties of the model: 325 control variables that
describe intensity of water application.
b) Application of the non-linear
IDM in the design of the release
rules for the hydro power stations
in the Baikal Lake basin
(encouraged by the group of
Prof. R. Soncini-Sessa from
Politecnico di Milano)
Scheme of the Baikal Lake basin
(cascade of hydropower stations)
The problem of release rules design for a
hydropower stations cascade
Water managers develop some rules, which
relate the flow through a dam (release) to the
current level of the reservoir.
The parameters of the release rules must be
specified to satisfy the requirements of the
industrial, agricultural and municipal users as
well as environmental requirements.
The main concept in the design of
the release rules
The approach is based on direct application of the
historical inflow data. Then, any particular release
rule can be simulated by using a water flow model
combined with historical data on inflow through
the time period under study (about 100 years). By
this, performance indicators for any particular
release rule can be estimated.
Optimization criteria are based on
deviations from :
• Required level of electricity production;
• Satisfaction of environmental requirements
to water use of Baikal;
• Absence of floods;
• etc.
Thus, the objective values must be
minimized.
Completed study:
Pareto frontier for
Irkutsk hydropower station
The Baikal Lake basin
Irkutsk HPS
The decision rule was described by
132 parameters, eight objectives
were used.
After about one hour of computing
at a supercomputer an
approximation of the EPH was
constructed.
Visualization
• After a few steps of visual study of the EPH in general,
it was decided that four objective must have their
minimal values y3=y4=y6=y7=0.
• The rest of objectives are:
y1 is the volume of water released without producing
energy
y2 is the violation of the NO FLOOD requirement
y5 is the violation of a high requirement on energy
production
y8 is the violation of the requirement to have the level of
the Baikal Lake in a corridor set fixed by government
Decision map 1
Decision map 2
Decision map 3
Decision map 4
Decision map 5
Selected objective points
•
•
•
•
•
•
y1=0.86, y2=0.00, y5=0.77, y8=0.93
y1=0.77, y2=0.22, y5=0.85, y8=0.84
y1=0.85, y2=0.11, y5=0.42, y8=0.88
y1=0.91, y2=0.00, y5=0.42, y8=0.91
y1=0.92, y2=0.11, y5=0.34, y8=0.90
y1=0.89, y2=0.00, y5=0.33, y8=0.93
Value Path
Search for effective strategies for
HIV therapy
The model
• n is the number of healthy lymphocytes of CD4+ type,
• I1 is the number of lymphocytes infected by the natural
HIV virus,
• I2 is the number of lymphocytes infected by the mutated
HIV virus,
• h is the concentration of drug in blood,
• u is the intensity of treatment: 0<u<U
Objectives
• y1 is the drug application during one year
• y2 is the maximal concentration of drug in the
body
• y3 is the number of infected lymphocytes at the
very end of the time-period
• y4 is the maximal number of infected
lymphocytes during the time-period
• y5 is the number of healthy lymphocytes at the
very end of the time-period
• y6 is the maximal number of healthy
lymphocytes during the time-period
One of the decision maps
One of the Pareto optimal therapy
strategies
The result of the selected Pareto optimal
therapy
New developments:
linearization of response
surface and identification of
math models
Linearization of response surface
in Water Quality Rehabilitation
Details described in:
A. Castelletti, A. Lotov, R. Soncini-Sessa.
Visualization-based multi-criteria improvement of
environmental decision-making using linearization
of response surfaces. Environmental Modelling
and Software, v.25, 2010, pp. 1552-1564.
Examples of graphs of error function 
of parameter λ


а)
l

б)
в)
l
l
Our Web site
• http://www.ccas.ru/mmes/mmeda/
Download