 Multicriteria decision analysis

Multiplecriteria decisionmaking or multiplecriteria decision analysis is a subdiscipline of operations research that explicitly considers multiple criteria in decisionmaking environments. Whether in our daily lives or in professional settings, there are typically multiple conflicting criteria that need to be evaluated in making decisions. Cost or price is usually one of the main criteria. Some measure of quality is typically another criterion that is in conflict with the cost. In purchasing a car, cost, comfort, safety, and fuel economy may be some of the main criteria we consider. It is unusual to have the cheapest car to be the most comfortable and the safest. In portfolio management, we are interested in getting high returns but at the same time reducing our risks. Again, the stocks that have the potential of bringing high returns typically also carry high risks of losing money. In service industry, customer satisfaction and the cost of providing service are two conflicting criteria that would be useful to consider.
In our daily lives, we usually weigh multiple criteria implicitly and we may be comfortable with the consequences of such decisions that are made based on only intuition. On the other hand, when stakes are high, it is important to properly structure the problem and explicitly evaluate multiple criteria. In making the decision of whether to be build a nuclear power plant or not, and where to build it, there are not only very complex issues involving multiple criteria, but there are also multiple parties who are deeply affected from the consequences.
Structuring complex problems well and considering multiple criteria explicitly leads to more informed and better decisions. There have been important advances in this field since the start of the modern multiple criteria decision making discipline in the early 1960s.
Contents
Foundations, concepts, definitions
MCDM or MCDA are wellknown acronyms for multiple criteria decision making and multiple criteria decision analysis. Stanley Zionts wrote an article in 1979 titled: “MCDM – If not a Roman Numeral, then What?"
MCDM is concerned with structuring and solving decision and planning problems involving multiple criteria. The purpose is to support decision makers facing such problems. Typically, there does not exist a unique optimal solution for such problems and it is necessary to use decision maker’s preferences to differentiate between solutions.
“Solving” can be interpreted in different ways. It could correspond to choosing the “best” alternative from a set of available alternatives (where “best” can be interpreted as “the most preferred alternative” of a decision maker). Another interpretation of “solving” could be choosing a small set of good alternatives, or grouping alternatives into different preference sets. An extreme interpretation could be to find all “efficient” or “nondominated” alternatives (which we will define shortly).
The difficulty of the problem originates from the presence of more than one criterion. There is no longer a unique optimal solution to an MCDM problem that can be obtained without incorporating preference information. The concept of an optimal solution is often replaced by the set of nondominated solutions. A nondominated solution has the property that it is not possible to move away from it to any other solution without sacrificing in at least one criterion. Therefore, it makes sense for the decision maker to choose a solution from the nondominated set. Otherwise, he could do better in terms of some or all of the criteria, and not do worse in any of them. Generally, however, the set of nondominated solutions is too large to be presented to the decision maker for his final choice. Hence we need tools that help the decision maker focus on his preferred solutions (or alternatives). Normally one has to “tradeoff” certain criteria for others.
MCDM has been an active area of research since the 1970s. There are several MCDMrelated organizations including the International Society on Multicriteria Decision Making, Euro Working Group on MCDA, and INFORMS Section on MCDM. For a history see: Köksalan, Wallenius and Zionts (2011).^{[1]} Also see A Brief History prepared by Steuer and Zionts.
MCDM draws upon knowledge in many fields including:
 Mathematics
 Behavioral Decision Theory
 Economics
 Computer Technology
 Software Engineering
 Information Systems
A typology
There are different classifications of MCDM problems and methods. A major distinction between MCDM problems is based on whether the solutions are explicitly or implicitly defined.
 Multiplecriteria evaluation problems: These problems consist of a finite number of alternatives, explicitly known in the beginning of the solution process. Each alternative is represented by its performance in multiple criteria. The problem may be defined as finding the best alternative for a decision maker (DM), or finding a set of good alternatives. One may also be interested in “sorting” or “classifying” alternatives. Sorting refers to placing alternatives in a set of preferenceordered classes (such as assigning creditratings to countries), and classifying refers to assigning alternatives to nonordered sets (such as diagnosing patients based on their symptoms).
 Multiplecriteria design problems (multiple objective mathematical programming problems): In these problems, the alternatives are not explicitly known. An alternative (solution) can be found by solving a mathematical model. The number of alternatives is either infinite and not countable (when some variables are continuous) or typically very large if countable (when all variables are discrete).
Whether it is an evaluation problem or a design problem, preference information of DMs is required in order to differentiate between solutions. The solution methods for MCDM problems are commonly classified based on the timing of preference information obtained from the DM.
There are methods that require the DM’s preference information at the start of the process, transforming the problem into essentially a single criterion problem. These methods are said to operate by “prior articulation of preferences.” Methods based on estimating a value function or using the concept of “outranking relations,” analytical hierarchy process, and some decision rulebased methods try to solve multiple criteria evaluation problems utilizing prior articulation of preferences. Similarly, there are methods developed to solve multiple criteria design problems using prior articulation of preferences by constructing a value function. Perhaps the most wellknown of these methods is goal programming. Once the value function is constructed, the resulting single objective mathematical program is solved to obtain a preferred solution.
Some methods require preference information from the DM throughout the solution process. These are referred to as interactive methods or methods that require “progressive articulation of preferences.” These methods have been welldeveloped for both the multiple criteria evaluation (see for example Köksalan and Sagala, 1995^{[2]} ) and design problems (see Steuer, 1986^{[3]}).
Multiple criteria design problems typically require the solution of a series of mathematical programming models in order to reveal implicitly defined solutions. For these problems, a representation or approximation of “efficient solutions” may also be of interest. This category is referred to as “posterior articulation of preferences,” implying that the DM’s involvement starts posterior to the explicit revelation of “interesting” solutions (see for example Karasakal and Köksalan, 2009^{[4]}).
When the mathematical programming models contain integer variables, the design problems become harder to solve. Multiobjective Combinatorial Optimization (MOCO) constitutes a special category of such problems posing substantial computational difficulty (see Ehrgott and Gandibleux,^{[5]} 2002, for a review).
Representations and definitions
The MCDM problem can be represented in the criterion space or the decision space. Alternatively, if different criteria are combined by a weighted linear function, it is also possible to represent the problem in the weight space. Below are the demonstrations of the criterion and weight spaces as well as some formal definitions.
Criterion space representationLet us assume that we evaluate solutions in a specific problem situation using several criteria. Let us further assume that more is better in each criterion. Then, among all possible solutions, we are ideally interested in those solutions that perform well in all considered criteria. However, it is unlikely to have a single solution that performs well in all considered criteria. Typically, some solutions perform well in some criteria and some perform well in others. Finding a way of trading off between criteria is one of the main endeavors in the MCDM literature.
Mathematically, the MCDM problem corresponding to the above arguments can be represented as
 "max" q

 subject to


 q ∈ Q

where q is the vector of k criterion functions (objective functions) and Q is the feasible set, Q ⊆ R^{k}.
If Q is defined explicitly (by a set of alternatives), the resulting problem is called a Multiple Criteria Evaluation problem.
If Q is defined implicitly (by a set of constraints), the resulting problem is called a Multiple Criteria Design problem.
The quotation marks are used to indicate that the maximization of a vector is not a welldefined mathematical operation. This corresponds to the argument that we will have to find a way to resolve the tradeoff between criteria (typically based on the preferences of a decision maker) when a solution that performs well in all criteria does not exist.
Decision space representation
The decision space corresponds to the set of possible decisions that are available to us. The criteria values will be consequences of the decisions we make. Hence, we can define a corresponding problem in the decision space. For example, in designing a product, we decide on the design parameters (decision variables) each of which have an impact on the performance measures (criteria) with which we evaluate our product.
Mathematically, a multiple criteria design problem can be represented in the decision space as follows:

 "max" q = f(x) = (f_{1}(x),...,f_{k}(x))

 subject to
 q ∈ Q = {f(x) : x ∈ X, X ⊆ R^{n}},
 subject to
where X is the feasible set and x is the decision variable vector of size n.
A welldeveloped special case is obtained when X is a polyhedron defined by linear inequalities and equalities. If all the objective functions are linear in terms of the decision variables, this variation leads to multiple objective linear programming (MOLP), an important subclass of MCDM problems.
There are several definitions that are central in MCDM. Two closely related definitions are those of nondominance (defined based on the criterion space representation) and efficiency (defined based on the decision variable representation).
Definition 1. q* ∈ Q is nondominated if there does not exist another q ∈ Q such that q ≥ q* and q ≠ q*.Roughly speaking, a solution is nondominated so long as it is not inferior to any other available solution in all the considered criteria.
Definition 2. x* ∈ X is efficient if there does not exist another x ∈ X such that f(x) ≥ f(x*) and f(x) ≠ f(x*).
If an MCDM problem represents a decision situation well, then the most preferred solution of a DM has to be an efficient solution in the decision space, and its image is a nondominated point in the criterion space. Following definitions are also important.
Definition 3. q* ∈ Q is weakly nondominated if there does not exist another q ∈ Q such that q > q*.Definition 4. x* ∈ X is weakly efficient if there does not exist another x ∈ X such that f(x) > f(x*).
Weakly nondominated points include all nondominated points and some special dominated points. The importance of these special dominated points comes from the fact that they commonly appear in practice and special care is necessary to distinguish them from nondominated points. If, for example, we maximize a single objective, we may end up with a weakly nondominated point that is dominated. The dominated points of the weakly nondominated set are located either on vertical or horizontal planes (hyperplanes) in the criterion space.
Ideal point: (in criterion space) represents the best (the maximum for maximization problems and the minimum for minimization problems) of each objective function, and typically corresponds to an infeasible solution.
Nadir point: (in criterion space) represents the worst (the minimum for maximization problems and the maximum for minimization problems) of each objective function among the points in the nondominated set, and is typically a dominated point.
The ideal point and the nadir point are useful to the DM to get the “feel” of the range of solutions (although it is not straightforward to find the nadir point for design problems having more than two criteria).
Illustrations of the decision and criterion spaces
The following twovariable MOLP problem in the decision variable space will help demonstrate some of the key concepts graphically.

 Max f_{1}(x) = x_{1} + 2x_{2}

 Max f_{2}(x) = 2x_{1} – x_{2}

 subject to


 x_{1} ≤ 4



 x_{2} ≤ 4



 x_{1} + x_{2} ≤ 7



 x_{1} + x_{2} ≤ 3



 x_{1} – x_{2} ≤ 3



 x_{1}, x_{2} ≥ 0

In Figure 1, the extreme points “e” and “b” maximize the first and second objectives, respectively. The red boundary between those two extreme points represents the efficient set. It can be seen from the figure that, for any feasible solution outside the efficient set, it is possible to improve both objectives by some points on the efficient set. Conversely, for any point on the efficient set, it is not possible to improve both objectives by moving to any other feasible solution. At these solutions, one has to sacrifice from one of the objectives in order to improve the other objective.Due to its simplicity, the above problem can be represented in criterion space by replacing the x's with the f 's as follows:

 Max f_{1}

 Max f_{2}

 subject to


 f_{1} + 2f_{2} ≤ 12



 2f_{1} + f_{2} ≤ 12



 f_{1} + f_{2} ≤ 7



 f_{1} – f_{2} ≤ 9



 f_{1} + f_{2} ≤ 9



 f_{1} + 2f_{2} ≥ 0



 2f_{1} + f_{2} ≥ 0

We present the criterion space graphically in Figure 2. It is easier to detect the nondominated points (corresponding to efficient solutions in the decision space) in the criterion space. The northeast region of the feasible space constitutes the set of nondominated points (for maximization problems).
Generating nondominated solutions
There are several ways to generate nondominated solutions. We will discuss two of these. The first approach can generate a special class of nondominated solutions whereas the second approach can generate any nondominated solution.
 Weighted sums (Gass & Saaty, 1955^{[6]})
If we combine the multiple criteria into a single criterion by multiplying each criterion with a positive weight and summing up the weighted criteria, then the solution to the resulting single criterion problem is a special efficient solution. These special efficient solutions appear at corner points of the set of available solutions. Efficient solutions that are not at corner points have special characteristics and this method is not capable of finding such points. Mathematically, we can represent this situation as

 max w^{T}.q = w^{T}.f(x), w> 0

 subject to


 x ∈ X

By varying the weights, weighted sums can be used for generating efficient extreme point solutions for design problems, and supported (convex nondominated) points for evaluation problems.
 Achievement scalarizing function (Wierzbicki, 1980^{[7]})
Achievement scalarizing functions also combine multiple criteria into a single criterion by weighting them in a very special way. They create rectangular contours going away from a reference point towards the available efficient solutions. This special structure empower achievement scalarizing functions to reach any efficient solution. This is a powerful property that makes these functions very useful for MCDM problems.
Mathematically, we can represent the corresponding problem as

 Min s(g, q, w, ρ) = Min {max_{i} [(g_{i} – q_{i})/w_{i} ] + ρ ∑_{i} (g_{i} q_{i})},

 subject to


 q ∈ Q

The achievement scalarizing function can be used to project any point (feasible or infeasible) on the efficient frontier. Any point (supported or not) can be reached. The second term in the objective function is required to avoid generating inefficient solutions. Figure 3 demonstrates how a feasible point, g_{1}, and an infeasible point, g_{2}, are projected onto the nondominated points, q_{1} and q_{2}, respectively, along the direction w using an achievement scalarizing function. The dashed and solid contours correspond to the objective function contours with and without the second term of the objective function, respectively.
Solving MCDM problems
Different schools of thought have developed for solving MCDM problems (both of the design and evaluation type). For a bibliometric study showing their development over time, see Bragge, Korhonen, H. Wallenius and J. Wallenius [2010].^{[8]}
Multiple objective mathematical programming school
(1) Vector maximization: The purpose of vector maximization is to approximate the nondominated set; originally developed for Multiple Objective Linear Programming problems (Evans and Steuer, 1973;^{[9]} Yu and Zeleny, 1975^{[10]}).
(2) Interactive programming: Phases of computation alternate with phases of decisionmaking (Benayoun et al., 1971;^{[11]} Geoffrion, Dyer and Feinberg, 1972;^{[12]} Zionts and Wallenius, 1976;^{[13]} Korhonen and Wallenius, 1988^{[14]}). No explicit knowledge of the DM’s value function is assumed.
The purpose is to set apriori target values for goals, and to minimize weighted deviations from these goals. Both importance weights as well as lexicographic preemptive weights have been used (Charnes and Cooper, 1961^{[15]}).
Fuzzyset theorists
Fuzzy sets were introduced by Zadeh (1965)^{[16]} as an extension of the classical notion of sets. This idea is used in many MCDM algorithms to model and solve fuzzy problems.
Multiattribute utility theorists
Multiattribute utility or value functions are elicited and used to identify the most preferred alternative or to rank order the alternatives. Elaborate interview techniques, which exist for eliciting linear additive utility functions and multiplicative nonlinear utility functions, are used (Keeney and Raiffa, 1976^{[17]}).
French school
The French school focuses on decision aiding, in particular the ELECTRE family of outranking methods that originated in France during the mid1960s. The method was first proposed by Bernard Roy (Roy, 1968^{[18]}).
Evolutionary multiobjective optimization school (EMO)
EMO algorithms start with an initial population, and update it by using processes designed to mimic natural survivalofthefittest principles and genetic variation operators to improve the average population from one generation to the next. The goal is to converge to a population of solutions which represent the nondominated set (Schaffer, 1984;^{[19]} Srinivas and Deb, 1994^{[20]}). More recently, there are efforts to incorporate preference information into the solution process of EMO algorithms (see Deb and Köksalan, 2010^{[21]}).
Analytic hierarchy process (AHP)
The AHP first decomposes the decision problem into a hierarchy of subproblems. Then the decisionmaker evaluates the relative importance of its various elements by pairwise comparisons. The AHP converts these evaluations to numerical values (weights or priorities), which are used to calculate a score for each alternative (Saaty, 1980^{[22]}). A consistency index measures the extent to which the decisionmaker has been consistent in her responses.
MCDM Methods
Some of the MCDM methods are:
 Aggregated Indices Randomization Method (AIRM)
 Analytic hierarchy process (AHP)
 Analytic network process (ANP)
 Data envelopment analysis
 Dominancebased rough set approach (DRSA)
 ELECTRE (Outranking)
 The evidential reasoning approach (ER)
 Goal programming
 Grey relational analysis (GRA)
 Inner product of vectors (IPV)
 Measuring Attractiveness by a categorical Based Evaluation Technique(MACBETH)
 Disaggregation – Aggregation Approaches (UTA*, UTAII, UTADIS)
 MultiAttribute Global Inference of Quality (MAGIQ)
 Multiattribute utility theory (MAUT)
 Multiattribute value theory (MAVT)
 New Approach to Appraisal (NATA)
 Nonstructural Fuzzy Decision Support System (NSFDSS)
 Potentially all pairwise rankings of all possible alternatives (PAPRIKA)
 PROMETHEE (Outranking)
 Superiority and inferiority ranking method (SIR method)
 Value analysis (VA)
 Value engineering (VE)
 The VIKOR method.^{[23]}
 Fuzzy VIKOR.^{[24]}^{[25]}
 Weighted product model (WPM)
 Weighted sum model (WSM)
See also
 Decisionmaking software
 Decisionmaking
 Decisionmaking paradox
 Multicriteria classification problems
 Rank reversals in decisionmaking
References
 ^ Köksalan, M., Wallenius, J., and Zionts, S. (2011). Multiple Criteria Decision Making: From Early History to the 21st Century. Singapore: World Scientific.
 ^ Köksalan, M.M. and Sagala, P.N.S., M. M.; Sagala, P. N. S. (1995). "Interactive Approaches for Discrete Alternative Multiple Criteria Decision Making with Monotone Utility Functions". Management Science 41 (7): 1158–1171. doi:10.1287/mnsc.41.7.1158.
 ^ Steuer, R.E. (1986). Multiple Criteria Optimization: Theory, Computation and Application. New York: John Wiley.
 ^ Karasakal, E. K. and Köksalan, M., E.; Koksalan, M. (2009). "Generating a Representative Subset of the Efficient Frontier in Multiple Criteria Decision Making". Operations Research 57: 187–199. doi:10.1287/opre.1080.0581.
 ^ Ehrgott, M. and Gandibleux, X. (2002). Multiobjective Combinatorial Optimization. Multiple Criteria Optimization, State of the Art Annotated Bibliographic Surveys. pp. 369–444.
 ^ Gass, S.; Saaty, T. (1955). "Parametric Objective Function Part II". Operations Research 3: 316–319.
 ^ Wierzbicki, A. (1980). "The Use of Reference Objectives in Multiobjective Optimization". Lecture Notes in Economics and Mathematical Systems. Springer, Berlin 177: 468–486.
 ^ Bragge, J.; Korhonen, P., Wallenius, H. and Wallenius, J. (2010). "Bibliometric Analysis of Multiple Criteria Decision Making/Multiattribute Utility Theory". IXX International MCDM Conference Proceedings, (Eds.) M. Ehrgott, B. Naujoks, T. Stewart, and J. Wallenius,. Springer, Berlin 634: 259–268.
 ^ Evans, J.; Steuer, R. (1973). "A Revised Simplex Method for Linear Multiple Objective Programs". Mathematical Programming 5: 54–72. doi:10.1007/BF01580111.
 ^ Yu, P.L.; Zeleny, M. (1975). "The Set of All NonDominated Solutions in Linear Cases and a Multicriteria Simplex Method". Journal of Mathematical Analysis and Applications 49 (2): 430–468. doi:10.1016/0022247X(75)901894.
 ^ Benayoun, R.; deMontgolfier, J., Tergny, J., and Larichev, O. (1971). Linear Programming with Multiple Objective Functions: Stepmethod (STEM). 1. pp. 366–375.
 ^ Geoffrion, A.; ,Dyer, J., Feinberg, A. (1972). "An Interactive Approach for Multicriterion Optimization with an Application to the Operation of an Academic Department". Management Science 19 (4–Part–1): 357–368. doi:10.1287/mnsc.19.4.357.
 ^ Zionts, S.; Wallenius, J. (1976). "An Interactive Programming Method for Solving the Multiple Criteria Problem". Management Science 22 (6): 652–663. doi:10.1287/mnsc.22.6.652.
 ^ Korhonen, P.; Wallenius, J. (1988). "A Pareto Race". Naval Research Logistics 35 (6): 615–623. doi:10.1002/15206750(198812)35:6<615::AIDNAV3220350608>3.0.CO;2K.
 ^ Charnes, A. and Cooper, W.W. (1961). Management Models and Industrial Applications of Linear Programming. New York: Wiley.
 ^ Zadeh, L. (1965). "Fuzzy Sets". Information and Control 8 (3): 338–353. doi:10.1016/S00199958(65)90241X.
 ^ Keeney, R. and Raiffa, H. (1976). Decisions with Multiple Objectives: Preferences and Value Tradeoffs. New York: Wiley.
 ^ Roy, B. (1968). "La méthode ELECTRE". Revue d'Informatique et de Recherche Opérationelle (RIRO) 8: 57–75.
 ^ Shaffer, J.D. (1984). Some Experiments in Machine Learning Using Vector Evaluated Genetic Algorithms, PhD thesis. Nashville: Vanderbilt University.
 ^ Srinivas, N.; Deb, K. (1994). "Multiobjective Optimization Using Nondominated Sorting in Genetic Algorithms". Evolutionary Computation 2 (3): 221–248. doi:10.1162/evco.1994.2.3.221.
 ^ Deb, K.; Köksalan, M. (2010). "Guest Editorial Special Issue on PreferenceBased Multiobjective Evolutionary Algorithms". IEEE Transactions on Evolutionary Computation 14 (5): 669–670. doi:10.1109/TEVC.2010.2070371.
 ^ Saaty, T.L. (1980). The Analytic Hierarchy Process: Planning, Priority Setting, Resource Allocation. New York: McGrawHill,.
 ^ Opricovic Serafim, Tzeng GwoHshiung. “Extended VIKOR Method in Comparison with Outranking Methods”. European Journal of Operational Research, Vol. 178, No 2, 2007, pp. 514–529.
 ^ Opricovic Serafim. “A fuzzy compromise solution for multicriteria problems”. International Journal of Uncertainty, Fuzziness and Knowledgebased Systems, Vol. 15, No. 3, 2007, pp. 363–380.
 ^ Opricovic, S. “Fuzzy VIKOR with an application to water resources planning”. Expert Systems with Applications (2011), doi:10.1016/j.eswa.2011.04.097 (in press).
Categories:
Wikimedia Foundation. 2010.