possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal...

26
Fuzzy Sets and Systems 111 (2000) 3–28 www.elsevier.com/locate/fss Possibilistic linear programming: a brief review of fuzzy mathematical programming and a comparison with stochastic programming in portfolio selection problem Masahiro Inuiguchi a , Jaroslav Ram k b ; * ; 1 a Department of Electronics and Information Systems, Graduate School of Engineering, Osaka University, 2-1 Yamadaoka, Suita, Osaka 565-0871, Japan b Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Br afova 7, 701 03 Ostraval, Czech Republic Received October 1998 Abstract In this paper, we review some fuzzy linear programming methods and techniques from a practical point of view. In the rst part, the general history and the approach of fuzzy mathematical programming are introduced. Using a numerical example, some models of fuzzy linear programming are described. In the second part of the paper, fuzzy mathematical programming approaches are compared to stochastic programming ones. The advantages and disadvantages of fuzzy mathematical program- ming approaches are exemplied in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy mathematical programming are briey reviewed. c 2000 Elsevier Science B.V. All rights reserved. Keywords: Fuzzy mathematical programming; Fuzzy constraint; Fuzzy goal; Possibility measure; Necessity measure; Simplex method; Stochastic programming; Portfolio selection 1. Introduction The notion of fuzzy set is widely spread to various elds after a resounding success in the applications of fuzzy logic controllers in late 1980s. The application to mathematical programming has relatively long his- tory (see [107]). In spite of the fact that there is no big boom in applications of fuzzy sets theory to the mathematical programming, the history of fuzzy math- ematical programming is rich enough. This is the fruit * Corresponding author. 1 This research was partly supported by the Czech Grant Agency, Grant No. 201/98/0222. of the continuous eorts of the researchers in that topic. Therefore, it is not easy to describe all of the fuzzy mathematical programming techniques in one paper. In this paper, we restrict ourselves to describing the essence of fuzzy mathematical programming, especially possibilistic linear programming and to demonstrating its characteristics by using concrete examples, instead of introducing a lot of fuzzy math- ematical programming techniques. The readers who are interested in various fuzzy mathematical pro- gramming techniques are referred to Slowinski [94], Luhandjula [60], Inuiguchi et al. [33], Rommelfanger [89], Sakawa [92] and Lai-Hwang [56,57]. 0165-0114/00/$ - see front matter c 2000 Elsevier Science B.V. All rights reserved. PII:S0165-0114(98)00449-7

Upload: others

Post on 31-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

Fuzzy Sets and Systems 111 (2000) 3–28www.elsevier.com/locate/fss

Possibilistic linear programming: a brief review of fuzzy mathematicalprogramming and a comparison with stochastic programming in

portfolio selection problemMasahiro Inuiguchi a, Jaroslav Ram��k b ;∗ ;1

a Department of Electronics and Information Systems, Graduate School of Engineering, Osaka University, 2-1 Yamadaoka, Suita,Osaka 565-0871, Japan

b Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Br�afova 7, 701 03 Ostraval, Czech Republic

Received October 1998

Abstract

In this paper, we review some fuzzy linear programming methods and techniques from a practical point of view. In the �rstpart, the general history and the approach of fuzzy mathematical programming are introduced. Using a numerical example,some models of fuzzy linear programming are described. In the second part of the paper, fuzzy mathematical programmingapproaches are compared to stochastic programming ones. The advantages and disadvantages of fuzzy mathematical program-ming approaches are exempli�ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideasand techniques in fuzzy mathematical programming are brie y reviewed. c© 2000 Elsevier Science B.V. All rights reserved.

Keywords: Fuzzy mathematical programming; Fuzzy constraint; Fuzzy goal; Possibility measure; Necessity measure;Simplex method; Stochastic programming; Portfolio selection

1. Introduction

The notion of fuzzy set is widely spread to various�elds after a resounding success in the applications offuzzy logic controllers in late 1980s. The applicationto mathematical programming has relatively long his-tory (see [107]). In spite of the fact that there is nobig boom in applications of fuzzy sets theory to themathematical programming, the history of fuzzy math-ematical programming is rich enough. This is the fruit

∗ Corresponding author.1 This research was partly supported by the Czech Grant Agency,

Grant No. 201/98/0222.

of the continuous e�orts of the researchers in thattopic. Therefore, it is not easy to describe all of thefuzzy mathematical programming techniques in onepaper.

In this paper, we restrict ourselves to describingthe essence of fuzzy mathematical programming,especially possibilistic linear programming and todemonstrating its characteristics by using concreteexamples, instead of introducing a lot of fuzzy math-ematical programming techniques. The readers whoare interested in various fuzzy mathematical pro-gramming techniques are referred to Slowinski [94],Luhandjula [60], Inuiguchi et al. [33], Rommelfanger[89], Sakawa [92] and Lai-Hwang [56,57].

0165-0114/00/$ - see front matter c© 2000 Elsevier Science B.V. All rights reserved.PII: S 0165 -0114(98)00449 -7

Page 2: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

4 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

In the �rst part of the paper, we introduce an il-lustrative realistic example in order to explain whythe fuzzy mathematical programming problem is de-veloped. Here it is emphasized that two kinds of un-certainty, ambiguity and vagueness are treated in thefuzzy mathematical programming. A general fuzzymathematical programming approach is described.After this general description, a fuzzy mathematicalprogramming technique is applied to a concrete real-istic example in the succeeding sections. In this part,the required knowledge for developing the method isalso explained; moreover, in order to emboss the char-acteristics of the fuzzy mathematical programmingapproach, the di�erence from the conventional math-ematical programming approach is examined. In thesecond part of the paper, as the fuzzy mathematicalprogramming approach is similar to the stochastic pro-gramming approach, those approaches are comparedusing the simple programming problem – portfolioselection problem. The advantages and disadvantagesof the fuzzy mathematical programming approachover the stochastic programming approach are high-lighted. Finally, some new approaches are brie yoverviewed.

Part I: Methods and Techniques

2. Fuzzy mathematical programming

2.1. Fuzzy mathematical programming problem

Let us consider the following production planningproblem (from Inuiguchi et al. [44]):

Example 1. There is a factory where two products Pand Q are manufactured by two processes M and N.It takes about 2 min at Process M and about 6 minat Process N for manufacturing a batch of Product P.On the other hand, it takes about 3 min at ProcessM and about 4 min at Process N for manufacturinga batch of Product Q. It is desired that the workingtime of Process M (resp. N) is substantially smallerthan 900 (resp. 1800) min per one term. The pro�trates ($/batch) of Products P and Q are about 7 andabout 9, respectively. The prices ($/batch) of ProductsP and Q are about 60 and about 45, respectively. Thefactory manager requires the gross sales substantially

larger than $22 000. Moreover, he wants to have thepossibility of pro�t substantially larger than $3400.How many Products P and Q should be manufacturedunder such circumstances?

This problem is not clearly described as it includesuncertainty in the italic and slanted descriptions. Aspointed out by some researchers (see [10,54]), twomajor di�erent kinds of uncertainties, ambiguity andvagueness exist in the real life. While ambiguity isassociated with one-to-many relations, that is, situa-tions in which the choice between two or more al-ternatives is left unspeci�ed, vagueness is associatedwith the di�culty of making sharp or precise distinc-tions in the world; that is, some domain of interest isvague if it cannot be delimited by sharp boundaries(see [54]).

In the above example, the slanted uncertain descrip-tions show the ambiguities of the true values, e.g.,about 2min shows that one value around 2 is true butnot known exactly. On the other hand, the italic uncer-tain descriptions show the vagueness of the aspirationlevels, e.g., substantially smaller than 900min doesnot de�ne a sharp boundary of a set of satisfactoryvalues but shows that values around 900 and smallerthan 900 are to some extent and completely satisfac-tory, respectively.

The fuzzy mathematical programming is developedfor treating such uncertainties in the setting of opti-mization problems. The fuzzy mathematical program-ming can be classi�ed into three categories in view ofthe kinds of uncertainties treated in the method (see[44]);1. fuzzy mathematical programming with vagueness,2. fuzzy mathematical programming with ambiguity,3. fuzzy mathematical programming with vagueness

and ambiguity.The fuzzy mathematical programming in the �rst

category was initially developed by Bellman andZadeh [1], Tanaka et al. [103] and Zimmermann[109,110]. It treats decision making problem underfuzzy goals and constraints. The fuzzy goals and con-straints represent the exibility of the target values ofobjective functions and the elasticity of constraints.From this point of view, this type of fuzzy mathemat-ical programming is called the exible programming.Numerous papers were devoted to the developmentof this method. Many of them were overviewed byZimmermann [111].

Page 3: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 5

The second category in fuzzy mathematical pro-gramming treats ambiguous coe�cients of objectivefunctions and constraints but does not treat fuzzygoals and constraints. Dubois and Prade [8] treatedsystems of linear equations with ambiguous coe�-cients suggesting the possible application to fuzzymathematical programming for the �rst time. Someyears later, Tanaka et al. [97,100], Orlovski [71,72]and Ramik and �R�im�anek [83,84] independently pro-posed treatments of linear programming problemswith fuzzy coe�cients. Since then, many approachesto such kinds of problems have been developed. Aremarkable development is done by Dubois [5]. Heintroduced four inequality indices between fuzzynumbers [11] based on the possibility theory [108,14]into mathematical programming problems with fuzzycoe�cients. Since the fuzzy coe�cients can be re-garded as possibility distributions on coe�cient val-ues, this type of fuzzy mathematical programming isusually called, the possibilistic programming.

The last type of fuzzy mathematical programmingtreats ambiguous coe�cients as well as vague de-cision maker’s preference. Negoita et al. [67] werethe �rst who formulated this type of fuzzy linearprogramming problem. In this model, the vague de-cision maker’s preference is represented by a fuzzysatisfactory region and a fuzzy function value is re-quired to be included in the given fuzzy satisfactoryregion. In contrast to the exible programming, thisfuzzy mathematical programming is called the robustprogramming (see [66]). Orlovski [70] formulateda general mathematical programming problem withfuzzy coe�cients based on his previously proposeddecision method [69] with fuzzy preference relation.Luhandjula [58,61] introduced nested target valuesinto the objective function with fuzzy coe�cientsand the di�erences between left- and right-hand sidesof the constraints with fuzzy coe�cients. Inuiguchiet al. [32,29] extended the exible programming intofuzzy coe�cients case based on possibility theory.Since this type of fuzzy mathematical programmingis the most generalized one, various formulationsare conceivable. Inuiguchi et al. [30,36] showedthat most of previous formulations including the�rst and the third categories are encompassed inthe framework of modality constrained program-ming problems based on the possibility theory andthe idea of chance constrained programming [64].

Similarly, Ramik et. al. [75,77–79,85,86] proposeda uni�ed approach based on the fuzzy inequalityrelations.

It would take a lot of space and time to introduceall those formulations of fuzzy mathematical program-ming. Thus, we will restrict ourselves to describing aconcise introduction to fuzzy mathematical program-ming using simple examples and to showing the ad-vantages and disadvantages of the fuzzy mathematicalprogramming approach compared with the stochas-tic programming approach. Through this paper, thefuzzy mathematical programming approach is inves-tigated to reveal its properties from a practical pointof view.

2.2. Fuzzy mathematical programming approach

Before describing the simple examples, let us con-sider the general fuzzy mathematical programmingapproach.

Fuzzy programming approach is illustrated inFig. 1. As opposed to the conventional mathematicalprogramming approach, a real world problem is �rstmodeled using a fuzzy model (a mathematical pro-gramming model including fuzzy parameters). Thisfuzzy model represents an ill-posed problem, since itincludes uncertain parameters. In the �rst phase, thefuzzy model is transformed to a usual mathematicalmodel managing the uncertainties based on variousinterpretations of the problem. In the second phase,the transformed mathematical model (usual mathe-matical programming problem) is solved by an opti-mization technique. The obtained solution is optimalor e�cient to the transformed mathematical model,however, it is not always reasonable (optimal or e�-cient) to the original fuzzy model. Thus, in the thirdphase, the optimality or e�ciency of the solution canbe examined. If the solution is improper, the fuzzymodel is rebuilt to a mathematical model based onthe improved interpretation and the same procedureis iterated.

The di�erence between the fuzzy mathematical pro-gramming approach and conventional mathematicalprogramming approach is in the point where a fuzzymodel exists between a real world optimization prob-lem and usual mathematical model. The extra modelmakes Phase 3, i.e., the validity check from the fuzzymodel, possible.

Page 4: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

6 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 1. Fuzzy mathematical programming approach.

3. An example and conventional mathematicalprogramming approaches

3.1. The second example

Example 1 included ambiguous coe�cients andvague aspirations. In this section, we consider a sim-pler problem than Example 1, which includes onlyambiguous coe�cients.

Example 2. In a factory, the factory manager intendsto manufacture new products A and B. The total man-ufacturing process is composed of three processes,Processes 1, 2 and 3. The estimated processing timesfor manufacturing a batch of Product A at each pro-cess are the following: about 2 time units at Process 1,about 4 time units at Process 2 and about 1 time unitat Process 3. On the other hand, the processing timesfor manufacturing a batch of Product B at each processare as follows: about 3 time units at Process 1, about2 time units at Process 2 and about 3 time units atProcess 3. The working time at Process 1 is restrictedby 240 time units, that at Process 2 is restricted by400 time units and that at Process 3 is restricted by210 time units. The pro�t rates (100$/batch) of Prod-

ucts A and B are about 5 and about 7, respectively.How many Products A and B should be manufacturedin order to maximize the total pro�t?

This kind of description of the problem correspondsto ‘the real world programming problem’ in the fuzzymathematical programming approach in Fig. 1.

3.2. Conventional mathematical programmingapproaches

Let us see what solution we get by the conventionalcrisp linear programming approach to Example 2.

Neglecting the ambiguity of the processing timesand the pro�t rates, the problem of Example 2 can beformulated as

maximize 5x1 + 7x2;

subject to 2x1 + 3x26240;

4x1 + 2x26400;

x1 + 3x26210;

x1¿0; x2¿0;

(1)

where x1 and x2 corresponds to the amount of pro-duction of Products A and B, respectively. Solving

Page 5: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 7

this problem, we obtain (x1; x2) = (90; 20). This so-lution reaches the upper limits of the �rst two con-straints without violating them. However, if the truecoe�cients of the �rst two constraints take more thanthe estimated values, i.e., (2; 3) and (4; 2), this solu-tion would violate those constraints. Thus, the solution(x1; x2) = (90; 20) is risky in the sense of infeasibility.

Considering the ambiguity of estimated values, onemay make the right-hand values more restrictive. Re-ducing the right-hand values to 83% of those, the prob-lem can be formulated as

maximize 5x1 + 7x2;

subject to 2x1 + 3x26199:2;

4x1 + 2x26332;

x1 + 3x26174:3;

x1¿0; x2¿0;

(2)

where we adopt a 17% reduction because the feasibleregion covers almost the same size of area as thatof the reduced problem obtained by the possibilisticprogramming approach described in the next sectioncovers. Solving this linear programming problem, weobtain (x1; x2) = (74:7; 16:6). Taking a ratio of x1 to x2

in this solution, we have x1=x2 = 9=2. This ratio is thesame as that in the optimal solution to Problem (1).Generally speaking, even if we reduce the right-handvalues uniformly, the ratio of x1 to x2 in the optimalsolution does not change. It is always x1=x2 = 9=2, thusthe factory manufactures Product A 4.5 times as muchas Product B.

4. A possibilistic programming formulation andpreliminaries

4.1. A possibilistic programming formulation

To re ect the ambiguity of estimated values inExample 2, let us express them in terms of fuzzynumbers. Interviewing the person in charge of processcontrol, the ambiguous processing time is expressedas a fuzzy number. For example, the processing timeof Product A at Process 1 described with linguistic ex-pression ‘about 2 time units’, say a1, can be restricted

Fig. 2. A symmetric triangular fuzzy number 〈2; 0:7〉:

by a fuzzy number A1 with the membership function,

�A1 (r) = max(

0; 1 − |r − 2|0:7

): (3)

The fuzzy number A1 is depicted in Fig. 2. As shownin Fig. 2, ‘2’ is the most plausible value for a1 as ittakes the highest membership value. Fig. 2 also showsthat a1 is in the range (1:3; 2:7) as any membershipvalue outside this interval is zero. Moreover, the pos-sibility of the event that a1 is more than ‘2’ and that ofthe event that a1 is less than ‘2’ are the same and themembership value (possibility degree) linearly de-creases as the processing time departs from ‘2’. Thus,the fuzzy number A1 is a symmetric triangular fuzzynumber. If the person in charge of the process controlsection evaluates the processing time as the possibilityof the event that a1 is less than ‘2’ is higher than thepossibility of the event that a1 is more than ‘2’, thefuzzy numberA1 may be represented by an asymmetricfuzzy number as depicted by the broken line in Fig. 2.In this paper, for the sake of simplicity, we deal withsymmetric triangular fuzzy numbers only. However,the techniques described in what follows are the sameas those used in the case of asymmetric fuzzy numbers(see, for example, [94,60,33,31,89,92]. A membershipfunction elicitation method is proposed in [45].

The symmetric triangular fuzzy number Ai inFig. 2 can be determined by a center ac

i and a spreadwai , it is represented as Ai = 〈ac

i ; wai〉. For example,the symmetric triangular fuzzy number A1 in Fig. 2 isrepresented as A1 = 〈2; 0:7〉. The membership valueof the fuzzy number A1, �A1 (r); shows the possibilitydegree of the event that the processing time of Prod-uct A at Process 1, a1 is r, i.e., a1 = r. In this sense,�A1 can be considered as a possibility distribution of

Page 6: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

8 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Table 1Symmetric triangular fuzzy numbers

Product A B

Process 1 A1 = 〈2; 0:7〉 B1 = 〈3; 0:5〉Process 2 A2 = 〈4; 1:5〉 B2 = 〈2; 0:3〉Process 3 A3 = 〈1; 0:5〉 B3 = 〈3; 0:3〉Pro�t rate C1 = 〈5; 1〉 C2 = 〈7; 0:7〉

the processing time of Product A at Process 1 and a1

can be regarded as a possibilistic variable restrictedby the possibility distribution �A1 .

The processing time of Product A at each of theother processes, ai, and that of Product B at eachprocess, bi, are also assumed to be symmetric trian-gular fuzzy numbers Ai = 〈ac

i ; wai〉 and Bi = 〈bci ; wbi〉,

respectively. Similarly, interviewing the person incharge of the accountants’ section, the pro�t rate(100$/batch) of each product, cj is estimated as asymmetric triangular fuzzy number Cj = 〈cc

j ; wcj〉. Asa result, we obtain the symmetric triangular fuzzynumbers in Table 1. From Table 1, we can see that thespreads of the symmetric triangular fuzzy numbers ofthe new product A are larger than those of Product B.

The problem of Example 2 can be formulated as thefollowing possibilistic linear programming problem;

maximize c1x1 + c2x2;

subject to a1x1 + b1x26240;

a2x1 + b2x26400;

a3x1 + b3x26210;

x1¿0; x2¿0;

(4)

where ai, bi, i= 1; 2; 3 and cj, j= 1; 2, are possibilisticvariables restricted by fuzzy numbers Ai, Bi, i= 1; 2; 3and Cj, j= 1; 2, respectively.

4.2. Possibility distribution on a possibilistic linearfunction value

Problem (4) includes linear functions of x1 and x2

whose coe�cients are possibilistic variables. Sucha function is called ‘a possibilistic linear function’.Since the possibilistic variable coe�cients are am-biguous parameters, the possibilistic linear functionvalue is also ambiguous. The range of the possi-bilistic linear function value is restricted by a fuzzy

number since the possibilistic variable coe�cientsare restricted by fuzzy numbers. The fuzzy numberwhich restricts the possibilistic linear function valueis de�ned by the extension principle (see, for ex-ample, [12]). Applying the extension principle, forexample, to the objective function of Problem (4),f0(x1; x2) = c1x1 + c2x2, the fuzzy number F0(x1; x2)which restricts f0(x1; x2) is de�ned by the followingmembership function:

�F0(x1 ; x2)(r) = supp; q

r=px1+qx2

min(�C1 (p); �C2 (q)): (5)

Taking into consideration the fact that C1 and C2

are symmetric triangular fuzzy numbers 〈5; 1〉 and〈7; 0:7〉, respectively, the fuzzy number F0(x1; x2) alsobecomes a symmetric triangular fuzzy number, i.e.,

F0(x1; x2) = 〈5x1 + 7x2; |x1| + 0:7|x2|〉

= 〈5x1 + 7x2; x1 + 0:7x2〉; (6)

where the second equality is from the non-negativityof xi’s of Problem (4). Generally, as is known in theliterature (see, for example, [12]), if possibilistic vari-ables yj, j= 1; 2; : : : ; n; are all restricted by symmetrictriangular fuzzy numbers Yj = 〈yc

j ; wj〉, j= 1; 2; : : : ; n,then the fuzzy number Z which restricts z=

∑nj=1 kjyj

is also a symmetric triangular fuzzy number,

Z =

⟨n∑j=1

kjycj ;

n∑j=1

|kj|wj⟩; (7)

where kj, j= 1; 2; : : : ; n; are real numbers.Let Fi(x1; x2) be a fuzzy number which restricts

the left-hand side value of the ith constraint of (4),fi(x1; x2) = aix1 + bix2. Since the fuzzy numbers Aiand Bi which restrict ai and bi are symmetric fuzzynumbers as shown in Table 1, Fi(x1; x2) is also asymmetric triangular fuzzy number. Taking the non-negativity of xi’s into account, we have

F1(x1; x2) = 〈2x1 + 3x2; 0:7x1 + 0:5x2〉; (8)

F2(x1; x2) = 〈4x1 + 2x2; 1:5x1 + 0:3x2〉; (9)

F3(x1; x2) = 〈x1 + 3x2; 0:5x1 + 0:3x2〉: (10)

Page 7: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 9

4.3. Indices de�ned by possibility and necessitymeasures

A possibilistic linear function value cannot be deter-mined uniquely since its coe�cients are ambiguous,i.e., non-deterministic. Thus, the objective, maximiz-ing a possibilistic function and the constraint that apossibilistic linear function value is not greater than acertain value do not speci�cally make sense. To makethem clear, we must introduce a speci�c interpreta-tion, particularly, fuzzy inequality or ranking relations�(A; B)∈ [0; 1], A and B being fuzzy sets. This be-longs to Phase 1 of the fuzzy mathematical program-ming approach. Some well-known interpretations arereviewed and applied in the next section. In this sub-section, as a basis of Phase 1, we introduce particularrelations �(A; B) called indices de�ned by possibilityand necessity measures.

Under a possibility distribution �A of a possibilisticvariable �, possibility and necessity measures of theevent that � is in a fuzzy set B are de�ned as follows(see [108,14]):

�A(B) = supr

min(�A(r); �B(r)); (11)

NA(B) = infr

max(1 − �A(r); �B(r)); (12)

where �B is the membership function of the fuzzy setB. �A(B) evaluates to what extent it is possible thatthe possibilistic variable � restricted by the possibilitydistribution �A is in the fuzzy set B. On the otherhand, NA(B) evaluates to what extent it is certain thatthe possibilistic variable � restricted by the possibilitydistribution �A is in the fuzzy set B.

Let � be a possibilistic variable. In context to theabove example, let B= (−∞; g], i.e., B be a crisp(nonfuzzy) set of real numbers which is not greaterthan g. Then we obtain the following indices by pos-sibility and necessity measures de�ned by (11) and(12):

Pos(�6g) =�A((−∞; g])

= sup{�A(r) | r6g}; (13)

Nes(�6g) =NA((−∞; g])

= 1 − sup{�A(r) | r¿g}: (14)

Fig. 3. Possibility and necessity degrees of �6g.

Pos(�6g) and Nes(�6g) show the possibility andcertainty degrees to what extent � is not greater thang. Those indices are depicted in Fig. 3.

Similarly, letting B= [g;+∞), we obtain the fol-lowing two indices;

Pos(�¿g) = �A([g;+∞))

= sup{�A(r) | r¿g}; (15)

Nes(�¿g) = NA([g;+∞))

= 1 − sup{�A(r) | r¡g}: (16)

Pos(�¿g) and Nes(�¿g) show the possibility andcertainty degrees to what extent � is not smaller thang. Those indices are depicted in Fig. 4.

Since a possibilistic linear function value fi(x1; x2)is a possibilistic variable restricted by Fi(x1; x2), wecan substitute fi(x1; x2) for � and Fi(x1; x2) for A in(13)–(16). Thus, we can get the possibility and cer-tainty degrees to what extent a possibilistic linear func-tion value is not greater (smaller) than a given realnumber.

5. Some formulations and the solutions

As described before, the meaning of maximizinga possibilistic linear function value and the condition

Page 8: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

10 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 4. Possibility and necessity degrees of �¿g.

that a possibilistic linear function value is not greaterthan a given fuzzy number are unclear in the traditionalmathematical sense. Thus, Problem (4) is an ill-posedproblem. In this section, we give speci�c meanings ofmaximizing a possibilistic linear function value andthe condition that a possibilistic linear function valueis not greater than a given fuzzy number, or, particu-larly, a crisp number, so that the ill-posed problem canbe transformed to a traditional mathematical program-ming problem. This process is Phase 1 of the fuzzymathematical programming approach.

Generally speaking, various interpretations are con-ceivable for a given fuzzy mathematical programmingproblem, see also e.g. [75,77–79,85,86]. Here, twowell-known models are introduced. How the modelcan re ect the decision maker’s intention is describedin what follows. Before introducing the models, thetreatment of the constraints, which is common to bothmodels is described.

5.1. Treatment of the constraints

Assume that each working time cannot be extendedfor some reasons, e.g. for the limited workshop spacepart-time workers cannot be employed. In such a case,the constraints of Problem (4) should be satis�ed withhigh certainty. If the decision maker feels that a cer-tainty degree not less than 0.8 is high enough, the con-

Fig. 5. F1(x1; x2) and Nes(a1x1 + b1x26240).

straints of Problem (4) can be treated as follows:

Nes(a1x1 + b1x26240)¿0:8;

Nes(a2x1 + b2x26400)¿0:8;

Nes(a3x1 + b3x26210)¿0:8;

x1¿0; x2¿0:

(17)

Let us consider the equivalent conditions to(17). To this end, we analyze the �rst constraint,Nes(a1x1 + b1x26240)¿0:8. From (8), the fuzzynumber F1(x1; x2) restricting f1(x1; x2) = a1x1 +b1x2 is a symmetric triangular fuzzy number〈2x1 + 3x2; 0:7x1 + 0:5x2〉. This fuzzy numberand the index Nes(a1x1 + b1x26240) are depictedin Fig. 5. As shown in Fig. 5, in order to satisfyNes(a1x1 + b1x26240)¿0:8, Point P should be un-der Line l. This is equivalent to the fact that t is notgreater than 240. Since the isosceles triangles 4DEFand 4DGH are similar, we obtain

t = (2x1 + 3x2) + 0:8(0:7x1 + 0:5x2)

= 2:56x1 + 3:4x2: (18)

Analyzing the equivalent conditions of the otherconstraints of (17), we obtain the following constraintsto (17):

2:56x1 + 3:4x26240;

5:2x1 + 2:24x26400;

1:4x1 + 3:24x26210;

x1¿0; x2¿0:

(19)

For the purpose of comparison, the feasible region of(19) and those of Problems (1) and (2) are depictedin Fig. 6. As shown in Fig. 6, the size of feasible re-gion of Problem (2) is almost equal to that of the con-

Page 9: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 11

Fig. 6. Feasible regions of (1), (2) and (19).

straints (19). The constraints (19) restricts x1 stronger,x2 is, however, restricted weaker than the constraintsof Problem (2). Particularly, to ensure feasibility, (19)more restricts the production amount of Product Awhich includes more ambiguous factors.

5.2. Treatment of the objectives – fractile approach

A fractile approach corresponds to the Kataoka’smodel [51,64] of a stochastic programming problem.Geo�rion [16] calls the Kataoka’s model the fractilecriterion approach. The fractile is de�ned in statistics(see, for example, [21]). By de�nition, p-fractile isthe value u which satis�es

Prob(X6u) =p; (20)

where X is a random variable. In this de�nition,p-fractile does not generally exist for all p∈ (0; 1).That is why we de�ne p-fractile as the smallest valueup of u which satis�es

Prob(X6u)¿p: (21)

From the viewpoint of Dempster–Shafer theoryof evidence [4], it is known that Pos(X6u) andNes(X6u) can be regarded as the upper and lowerbounds of Prob(X6u) (see [13]). In this sense, wede�ne p-possibility fractile as the smallest value ofu which satis�es

Pos(X6u)¿p; (22)

and p-necessity fractile as the smallest value of uwhich satis�es

Nes(X6u)¿p: (23)

Fig. 7. The fractile optimization model.

Let us consider Example 2 again. Assume that thedecision maker has a great interest in the expectedpro�t with high certainty. Of course, the larger theexpected pro�t is, the more preferable is the solution.If the decision maker feels the 0.8 certainty is highenough, then maximization of the objective functionin Example 2 can be treated as

maximize u

subject to Nes(c1x1 + c2x2¿u)¿0:8;(24)

which is equivalent to

minimize v

subject to Nes(−c1x1 − c2x26v)¿0:8:(25)

Problem (25) is nothing but minimizing the 0.8-necessity fractile of a possibilistic variable (−c1x1 −c2x2). This kind of treatment is called the fractileapproach.

Problem (24) is illustrated in Fig. 7. As shownin Fig. 7, u is maximized under the condition thatpoint P is under line l. By the same discussion as inSection 5.1, Problem (24) is equivalent to

maximize u

subject to 4:2x1 + 6:44x2¿u:(26)

Moreover, (26) is equivalent to

maximize 4:2x1 + 6:44x2: (27)

Finally, adding the constraints (19), Problem (4)is formulated as the following linear programming

Page 10: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

12 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

problem:

maximize 4:2x1 + 6:44x2

subject to 2:56x1 + 3:4x26240;

5:2x1 + 2:24x26400;

1:4x1 + 3:24x26210;

x1¿0; x2¿0:

(28)

This problem can be solved by the simplex method.The solution is obtained as (x1; x2) ≈ (18; 57).

5.3. Treatment of the objectives – modalityapproach

A modality optimization model corresponds tothe minimum-risk approach [64] to a stochastic pro-gramming problem. The minimum-risk approach isalso called the maximum probability approach, see[52] or, the aspiration criterion approach by Geof-frion [16]. A modality optimization approach is adual approach to the fractile optimization one. Here,we assume that the decision maker puts more impor-tance on the certainty degree comparing to the fractileapproach.

For Problem (4), let us assume that the decisionmaker wants to maximize the certainty degree of theevent that the pro�t is not smaller than $45 000. Thisintention of the decision maker can be modeled by

maximize Nes(c1x1 + c2x2¿450): (29)

This model can be rewritten as follows with an addi-tional variable h;

maximize h

subject to Nes(c1x1 + c2x2¿450)¿h:(30)

Problem (30) is illustrated in Fig. 8. As shown inFig. 8, h is maximized under the condition that pointP is under line l. By the same discussion as in Sec-tion 5.1, Problem (30) is equivalent to

maximize h

subject to5x1 + 7x2 − 450x1 + 0:7x2

¿h:(31)

Fig. 8. The modality optimization model.

Adding the constraints (19), Problem (4) is formulatedas

maximize5x1 + 7x2 − 450x1 + 0:7x2

subject to 2:56x1 + 3:4x26240;

5:2x1 + 2:24x26400;

1:4x1 + 3:24x26210;

x1¿0; x2¿0:

(32)

This is a linear fractional programming problem whichcan be transformed to a linear programming problemby the substitution

t=1

x1 + 0:7x2;

zi = xit; i= 1; 2;

as shown by Charnes and Cooper [3]. Solving thelinear programming problem,

maximize 5z1 + 7z2 − 450t

subject to 2:56z1 + 3:4z2 − 240t60;

5:2z1 + 2:24z2 − 400t60;

1:4z1 + 3:24z2 − 210t60;

z1 + 0:7z2 = 1;

z1¿0; z2¿0; t¿0;

(33)

we obtain e.g. by simplex method the optimal solu-tion (z1; z2; t) ≈ (0:311; 0:985; 0:017). By the reversesubstitution, the optimal solution of the fractional pro-gramming problem is (x1; x2) ≈ (18; 57) which hap-pens to be the same as that of the fractile optimizationmodel. However, the solutions of fractile and modalityoptimization problems need not be always the same.

Page 11: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 13

Fig. 9. Comparison between Problems (2) and (28) (or (32)).

5.4. Graphical representation of the solution andreformulation

At Phase 3 of the fuzzy mathematical programming,the obtained solution is checked whether the decisionmaker’s intention is well-matched by the solution. Inthis subsection, we check the solution by its graphi-cal representation. Moreover, reformulating Problem(4), we also describe how the fuzzy mathematical pro-gramming approach proceeds.

The possibility distributions corresponding to thesolutions to Problem (2) and to Problem (28) (or (32))are depicted in Fig. 9. From the possibility distribu-tions with respect to the solution to Problem (2), wecan observe that the certainty degree of the satisfac-tion of constraints on working time at Processes 1 and2 is not high enough. Thus, we may regard the solu-tion to Problem (2) as an ill-matched solution to thedecision maker’s intention.

Assume that the decision maker is not satis�ed withthe solution to Problem (28) (or (32)). If he=she re-quires that the possibility degree of the event that thepro�t is not smaller than $53 000 is as high as the ne-

cessity degree of the event that the pro�t is not smallerthan $45 000, we can reformulate the objective func-tion of Problem (4) as

maximize min( Nes(c1x1 + c2x2¿450);

Pos(c1x1 + c2x2¿530)): (34)

This problem can be reduced to the following problemof linear fractional programming and solved (applyingthe above substitution) by the simplex method:

maximize h

subject to 5z1 + 7z2 − 450t − h¿0;

6z1 + 7:7z2 − 530t − h¿0;

2:56z1 + 3:4z2 − 240t60;

5:2z1 + 2:24z2 − 400t60;

1:4z1 + 3:24z2 − 210t60;

z1 + 0:7z2 = 1;

z1¿0; z2¿0; t¿0; h¿0:

(35)

The optimal solution after the reverse substitutionis (x1; x2) ≈ (64:68; 21:89) with h= 0:33. This solu-tion is depicted in Fig. 10 together with the solutionto Problem (28) (or (32 )). As shown in Fig. 10, com-pared to the solution of Problem (28), the solutionof Problem (35) makes the possibility degree of theevent that the pro�t is not smaller than $ 53 000 a lit-tle bit higher but it makes the certainty degree of theevent that the pro�t is not smaller than $ 45 000 lower.The decision maker may know that he cannot o�er ahigher requirement than the solution to Problems (28)and (32).

Further, suppose that the decision maker wants tohave a higher possibility degree of the event that thepro�t is not smaller than $ 53 000 even the certaintydegree of the event that the pro�t is not smaller than$ 45 000 is smaller than that of the solution to Prob-lems (29) and (33). He/She can accept a certainty de-gree not less than 0.5. In such a case, we can refor-mulate the objective function of Problem (4) as

maximize Pos(c1x1 + c2x2¿530))

subject to Nes(c1x1 + c2x2¿450)¿0:5:(36)

By the same way, we obtain the optimal solution toProblem (36) with the constraints (19) as (x1; x2) ≈(38:28; 41:76). This optimal solution is “between” the

Page 12: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

14 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 10. Comparison between Problems (28) (or (32)) and (35).

solutions to Problems (28) (or (32)) and (35). Asdemonstrated above, various solutions can be obtaineddepending on the decision maker’s intention in thefuzzy mathematical programming approach. An inter-active system can be useful during the iteration pro-cess of Phases 1, 2 and 3. Through such a system, thedecision maker may understand how high requirementone can ask.

Part II: Application to Portfolio Selection

6. Stochastic programming versus fuzzymathematical programming

In the preceding sections of Part I, we have de-scribed the fuzzy mathematical programming ap-proach through a concrete example, emphasizingthat various solutions can be obtained re ecting thedecision maker’s intention.

Stochastic programming approaches are tradi-tionally famous for optimization techniques underuncertainty. Someone may question the di�erence be-

tween fuzzy mathematical programming and stochas-tic programming or which is better. In this part,we compare those approaches through a portfolioselection problem in which the di�erences are con-spicuous. Other comparison may be found e.g. in[106,95,96,91,28,38,79,86].

Generally speaking, we have the following two dif-ferences between stochastic and fuzzy mathematicalprogramming approaches (see [28]):1. When the random vector obeys a multivariate nor-

mal distribution, a stochastic programming prob-lem can be solved easily. For a general distribution,a stochastic programming problem cannot usuallybe solved easily. On the other hand, a fuzzy math-ematical programming problem can be solved eas-ily even when the possibilistic vector is restrictedby any unimodal distribution. In general, solving afuzzy mathematical programming problem can beeasier than a stochastic programming problem.

2. Suppose the uncertain variables are independent.Then only a small number of decision variablestakes non-zero values in the optimal solution of thefuzzy mathematical programming problem. On theother hand, a large number of decision variablestakes non-zero values in the optimal solution of thestochastic programming problem.Now, let us look at those di�erences in a portfolio

selection problem.

7. Portfolio selection – stochastic programmingapproach

7.1. Portfolio selection problem

Consider the decision problem of bond investmentrate when investing a certain capital in a market wheren bonds, say Sj’s, are dealt with. Let cj be the returnrate of the jth bond Sj. The problem can be formulatedto maximize the total return rate

∑nj=1 cjxj as follows:

maximizen∑j=1

cjxj

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n;

(37)

Page 13: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 15

where xj is the decision variable which shows the in-vestment rate to the jth bond Sj. In the real setting,one can seldom obtain the return rate without any un-certainty. Thus, the decision makers should make theirdecisions under uncertainty.

Such an uncertain parameter cj has been treatedas a random variable so far. Usually, ci correlatescj (i 6= j), but here we assume that ci is independentof cj (i 6= j) for any (i; j), i 6= j, in order to make thedi�erences between stochastic and fuzzy mathemati-cal programming approaches remarkable. Moreover,we assume that the return rate cj obeys a normal dis-tribution N(mj; �2

j ) with the mean mj and the variance�2j . Thus, the probability density function fcj (r) is de-

�ned by

fcj (r) =1√

2��jexp

(− (r − mj)2

2�2j

): (38)

7.2. E�ciency frontier

The usual decision maker will prefer the solutionwhich yields a large expected total return rate and asmall variance. The expected total return rate corre-sponds to the return, while the variance correspondsto the risk. From this point of view, the portfolio se-lection problem can be formulated as the followingbi-objective mathematical programming problem:

maximize E

n∑j=1

cjxj

=

n∑j=1

mjxj

minimize V

n∑j=1

cjxj

=

n∑j=1

�2j x

2j

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(39)

Usually, we cannot obtain a complete optimal solu-tion which optimizes both objective functions, i.e. theexpected total return rate and the variance, simulta-neously in Problem (39). Thus, a Pareto optimal so-lution, such that there is no feasible solution whichmakes both objective function values better at thesame time, is calculated. Generally there exist a lot ofPareto optimal solutions to Problem (39).

Fig. 11. Normal distributions.

Fig. 12. E�ciency frontier.

For example, the set of Pareto optimal solutionsare obtained as shown in Fig. 12 to Problem (39)with 5 bonds whose return rates obey normal dis-tributions indicated in Fig. 11. Strictly speaking, inFig. 12, the expected values and the standard devia-tions of Pareto optimal solutions are plotted, where astandard deviation is the square root of a variance.Such a curve is called an e�ciency frontier. A largeexpected value and a small standard deviation arepreferable. The left and upper region of the e�ciencyfrontier is the infeasible region. Thus, the e�ciencyfrontier is the border obtained by improving the ex-pected value and the standard deviation (variance) inthe feasible region.

7.3. Markowitz model

The original model of the portfolio selection prob-lem was proposed by Markowitz [62]. The model isthe so calledV-model [64] in stochastic programming.To obtain a Pareto optimal solution to Problem (39),

Page 14: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

16 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 13. Markowitz model.

he treated the problem so as to minimize the vari-ance keeping the expected value at a given constant�, i.e.,

minimize V

n∑j=1

cjxj

=

n∑j=1

�2j x

2j

subject to E

n∑j=1

cjxj

=

n∑j=1

mjxj = �

n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(40)

This problem is a quadratic programming problem.Thus it can be solved easily (see, for example, [15]).

This model can be explained by using Fig. 13.Namely, this model �nds the solution correspond-ing to point P which minimizes the standarddeviation along line l on which the expectedvalue is constantly �. Applying this model with�= 0:18 to the portfolio selection problem withnormal distributions depicted in Fig. 11, the op-timal solution is obtained as (x1; x2; x3; x4; x5) ≈(0:1767; 0:2325; 0:2109; 0:2350; 0:1449). A distribu-tive investment solution is obtained so as to avert therisk. The defect of this model is that a solution indi-cating an improperly large investment in an ine�cientbond with a small variance may be obtained on con-dition that we select too small �. This follows fromthe fact that a small variance does not imply a largeexpected value. Indeed, the obtained solution with

respect to �= 0:18 indicates a 14.49% investment inthe �fth bond which may be regarded as inferior.

7.4. Kataoka’s model

We may apply the Kataoka’s model to Problem (37)with random return rates. In this model, we maximizez such that the probability of the event that the totalreturn rate is not smaller than z is at least 1 − �, i.e.,

maximize z

subject to Prob

n∑j=1

cjxj¿z

¿1 − �;

n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(41)

Since we assume that each return rate obeys a normaldistribution, Problem (41) can be reduced to the fol-lowing mathematical programming problem (see, forexample, [64]):

maximizen∑j=1

mjxj + k�

√√√√ n∑j=1

�2j x

2j

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n;

(42)

where k� is the �-fractile of the standard normal dis-tribution N(0; 1), i.e., we have Pr(X6k�) = � (X ∼N(0; 1)). Compared to Problem (40), solving Problem(42) is much more di�cult. However, it is known thatProblem (42) can be solved by a repetitional use ofquadratic programming when �¡0:5 (see, for exam-ple, [64]).

Problem (42) can be explained by Fig. 14. Namely,the y-intercept z is maximized under the constraintthat the linear function �= −k��+z intersects the e�-ciency frontier. Thus, we obtain a solution correspond-ing to point Q. Applying this model with �= 0:05 tothe portfolio selection problem with normal distribu-tions depicted in Fig. 11, we have (x1; x2; x3; x4; x5) ≈(0:3103; 0:3429; 0:2613; 0:0855; 0). Even though weset �= 0:05, a small number, we obtaine x5 = 0. Fromthis, we can be convinced that the �fth bond is inferior.

Page 15: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 17

Fig. 14. Kataoka’s model.

7.5. Minimum-risk model

We apply the minimum-risk model to Problem (37)with random return rates. In contrast to Kataoka’smodel, we maximize the probability of the event thatthe total return rate is not smaller than a predeterminedvalue z0 in this model, i.e.,

maximize Prob

n∑

j=1

cjxj¿z0

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(43)

Since we assume that each return rate obeys a normaldistribution, Problem (43) can be reduced to the fol-lowing mathematical programming problem (see, forexample, [64]):

maximize

∑nj=1 mjxj − z0√∑n

j=1 �2j x

2j

;

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(44)

This problem can be solved by a repetitional use ofquadratic programming when there exists a feasiblesolution such that

∑nj=1mjxj¿z0 (see, for example,

[64]).Problem (44) can be explained by Fig. 15. Namely,

the slope −k� is maximized under the constraint thatthe linear function �= − k�� + z0 intersects the e�-

Fig. 15. Minimum-risk model.

ciency frontier. Thus, we obtain a solution correspond-ing to point R. Applying this model with z0 = 0:18 tothe portfolio selection problem with normal distribu-tions depicted in Fig. 11, we have (x1; x2; x3; x4; x5) ≈(0:4380; 0:3750; 0:1870; 0; 0).

8. Portfolio selection – possibilistic programmingapproach

8.1. Bi-objective programming problem

In the previous section, we assume that each returnrate cj is a random variable. In this section, we assumethat each return rate cj is a possibilistic variable. Cor-responding to the normal distributions in Fig. 11, wehave normal fuzzy numbers Cj with the membershipfunctions de�ned by

�Cj (r) = exp

(− (r − cc

j)2

w2j

); (45)

where ccj is a center value of the normal fuzzy number

Cj and takes the same values as the mean mj of thecorresponding normal distribution. On the other hand,wj is a spread of the normal fuzzy number and isequal to

√2�j; where �j is a standard deviation of the

corresponding normal distribution. The normal fuzzynumbers corresponding to the normal distributions inFig. 11 are depicted in Fig. 16.

From now on, we assume that cj’s in Problem(37) are mutually independent possibilistic vari-ables restricted by normal fuzzy numbers Cj’s.

Page 16: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

18 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 16. Normal fuzzy numbers.

Fig. 17. Pareto optimal face.

We apply a fuzzy mathematical programming ap-proach to the portfolio selection problem in whatfollows.

Since the center values and spreads correspondto the means and variances (standard deviations),respectively, the following bi-objective program-ming problem is conceivable in analogy to Problem(39):

maximizen∑j=1

ccj xj

minimizen∑j=1

wjxj

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(46)

Problem (46) preserves the linearity of the originalproblem (37) while Problem (39) does not preserveit, i.e., Problem (39) is quadratic.

Pareto optimal solutions to Problem (46) with thenormal fuzzy numbers of Fig. 16 are obtained asshown in Fig. 17. In Fig. 17, we can see that thePareto optimal solution set forms a polygonal line.The vertices V1; V2; V3 and V4 correspond to con-centrate investments in bonds S5; S4; S2 and S1,respectively.

8.2. Spread minimization model

In analogy to Problem (40), we may have

minimizen∑j=1

wjxj

subject ton∑j=1

ccj xj = �;

n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(47)

This problem is called the spread minimization model.Whereas Problem (40) is a quadratic programming

problem, Problem (47) is a linear programming one.Thus, Problem (47) can be solved easier than Prob-lem (40). Problem (47) has only two constraints otherthan non-negativity constraints on the decision vari-ables. From the fundamental theorems of linear pro-gramming (see, for example, [19]), usually only twodecision variables are positive at the optimal so-lution to Problem (47) even if n is large. Thismeans that Problem (47) suggests an invest-ment only in two bonds, i.e., a semi-concentratedinvestment.

For example, applying this model with �= 0:18to a portfolio selection with the normal fuzzy num-bers of Fig. 16, we obtain (x1; x2; x3; x4; x5) ≈(0; 0:4286; 0; 0:5714; 0). This solution shows an in-vestment in bonds S2 and S4. In another way, usingFig. 18, we can understand that the solution corre-sponding to Point P on the line segment from VertexV2 to Vertex V3 is optimal. Since Vertices V2 and V3

correspond to the bonds S4 and S2, the solution meansan investment in bonds S4 and S2. As demonstratedabove, the solution of this model does not suggest adistributive investment.

Page 17: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 19

Fig. 18. Spread minimization model.

8.3. Fractile approach

Applying the fractile approach to Problem (37) withnormal fuzzy number coe�cients, we have

maximize z

subject to Nes

n∑

j=1

cjxj¿z

¿h0;

n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n;

(48)

where h0 ∈ (0; 1] is a predetermined value. This prob-lem can be reduced to the following linear program-ming problem:

maximizen∑j=1

ccj xj −

√− ln(1 − h0)

n∑j=1

wjxj

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(49)

This linear programming problem corresponds tothe Kataoka’s model in stochastic programming ap-proach. Whereas the Kataoka’s model is reduced toa non-linear programming problem (42), the fractileoptimization model is reduced to a linear program-ming problem. Consequently, the fractile optimiza-tion model yields a simpler reduced problem than theKataoka’s model.

Problem (49) has only one constraint besides thenon-negativity constraints on the decision variables.

Fig. 19. Fractile optimization model.

From the fundamental theorem of linear programming,usually, only one decision variable takes a positivevalue at the optimal solution to Problem (49). Thus,the solution suggests an investment only in a bondSj which has the largest objective function coe�cient(ccj −

√− ln(1 − h0)wj). For example, applying thismodel with h0 = 0:9 to a portfolio selection problemwith the normal fuzzy numbers of Fig. 16, we obtain(x1; x2; x3; x4; x5) ≈ (0; 1; 0; 0; 0). Namely, the solutionsuggests an investment only in the bond S2. Fig. 19shows how the solution is obtained. At vertex V3, they-intercept z of a line y=

√− ln(1 − h0)w+z is max-imal. Vertex V3 corresponds to the bond S2.

Therefore, by the fractile approach of fuzzy mathe-matical programming, a risky concentrated investmentsolution is obtained.

8.4. Modality approach

Applying the Modality approach to Problem (37)with the normal fuzzy numbers, we have

maximize Nes

n∑

j=1

cjxj¿z0

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n;

(50)

where z0 ∈ (0; 1] is a predetermined value. This prob-lem can be reduced to the following linear fractional

Page 18: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

20 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

Fig. 20. Modality optimization model.

programming problem:

maximize

∑nj=1 c

cj xj − z0∑n

j=1 wjxj;

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(51)

Again, this linear fractional programming problemcan be transformed to a linear programming problemsince the denominator of the objective function ispositive for any feasible solution. Indeed, de�ningt= 1=

∑nj=1 wjxj and yj = txj as shown in Section 5.3,

we can reduce Problem (51) to the following linearprogramming problem:

maximizen∑j=1

ccjyj − z0t

subject ton∑j=1

wjyj = 1;

n∑j=1

yj = t;

t¿0; yj¿0; j= 1; 2; : : : ; n:

(52)

This model corresponds to the minimum-risk modelin stochastic programming. Whereas the minimum-risk model is solved by a repetitional use of quadraticprogramming, the modality optimization model issolved by linear programming.

Problem (51) also yields a concentrated investmentsolution. This can be explained in Fig. 20 by using an

example with normal fuzzy numbers of Fig. 16. Weassume z0 = 0:18. As shown in Fig. 20, Problem (51)is equivalent to the problem of maximizing h underthe condition that a line y=

√− ln(1 − h)w + z0 in-tersects the Pareto optimal face. Since maximizing his equivalent to maximizing the slope

√− ln(1 − h),the maximum is attained at a vertex. In the currentmodel, the maximum h is obtained at vertex V4 whichcorresponds to a concentrated investment in thebond S1.

Analogously to the fractile approach, by the modal-ity optimization model of fuzzy mathematical pro-gramming approach, a risky concentrated investmentsolution is obtained.

9. Possibilistic programming treats more uncertainparameters

Inuiguchi and Sakawa [38] showed that a possi-bilistic linear programming problem with a quadraticmembership function is equivalent to a stochastic pro-gramming problem with a multivariate normal distri-bution. In this section, we describe that a possibilisticlinear programming problem with independent possi-bilistic variables is equivalent to a stochastic linearprogramming problem with unknown correlation co-e�cients between normal random variables.

Let �ij be the correlation coe�cient between normalrandom variables ci and cj. The covariance matrix �can be represented by

�=

�21 �12�1�2 · · · �1n�1�n

�12�1�2 �22 · · · �2n�2�n

......

. . ....

�1n�1�n �2n�2�n · · · �2n

: (53)

∑nj=1 cjxj obeys a multivariate normal distribution

given by

N

n∑

j=1

mjxj; xt�x

; (54)

where x= (x1; x2; : : : ; xn)t is a column vector.In the current problem, we assume that �ij’s are

unknown elements from the interval [−1; 1] (see, forexample, [21]). In decision-making under uncertainty,taking care of the worst case, it is important to avert the

Page 19: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 21

risk. Re ecting this consideration, we may chose themost uncertain probability distribution of

∑nj=1 cjxj

among all possible probability distributions obtainedby changing every �ij in [−1; 1]. Because x is non-negative, the probability distribution with respect to�ij = 1; i¡j; is selected as the most uncertain one.Particularly, we have the following equality for any x:

max�ij∈[−1;1]; i¡j

xt�x=

n∑

j=1

�jxj

2

: (55)

Let us consider a portfolio selection problem withunknown correlation coe�cients between normal ran-dom return rates. Taking care of the worst case, wemay have the following problem corresponding toProblem (39):

maximize E

n∑

j=1

cjxj

=

n∑j=1

mjxj

minimize max�ij∈[−1;1]; i¡j

V

n∑

j=1

cjxj

=

n∑

j=1

�jxj

2

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(56)

Problem (56) is equivalent to

maximizen∑j=1

mjxj

minimizen∑j=1

√2�jxj

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(57)

From the correspondences between mj and ccj and that

between√

2�j and wj, Problem (57) is nothing butProblem (46).

In the same way, applying Markowitz model,Kataoka’s model and the minimum-risk model to theportfolio selection problem with unknown correlation

coe�cients between normal random return rates, weobtain the equivalent problems to Problems (47), (49)and (51) under the equation k� =

√−2 ln(1 − h).This is true even in a general linear programmingproblem under uncertainty. Therefore, we can re-gard a possibilistic linear programming problem withindependent possibilistic variables as a stochastic lin-ear programming problem with unknown correlationcoe�cients between normal random variables.

As shown above, when we treat a stochasticprogramming problem with unknown correlation co-e�cients, we cannot always obtain a distributiveinvestment solution. This means that a distributiveinvestment solution is not obtained from the deci-sion procedures of Markowitz, Kataoka’s and theminimum-risk problems, but from a property of theprobability measure (the de�nition of probabilisticindependence). In the next section, we introduce adecision procedure from which we can obtain a dis-tributive investment solution to a portfolio selectionproblem with normal fuzzy numbers (see [40]).

10. Minimax regret model

Now, we discuss why a distributive investment so-lution under independent return rate assumption is pre-ferred by a decision maker who has an uncertainty(risk) averse attitude. We can observe at least the fol-lowing two reasons:(a) Property of a measure. Assume that we have

two bonds and the return rate of each bond obeysthe same marginal distribution. Consider the eventthat the total return rate is not less than a certainvalue. When the measure of the event under a dis-tributive investment solution is greater than thatunder a concentrated investment solution, the dis-tributive investment solution should be preferable.

(b) The worst regret criterion. Suppose that the deci-sion maker has invested his money in a bond ac-cording to a concentrated investment solution. Ifthe return rate of another bond becomes better thanthat of the invested bond, as a result, the decisionmaker may feel a regret. At the decision makingstage, we cannot know the return rate determinedin the future. Thus, any concentrated investmentsolution may bring a regret to the decision maker.In this sense, if the decision maker is interested in

Page 20: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

22 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

minimizing the worst regret which may be under-taken, a distributive investment solution must bepreferable.

As described in the preceding section, in stochas-tic programming approaches, a distributive investmentsolution is obtained. This is because of (a), i.e., theProperty of a measure. Indeed, we have

Prob(�X1 + (1 − �)X2¿k)¿Prob(Xi¿k);

∀�∈ (0; 1); i= 1; 2; (58)

when random variables X1 and X2 obey the samemarginal normal (probability) distribution, the corre-lation coe�cient �12 is less than 1 and k is a constantlarger than the expected value. In fuzzy programmingapproaches, we could not obtain a distributive invest-ment solution since possibility and necessity measuresdo not have the property mentioned in (a). For possi-bility and necessity measures, we have

Pos(�X1 + (1 − �)X2¿k)

= Pos(Xi¿k); ∀�∈ [0; 1]; i= 1; 2;

Nes(�X1 + (1 − �)X2¿k)

= Nes(Xi¿k); ∀�∈ [0; 1]; i= 1; 2;

(59)

where X1 and X2 are mutually independent possibilis-tic variables restricted by the same marginal possibil-ity distribution.

Now let us introduce the worst regret criterion intoa portfolio selection problem with normal fuzzy num-bers so that we can obtain a distributive investmentsolution.

Suppose that a decision maker is informed aboutthe determined return rates c after he has invested hismoney in bonds according to a feasible solution x toProblem (37), he will have a regret r(x; c) which canbe quanti�ed as

r(x; c) = max{cty− ctx | ety= 1; y¿0}: (60)

Regret r(x; c) is the di�erence between the optimaltotal return rate with respect to c and the obtained totalreturn rate ctx.

At the decision-making stage, the decision makercannot know the return rate c determined in the futurebut a possibility distribution �C(c) is supposed to beknown. By the extension principle [12], a possibility

distribution �R(x) on regrets can be de�ned as

�R(x)(r) = sup {�C(c) | r= r(x; c);

c= (c1; c2; : : : ; cn)t}: (61)

We regard the portfolio selection problem withfuzzy numbers as a problem of minimizing a regretR(x) with a possibility distribution �R(x), i.e.,

minimize R(x)

subject ton∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:(62)

Since R(x) is a possibilistic variable restricted by apossibility distribution �R(x), (62) is also a possibilisticprogramming problem. We apply the fractile modelto Problem (62) so that, given h0, Problem (62) isformulated as

minimize z

subject to NR(x)({r | r6z})¿h0;n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(63)

Inuiguchi and Sakawa [40] showed that Problem (63)is reduced to a linear programming problem. In thecase of normal fuzzy numbers, we have

minimize q

subject to

√− ln(1 − h0)

wixi −

n∑j=1i 6=j

wjxj

+

n∑j=1

ccj xj + q

¿cci +

√− ln(1 − h0)wi; i= 1; 2; : : : ; n;

n∑j=1

xj = 1; xj¿0; j= 1; 2; : : : ; n:

(64)

Applying this model with h0 = 0:8 to the port-folio selection problem with the normal fuzzy num-bers of Fig. 16, we obtain (x1; x2; x3; x4; x5)≈ (0:4080;0:3067; 0:2528; 0:0325; 0). Although the solution doesnot suggest an investment in the bond S5, it is adistributive investment solution on the bonds S1 to S4.

Page 21: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 23

Fig. 21. A band graph of the solutions.

The worst regret criterion can be introduced into astochastic programming problem, however, it is di�-cult to solve the reduced problem. On the other hand,in a fuzzy mathematical programming approach, in-troduction of a new criterion is usually easier.

The solutions are compared by a band graph inFig. 21. The length of a rectangle with a variablename, xj, shows the portion that the solution suggeststo invest in the corresponding bond Sj. As shown inFig. 21, the minimax regret solution takes a middleposition between Kataoka’s and minimum-risk mod-els. Considering the e�ort to calculate the solution aswell as the convincibility of the solution, the mini-max regret model would be the best among the sevenmodels.

11. New trends in fuzzy mathematical programming

As described in the previous sections, the fuzzymathematical programming approaches have some ad-vantages in the tractability of the reduced problemover the stochastic programming approaches. The ba-sic developments of fuzzy mathematical programmingis almost done but there is still many topics to be inves-tigated. Some of the new trends in fuzzy mathematicalprogramming are brie y reviewed in what follows. Ascan be seen from the literature, the fuzzy mathemati-cal programming is still being developed widely anddeeply.

11.1. Optimality and e�ciency

An objective function with fuzzy coe�cients hasbeen treated based on a goal attainment criterion or

a ranking criterion between fuzzy numbers in manypapers, so far. There were not so many proposals totreat the fuzzy objective function based on the opti-mality concept. Luhandjula [59] �rst treated a fuzzyvector objective function based on the optimality(more exactly, e�ciency) concept. He proved severaltheorems. [37,42] extended the optimality for a singleobjective function and the e�ciency for multipleobjective functions based on the possibility theory.They also presented optimality and e�ciency testsfor a given feasible solution.

Following Inuiguchi and Sakawa [37,42], two kindsof optimality can be de�ned based on the possibil-ity theory: the possibly and necessarily optimal solu-tions. Brie y speaking, the possibly optimal solutionis a solution which is optimal for at least one pos-sible objective coe�cient vector. On the other hand,the necessarily optimal solution is a solution which isoptimal for all possible objective coe�cient vectors.A necessarily optimal solution does not always existbut it seems to be the most reasonable solution. Whenno necessarily optimal solution exists, there exist a lotof possibly optimal solutions. In this case, we shouldprovide a selection method to chose from the possiblyoptimal solutions.

The possible and necessary optimality tests will beuseful at Phase 3 of the fuzzy mathematical program-ming approach. Some extension and other optimal ande�ciency concepts are also conceivable (see, for ex-ample, [35,34,27]).

11.2. Minimax regret model

In the preceding section, we described the minimaxregret model. This model has some interesting prop-erty, i.e. a minimax regret solution is possibly optimaland it is also necessarily optimal when a necessarilyoptimal solution exists. From this good property, aminimax regret criterion can be applied to linear pro-gramming problems with interval and fuzzy objectivecoe�cients and solution methods based on a relax-ation procedure have been proposed (see [39,41]).

Another model which has the same property, calledthe achievement rate approach, has also been devel-oped (see [43]). Moreover, this model can be usedfor fuzzy linear programming problems with recourse(see [49] for stochastic programming problems withrecourse).

Page 22: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

24 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

11.3. Interactions among possibilistic variables

So far, most of fuzzy mathematical programmingtechniques have been developed for non-interactive(independent) fuzzy numbers. Recently, the re-searchers have been trying to introduce the interactionbetween fuzzy numbers. Four possible avenues totreat the interaction were proposed.Quadratic membership function: Originally, this

expression of a multivariate possibility distributionwas proposed for fuzzy linear regression methods byCelmi �s [2], later on, it was developed by Tanaka andIshibuchi [101,102]. A quadratic membership functionis the one obtained by normalizing the mode of a mul-tivariate normal distribution. A quadratic membershipfunction �C(c) is de�ned by

�C(c) =L((c − d)tU−1(c − d)); (65)

where d = (d1; : : : ; dn)t is the most conceivable vec-tor for c, U is an n× n symmetrical positive-de�nitematrix representing the interactions among objec-tive coe�cients. U−1 is the inverse matrix of U ,L :R→ [0; 1] is a reference function which is a non-increasing function in the domain [0;+∞) such thatL(r) =L(−r) and L(0) = 1.

An introduction of the above approach to fuzzylinear programming problems was done by Inuiguchi[28] and Inuiguchi and Sakawa [38]. They showedthe equivalence between fuzzy linear programmingand stochastic linear programming with a multivari-ate normal distribution. Ida [27] has also investigatedpossible and necessary optimality tests for a fuzzylinear programming problem with quadratic member-ship functions. Tanaka and Guo [99] applied quadraticmembership functions to portfolio selection problems.

Since a quadratic membership function has similarproperties to a multivariate normal distribution, it canbe easily introduced to many kinds of problem. How-ever, it cannot express any interaction between possi-bilistic variables with high proximity.T-norm based extension: In the independent possi-

bilistic variables case, a joint (multivariate) possibilitydistribution can be obtained by taking the minimumamong the marginal possibility distributions. In thet-norm-based extension, we replace the minimum op-eration with a t-norm (see, for example, [10]). Thus, ajoint (multivariate) possibility distribution �C can beexpressed by

�C(c) =T (�C1 (c1); T (�C2 (c2); T (: : : ; �Cn(cn)) : : :);

(66)

where �Ci is a marginal possibility distribution of theith possibilistic variable.

The possibilistic variables restricted by the jointpossibility distribution are not totally (possibilistic)independent but, in certain sense, independent. Forexample, if the t-norm is a product, the possibilityvariables are quite similar to independent randomvariables. Moreover, a multivariate possibility dis-tribution cannot be always expressed by marginalpossibility distributions. From such a viewpoint, pos-sibilistic variables are said to be weakly independent(non-interactive) if the joint possibility distributionis decomposable to marginal possibility distributionsby a t-norm (see [10]). Rommelfanger et al. [90,88]proposed the use of Yager’s parameterized t-norm forsolving fuzzy linear programming problems. By usingof Yager’s parameterized t-norm, the decision makercan obtain a more exible instrument for expressinghis=her risk mentality.Canonical fuzzy number: A canonical fuzzy num-

ber is de�ned formally by Nakamura [65] and Ram��kand Nakamura [81,82]. A canonical fuzzy number Ccan be de�ned by the following membership function�C :

�C(c) = mini=1;2;:::; n

L

(∑nj=1dijcj − di0

�i

); (67)

where L is a reference function, dij is a real numberand �i is a positive real number.

When dii = 1, i= 1; 2; : : : ; n; and dij = 0, i 6= j,i= 1; 2; : : : ; n, j= 1; 2; : : : ; n, a membership functionof a canonical fuzzy number is reduced to a possibil-ity distribution of independent possibilistic variables.Thus, a membership function of a canonical fuzzynumber can be considered as an extension of a pos-sibility distribution of independent possibilistic vari-ables but it can treat interactions among possibilisticvariables. Since the linearity is not lost in a canonicalfuzzy number, it is useful for modeling fuzzy linearprogramming problems.Scenario decomposition: Scenario decomposition is

originally introduced in stochastic programming (see,for example, [49]). Ohta et al. [68] introduced this

Page 23: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 25

method into a fuzzy linear programming problem inorder to treat interactions among uncertain variables.

In this method, we �rst select a scenario variable,s; which in uences to some uncertain variables. Then,the possible realizations of the scenario variable s isdetermined. To each possible realization of s, we as-sign a possible range of each uncertain variable. Underthe realization of s, we assume that uncertain variablesare independent.

A multivariate distribution can be expressed by aninference model such as ‘if s is ∼ then the range ofuncertain variable is ∼’. For each value of s, we cantreat a fuzzy mathematical programming problem inthe traditional way. That is why this model is usefulto treat interactive possibilistic variables.

Ohta et al. [68] and Katagiri and Ishii [50] treated ascenario variable as a random variable. We can treatit as a possibilistic variable, too.

11.4. Fuzzy combinatorial programming

The treatments of fuzzy mathematical programmingproblems have been already well-developed. Suchdevelopments were done mostly in fuzzy linear pro-gramming problems. Thus, many researchers aretrying to extend the application area to fuzzy combi-natorial programming problems.

Nowadays, meta-heuristic methods, such as geneticalgorithms [63], simulated annealing [55], tabu search[17,18] and so on, are popular. Some researches areapplying meta-heuristic methods to fuzzy combinato-rial programming problems, such as fuzzy schedul-ing problems [46,47,104,23], fuzzy project selectionproblems [93,53] and so forth. Using a meta-heuristicmethod, one can obtain only approximate solutionseven to a complex problem.

On the other hand, other researchers are devel-oping a theoretical approach to fuzzy combinato-rial programming problems (see [48,22,24–26]).Dubois et al. [6] treated such a combinatorial problemin the framework of exible constraint satisfactionproblem [7].

11.5. Fuzzy solutions

A fuzzy mathematical programming problem in-cludes the ambiguity of coe�cients and=or the vague-ness of aspirations. In such an uncertain environment,

one may think how much we can make the uncertainsolution re ect the uncertainty of the problem setting.Such an uncertain solution is called the fuzzy solution.

Fuzzy solutions are initially investigated byVerdegay [105] and Tanaka and Asai [98]. Verdegaytreated a mathematical programming problem underfuzzy constraints. An element of the fuzzy solutionwith membership degree h is the solution which op-timizes the objective function under h-level set offuzzy constraints. On the other hand, Tanaka andAsai treated a system of inequalities with fuzzy co-e�cients. They calculated a fuzzy solution with thewidest spread such that the solution satisfy the systemof inequalities to a given degree.

Real world problems are not usually so easily for-mulated as mathematical models or fuzzy models.Sometimes qualitative constraints and=or objectivesare almost impossible to represent in mathematicalforms. In such a situation, a fuzzy solution satisfyingthe given mathematically represented requirements arevery useful in a sense of weak focus in the feasiblearea. The decision maker can select the �nal solutionfrom the fuzzy solution considering implicit and math-ematically weak requirements.

The possibility and necessarily optimal (or e�cient)solution sets can be considered as fuzzy solutions to afuzzy mathematical programming problem with fuzzycoe�cients.

The fuzzy solutions have not yet been investigatedconsiderably. Recently, some researchers [80,20]started to tackle the fuzzy solution problem. Severaladvanced methods may emerge in the near future.

References

[1] R.E. Bellman, L.A. Zadeh, Decision-making in a fuzzyenvironment, Management Sci. 17 (1970) B141–B164.

[2] A. Celmi�s, Least square model �tting to fuzzy vector data,Fuzzy Sets and Systems 22 (1987) 245–269.

[3] A. Charnes, W.W. Cooper, Programming with linearfractional criteria, Naval Res. Logist. Quart. 9 (1962)181–186.

[4] A.P. Dempster, Upper and lower probabilities induced by amultivalued mapping, Ann. Math. Stat. 38 (1967) 325–339.

[5] D. Dubois, Linear programming with fuzzy data, in:J.C. Bezdek (Ed.), Analysis of Fuzzy Information, vol.III: Applications in Engineering and Science, CRC Press,Boca Raton, FL, 1987, pp. 241–263.

Page 24: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

26 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

[6] D. Dubois, H. Fargier, H. Prade, Fuzzy constraints injob-shop scheduling, J. Intelligent Manufacturing 6 (1995)215–234.

[7] D. Dubois, H. Fargier, H. Prade, Possibility theory inconstraint satisfaction problems: Handling priority, preferenceand uncertainty, Appl. Intelligence 6 (1996) 287–309.

[8] D. Dubois, H. Prade, Systems of linear fuzzy constraints,Fuzzy Sets and Systems 3 (1980) 37–48.

[9] D. Dubois, H. Prade, Additions of interactive fuzzy numbers,IEEE Trans. Automat. Control AC-26(4) (1981) 926–936.

[10] D. Dubois, H. Prade, A class of fuzzy measures based ontriangular norms: a general framework for the combinationof uncertain information, Int. J. General Systems 8 (1982)43–61.

[11] D. Dubois, H. Prade, Ranking fuzzy numbers in the settingof possibility theory, Inform. Sci. 30 (1983) 183–224.

[12] D. Dubois, H. Prade, Fuzzy numbers: An overview, in:J.C. Bezdek (Ed.), Analysis of Fuzzy Information, vol. I:Mathematics and Logic, CRC Press, Boca Raton, FL, 1987,pp. 3–39.

[13] D. Dubois, H. Prade, The mean value of a fuzzy number,Fuzzy Sets and Systems 24 (1987) 279–300.

[14] D. Dubois, H. Prade, Possibility Theory: An Approachto Computerized Processing of Uncertainty, Plenum Press,New York, 1988.

[15] R. Fletcher, Practical Methods of Optimization, Wiley,New York, 1987.

[16] A.M. Geo�rion, Stochastic programming with aspiration orfractile criteria, Management Sci. 13(9) (1967) 672–679.

[17] F. Glover, Tabu search – Part I, ORSA J. Comput. 1(3)(1989) 190–206.

[18] F. Glover, Tabu search – Part II, ORSA J. Comput. 2(1)(1990) 4–32.

[19] D. Goldfarb, M.J. Todd, Linear Programming, in:G.L. Nemhauser et al. (Eds.), Handbooks in OperationsResearch and Management Science: vol. 1, Optimization,North-Holland, Amsterdam, 1989, pp. 73–170.

[20] P. Guo, H. Tanaka, Fuzzy decision in possibility programmingproblems, Proc. Asian Fuzzy System Symp., 1996,pp. 278–283.

[21] A. Hald, Statistical Theory with Engineering Applications,Wiley, New York, 1952.

[22] S. Han, H. Ishii, S. Fuji, One machine scheduling problemwith fuzzy duedates, European J. Oper. Res. 79 (1994) 1–12.

[23] M. Hapke, R. S lowinski, Fuzzy scheduling under resourceconstraints, Proc. European Workshop on Fuzzy DecisionAnalysis for Management, Planning and Optimization, 1996,pp. 121–126.

[24] F. Herrera, J.L. Verdegay, H.-J. Zimmermann, Booleanprogramming problems with fuzzy constraints, Fuzzy Setsand Systems 55 (1993) 285–293.

[25] F. Herrera, J.L. Verdegay, Three models of fuzzy integerlinear programming, European J. Oper. Res. 83 (1995)581–593.

[26] F. Herrera, J.L. Verdegay, Fuzzy boolean programmingproblems with fuzzy costs: A general case study, Fuzzy Setsand Systems 81 (1996) 57–76.

[27] M. Ida, Optimality on possibilistic linear programming withnormal possibility distribution coe�cient, J. Japan Soc. FuzzyTheory and Systems 7(3) (1990) 594–601 (in Japanese).

[28] M. Inuiguchi, Stochastic programming problems versus fuzzymathematical programming problems, Japanese J. FuzzyTheory Systems 4(1) (1992) 97–109. The original Japaneseversion is appeared in J. Japan Soc. Fuzzy Theory andSystems 4(1) (1992) 21–30.

[29] M. Inuiguchi, H. Ichihashi, Relative modalities and their usein possibilistic linear programming, Fuzzy Sets and Systems35 (1990) 303–323.

[30] M. Inuiguchi, H. Ichihashi, Y. Kume, Relationships betweenmodality constrained programming problems and variousfuzzy mathematical programming problems, Fuzzy Sets andSystems 49 (1992) 243–259.

[31] M. Inuiguchi, H. Ichihashi, Y. Kume, Modality constrainedprogramming problems: A uni�ed approach to fuzzymathematical programming problems in the setting ofpossibility theory, Inform. Sci. 67 (1993) 93–126.

[32] M. Inuiguchi, H. Ichihashi, H. Tanaka, Possibilistic linearprogramming with measurable multiattribute value functions,ORSA J. Comput. 1(3) (1989) 146–158.

[33] M. Inuiguchi, H. Ichihashi, H. Tanaka, Fuzzy programming:a survey of recent developments, in: R. S lowinski,J. Teghem (Eds.), Stochastic Versus Fuzzy Approachesto Multiobjective Programming under Uncertainty, KluwerAcademic Publishers, Dordrecht, 1990, pp. 45–68.

[34] M. Inuiguchi, Y. Kume, Extensions of fuzzy relationsconsidering interaction between possibility distributions andan application to fuzzy linear program, Trans. Inst. SystemsControl Inform. Eng. 3(4) (1990) 93–102 (in Japanese).

[35] M. Inuiguchi, Y. Kume, Solution concepts for fuzzy multipleobjective programming problems, Japanese J. Fuzzy TheorySystems 2(1) (1990) 1–22. The original Japanese version isappeared in J. Japan Soc. Fuzzy Theory and Systems 2(1)(1990) 65–78.

[36] M. Inuiguchi, Y. Kume, Modality constrained programmingproblems introduced G�odel implication and various fuzzymathematical programming problems, Trans. Inst. Systems,Control Inform. Eng. 4(9) (1991) 382–392 (in Japanese).

[37] M. Inuiguchi, M. Sakawa, Possible and necessary optimalitytests in possibilistic linear programming problems, Fuzzy Setsand Systems 67 (1994) 29–46.

[38] M. Inuiguchi, M. Sakawa, A possibilistic linear program isequivalent to a stochastic linear program in a special case,Fuzzy Sets and Systems 76 (1995) 309–318.

[39] M. Inuiguchi, M. Sakawa, Minimax regret solutions to linearprogramming problems with an interval objective function,European J. Oper. Res. 86 (1995) 526–536.

[40] M. Inuiguchi, M. Sakawa, Portfolio selection underindependent possibilistic information, Proc. 5th IEEE Internat.Conf. on Fuzzy Systems, 1996, pp. 187–193.

[41] M. Inuiguchi, M. Sakawa, Robust soft optimization in afuzzy linear programming problem, Proc. European Workshopon Fuzzy Decision Analysis for Management, Planning andOptimization, 1996, pp. 85–90.

[42] M. Inuiguchi, M. Sakawa, Possible and necessary e�ciency inpossibilistic multiobjective linear programming problems and

Page 25: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28 27

possible e�ciency test, Fuzzy Sets and Systems 78 (1996)231–241.

[43] M. Inuiguchi, M. Sakawa, An achievement rate approachto linear programming problems with an interval objectivefunction, J. Oper. Res. Soc. 48 (1997) 25–33.

[44] M. Inuiguchi, M. Sakawa, Y. Kume, The usefulness ofpossibilistic programming in production planning problems,Int. J. Prod. Economics 33 (1994) 45–52.

[45] M. Inuiguchi, T. Tanino, M. Sakawa, Membership functionelicitation in possibilistic programming problems, Fuzzy Setsand Systems, this special issue.

[46] H. Ishibuchi, N. Yamamoto, S. Misaki, H. Tanaka, Localsearch algorithms for ow shop scheduling with fuzzy due-dates, Int. J. Prod. Economics 33 (1994) 53–66.

[47] H. Ishibuchi, N. Yamamoto, T. Murata, H. Tanaka, Geneticalgorithms and neighborhood search algorithms for fuzzy owshop scheduling problems, Fuzzy Sets and Systems 67(1994) 81–100.

[48] H. Ishii, M. Tada, T. Masuda, Two scheduling problemswith fuzzy due-dates, Fuzzy Sets and Systems 46 (1992)339–347.

[49] P. Kall, S.W. Wallace, Stochastic Programming, Wiley,Chichester, 1994.

[50] H. Katagiri, H. Ishii, T. Itoh, Fuzzy random linearprogramming problem, Proc. 2nd European Workshop onFuzzy Decision Analysis for Management, Planning andOptimization, 1997, pp. 107–115.

[51] S. Kataoka, A stochastic programming model, Econometrica31(1–2) (1963) 181–196.

[52] S. Kataoka, Stochastic programming: Maximum probabilitymodel, Hitotsubashi J. Arts Sci. 8 (1967) 51–59.

[53] K. Kato, M. Sakawa, Genetic algorithms with decompositionprocedures for fuzzy multiobjective 0–1 programmingproblems with block angular structure, Proc. IEEE Internat.Conf. on Evolutionary Computation, 1996, pp. 706–709.

[54] G.J. Klir, Where do we stand on measures of uncertainty,ambiguity, fuzziness, and the like, Fuzzy Sets and Systems24 (1987) 141–160.

[55] P.J.M. van Laarhiven, E.H.L. Aarts, Simulated Annealing:Theory and Applications, Reidel, Dordrecht, 1987.

[56] Y.J. Lai, C.L. Hwang, Fuzzy Mathematical Programming:Theory and Applications, Lecture Notes in Economics andMathematical Systems, vol. 394, Springer, Berlin, 1992.

[57] Y.J. Lai, C.L. Hwang, Multi-Objective Fuzzy MathematicalProgramming: Theory and Applications, Lecture Notes inEconomics and Mathematical Systems, vol. 404, Springer,1993.

[58] M.K. Luhandjula, Satisfying solutions for a possibilistic linearprogram, Inform. Sci. 40 (1986) 247–265.

[59] M.K. Luhandlula, Multiple objective programming problemswith possibilistic coe�cients, Fuzzy Sets and Systems 21(1987) 135–145.

[60] M.K. Luhandjula, Fuzzy optimization: an appraisal, FuzzySets and Systems 30 (1989) 257–282.

[61] M.K. Luhandjula, H. Ichihashi, M. Inuiguchi, Fuzzy and semi-in�nite mathematical programming, Inform. Sci. 61 (1992)233–250.

[62] H. Markowitz, Portfolio Selection: E�cient Diversi�cationof Investments, Wiley, New York, 1959.

[63] Z. Michalewicz, Genetic Algorithms + Data Structure =Evolution Programs, 3rd, revised and extended ed., Springer,Berlin, 1996.

[64] I.M. Stancu-Minasian, Stochastic Programming with MultipleObjective Functions, Reidel, Dordrecht, 1984.

[65] K. Nakamura, Canonical fuzzy numbers of dimension twoand fuzzy utility di�erence for understanding preferentialjudgements, Inform. Sci. 50 (1990) 1–22.

[66] C.V. Negoita, The current interest in fuzzy optimization,Fuzzy Sets and Systems 6 (1981) 261–269.

[67] C.V. Negoita, S. Minoiu, E. Stan, On consideringimprecision in dynamic linear programming, EconomicComput. Economic Cybernet. Stud. Res. 3 (1976) 83–95.

[68] H. Ohta, T. Yamaguchi, Y. Kono, A method for fuzzymultiple objective linear programming problems withrelationship between coe�cients (in Japanese), J. Japan Soc.Fuzzy Theory Systems 6(1) (1990) 166–176.

[69] S.A. Orlovsky, Decision-making with a fuzzy preferencerelation, Fuzzy Sets and Systems 1 (1978) 155–167.

[70] S.A. Orlovsky, On formalization of a general fuzzymathematical programming problem, Fuzzy Sets and Systems3 (1980) 311–321.

[71] S.A. Orlovsky, Mathematical programming problems withfuzzy parameters, IIASA Working Paper WP-84-38, 1984.

[72] S.A. Orlovsky, Multiobjective programming problems withfuzzy parameters, Control Cybernet. 13 (1984) 175–183.

[73] J. Ramik, Extension principle in fuzzy optimization, FuzzySets and Systems 19 (1986) 29–35.

[74] J. Ramik, An application of fuzzy optimization to optimumallocation of production, Proc. Internat. Workshop on FuzzySet Applications, Academia-Verlag, IIASA, Laxenburg,Berlin, 1987.

[75] J. Ramik, Fuzzy preferences in linear programming,in: Interactive Fuzzy Optimization and MathematicalProgramming, Springer, Berlin, 1990.

[76] J. Ramik, Vaguely interrelated coe�cients in LP as bicriterialoptimization problem, Internat. Journal on General Systems20(1) (1991) 93–114.

[77] J. Ramik, Inequality relations between fuzzy data, in:H. Bandemer (Ed.), Modelling Uncertain Data, AkademieVerlag, Berlin, 1992, pp. 158–162.

[78] J. Ramik, Some problems of linear programming with fuzzycoe�cients, in: K.-W. Hansmann, A. Bachem, M. Jarke,A. Marusev (Eds.), Operation Research Proceedings: Papersof the 21st Annual Meeting of DGOR 1992, Springer,Heidelberg, 1993, pp. 296–305.

[79] J. Ramik, New Interpretation of the Inequality RelationsIn Fuzzy Goal Programming Problems, Central EuropeanJ. Oper. Res. Economics 4 (1996) 112–125.

[80] J. Ramik, Fuzzy goals and fuzzy alternatives in fuzzy goalprogramming problems, Fuzzy Sets and Systems, this specialissue.

[81] J. Ramik, K. Nakamura, Canonical fuzzy numbers ofdimension two, Fuzzy Sets and Systems 54 (1993) 167–180.

Page 26: Possibilisticlinearprogramming ...ming approaches are exempli ed in the setting of an optimal portfolio selection problem. Finally, some newly developed ideas and techniques in fuzzy

28 M. Inuiguchi, J. Ram��k / Fuzzy Sets and Systems 111 (2000) 3–28

[82] J. Ramik, K. Nakamura, I. Rozenberg, I. Miyakawa, Jointcanonical fuzzy numbers, Fuzzy Sets and Systems 53 (1993)29–47.

[83] J. Ramik, J. �R��m�anek, Inequality relation between fuzzynumbers and its use in fuzzy optimization, Fuzzy Sets andSystems 16 (1985) 123–138.

[84] J. Ramik, J. �R��m�anek, The linear programming problemwith vaguely formulated relations between the coe�cients,in: Interfaces Between Arti�cial Intelligence and OperationsResearch in Fuzzy Environment, Riedel, Dordrecht, 1989.

[85] J. Ramik, H. Rommelfanger, A single- and multi-valuedorder on fuzzy numbers and its use in linear programmingwith fuzzy coe�cients, Fuzzy Sets and Systems 57 (1993)203–208.

[86] J. Ramik, H. Rommelfanger, Fuzzy mathematicalprogramming based on some new inequality relations, FuzzySets and Systems 81 (1996) 77–88.

[87] J. Ramik, H. Rommelfanger, A new algorithm for solvingmulti-objective fuzzy linear programming problems, Found.Comput. Dec. Sci. 3 (1996) 145–157.

[88] H. Rommelfanger, Some problems of fuzzy optimizationwith t-norm based extended addition, in: M. Delgadoet al. (Eds.), Fuzzy Optimization: Recent Advances, Physica-Verlag, Heidelberg, 1994, pp. 158–168.

[89] H. Rommelfanger, Fuzzy linear programming andapplications, European J. Oper. Res. 92 (1996) 512–527.

[90] H. Rommelfanger, T. Kereszfalvi, Multicriteria fuzzyoptimization based on Yager’s parameterized t-norm, Found.Comput. Dec. Sci. 16 (1991) 99–110.

[91] M. Roubens, J. Teghem, Comparison of methodologies forfuzzy and stochastic multiobjective programming, Fuzzy Setsand Systems 42 (1991) 119–132.

[92] M. Sakawa, Fuzzy Sets and Interactive MultiobjectiveOptimization, Plenum Press, New York, 1993.

[93] M. Sakawa, K. Kato, H. Sunada, T. Shibano, Fuzzyprogramming for multiobjective 0-1 programming problemsthrough revised genetic algorithms, European J. Oper. Res.97 (1997) 149–158.

[94] R. S lowinski, A multicriteria fuzzy linear programmingmethod for water supply system development planning, FuzzySets and Systems 19 (1986) 217–237.

[95] R. S lowinski, J. Teghem, Fuzzy versus stochastic approachesto multicriteria linear programming under uncertainty, NavalRes. Logist. 35 (1988) 673–695.

[96] R. S lowinski, J. Teghem (Eds.), Stochastic versus FuzzyApproaches to Multiobjective Mathematical Programming

under Uncertainty, Kluwer Academic Publishers, Dordrecht,1990.

[97] H. Tanaka, K. Asai, Fuzzy linear programming problems withfuzzy numbers, Fuzzy Sets and Systems 13 (1984) 1–10.

[98] H. Tanaka, K. Asai, Fuzzy solution in fuzzy linearprogramming problems, IEEE Trans. Systems Man Cybernet.14 (1984) 325–328.

[99] H. Tanaka, P. Guo, Portfolio selection method based onpossibility distributions, Proc. 14th Internat. Conf. ProductionResearch, vol. 2, 1997, pp. 1538–1541.

[100] H. Tanaka, H. Ichihashi, K. Asai, A formulation of fuzzylinear programming problem based on comparison of fuzzynumbers, Control Cybernet. 13 (1984) 185–194.

[101] H. Tanaka, H. Ishibuchi, Identi�cation of possibilistic linearsystems by quadratic membership function, Fuzzy Sets andSystems 41 (1991) 145–160.

[102] H. Tanaka, H. Ishibuchi, Evidence theory of exponentialpossibility distribution, Int. J. Approx. Reasoning 8 (1993)123–140.

[103] H. Tanaka, T. Okuda, K. Asai, On fuzzy mathematicalprogramming, J. Cybernet. 3 (1974) 37–46.

[104] Y. Tsujimura, M. Gen, E. Kubota, Solving job-shopscheduling problem with fuzzy processing time using geneticalgorithm, J. Japan Soc. Fuzzy Theory Systems 7(5) (1995)1073–1083.

[105] J.L. Verdegay, Fuzzy mathematical programming, in:M.M. Gupta, E. Sanchez (Eds.), Fuzzy Information andDecision Processes, North-Holland, Amsterdam, 1982, pp.231–237.

[106] A.V. Yazenin, Fuzzy and stochastic programming, FuzzySets and Systems 22 (1987) 171–180.

[107] L.A. Zadeh, Fuzzy sets and systems, Presented at the Symp.on Systems Theory, Polytechnic Institute of Brooklyn, April20–22, 1965 (republished in: Int. J. General Systems 17(1990) 129–138).

[108] L.A. Zadeh, Fuzzy sets as a basis for a theory of possibility,Fuzzy Sets and Systems 1 (1978) 3–28.

[109] H.-J. Zimmermann, Description and optimization of fuzzysystems, Int. J. General Systems 2 (1976) 209–215.

[110] H.-J. Zimmermann, Fuzzy programming and linearprogramming with several objective functions, Fuzzy Setsand Systems 1 (1978) 45–55.

[111] H.-J. Zimmermann, Applications of fuzzy sets theory tomathematical programming, Inform. Sci. 36 (1985) 29–58.