Abstract
Abstract
In the present paper a fuzzy optimization problem with fuzzy variable and fuzzy constraints is under discussion. The purpose of the paper consists in finding a fuzzy optimal solution for this problem for the linear case. A sensible attempt to solve a fuzzy optimization problem through reformulation to a crisp optimization problem using level-cuts of the fuzzy polytope is considered.
Introduction
The mathematical area of optimization plays a very important role in our modern life. In our age of scarce natural resources such as oil and gas, it is particulary important not to waste. This requires an optimal use of these supplies. The same applies to other limited resources as well a time. This strive for optimal solutions is not limited to industrial applications but has long reached our daily life.
Our quest is complicated by the fact that we more often than not have to make decisions without being able to rely on precise information. We have to deal with amount of uncertainty every single day.
In crisp optimization problems it is assumed that the decision-maker has exact and full information on the data entering the problem. Even when this is the case, the decision-maker usually finds it more convenient to express his / her knowledge in linguistic terms, i.e. through conventional linguistic variables (see e.g. [27–29]), rather than by using high precision numerical data.
Moreover, our attitude to the linguistic variables often depends on e.g. mood or age. Let us consider the phrase “The shop is near the house”. In terms of fuzzy logic we understand word “near” differently. It strongly depends on the age of the decision making person (or decision-maker for short). Thus, the young decision-maker can say that the phrase is true, even if the distance from the house to the shop exceed 2 km. For the old person, the phrase holds true only if the distance is less than 800 m. Of course, in this example we have to define what words “young” and “old” mean. However, it becomes now clear that different persons define usual things different. Thus, it makes perfect sense to talk about fuzzy optimization problems from a vague predicate approach, as it is understood that this vagueness arises from the way we use to express the decision-makers’ knowledge and not from any random event. In short, it is supposed that the nature of the data defining the problem is fuzzy.
One commonly used approach to deal with these problems is to model them as fuzzy optimization problems, see e.g. [26]. This approach proved to be very useful in many applied sciences, such as engineering, economics, applied mathematics, physics, as well as in other disciplines: [4, 30].
The problems usually considered in optimization are mathematical models and, thus, idealizations of real world problems. Therefore, the classical “achieve the best value of the objective function” approach may be too restrictive. Often a set of alternative solutions is more valuable to the decision-maker.
Many authors (see e.g. [15, 23]) try to find a single best solution of the fuzzy optimization problem in the linear case. These approaches are based on the extension principle of Bellman and Zadeh [1]. We suggest to reflect the uncertainty in fuzzy optimization problems through the existence of a set of optimal solutions [11]. Under the assumption that this set consists of more than one element, the decision-maker can improve the choice relying on some criteria that are not a priory considered in the optimization problem.
Therefore, it is natural to consider the solution of a fuzzy optimization problem as fuzzy. Hence, a criterion for comparing the elements of the fuzzy set of optimal solutions (i.e. fuzzy solution) is required. As soon as this fuzzy set has membership function, the possible criteria for comparison the elements of the fuzzy solution can be the values of the membership function. For this it is necessary to compute the values of the membership function exactly. An approach to calculate such membership function values is suggested in [7–9] and further developed in [11] for fuzzy linear optimization problem with fuzzy objective and crisp constraints. The same idea we use in the present paper to find the membership function value of fuzzy linear optimization problem with both fuzzy objective and constraints.
With this innovative approach the decision-maker obtains a collection of some basic solutions, each accompanied by a measure of the extent to which it is the optimal solution of the initial fuzzy optimization problem. It is up to the decision-maker to make the final choice - the decision-maker can restrict himself / herself to the solutions which are equal to a degree greater than a fixed value, or the solutions which have membership function values greater than a fixed value, or equal to one, etc. In any case our fuzzy solution will constitute an important support and source of information for the decision-maker.
In the previous discussions we have considered optimization problems only with fuzzy objective functions [10, 22]. In many cases, however, the constraints can also be fuzzy. A fuzzy optimization problem with fuzzy constraints have been examined for the linear case e.g. in [6, 25] using the min-max approach and [3] using the possibilistic approach. The main target of this paper is to present a completely new idea of solution for fuzzy optimization problem with fuzzy objectives and fuzzy constraints in the linear case. A main difficulty in formulation of this problem consist in definition of a fuzzy polytope.
To make our discussions clear, it can be reasonable to outline it once more, that in early approaches it was sufficient to find a single solution with maximal membership function value. In our approach we are searching for the whole set of optimal solutions with its membership function. Thus, these approaches are poorly comparable. However, as a fuzzy optimization problem can be never solved directly, we propose in the present manuscript a proper reformulation of the problem saving the initial properties of fuzziness in the optimal set of optimal solutions. This approach is also used for solution linear fuzzy bilevel optimization problem with adopted k-th best algorithm [5].
As soon as we consider a fuzzy linear optimization problem, we suppose, that a solution can be found in one of the vertices of the fuzzy polytope. However, the membership function value of the polytope in a certain vertex can differ from the membership function value of the solution.
The above described ideas are presented as follows. To clarify a notion about a fuzzy polytope, significant definitions as respects to a fuzzy line and intersections of fuzzy lines are given in Section 2.
The solution method of the fuzzy optimization problem is based on taking level-cuts of the fuzzy polytope. Thus, for a fixed α-cut a pair of crisp polytopes is obtained and the fuzzy optimization problem can be splitted into two crisp optimization problems.
In previous discussions we have already derived that a solution of the problem, that has amount of uncertainty, cannot be exact [11]. Thus, a solution of the fuzzy optimization problem considered to be fuzzy. We take into account the inherently uncertain nature of the fuzzy optimization problem and consider all the solutions of the corresponding crisp problems simultaneously. Finally, we describe a fuzzy solution as a union of each crisp optimization problem for all level-cuts. Of course, a fuzzy solution has to be enriched with its membership function. Again, we are not interested in computation of the membership function itself, but only its values on some crucial points are a matter of interest. Taking into consideration fuzzy nature of the feasible set, they can easily be computed. When the membership function values of the elements of the set of fuzzy optimal solutions are known, it enables the decision-maker to make an educated choice. Our approach equips the decision-maker with a correlation among all significant solutions and quantitatively measure the advantage of his / her choice over other.
The formulation of the problem and the solution method are presented in Section 3.
In Section 4 an illustrative example is given.
Preliminaries
To identify points that belong to the same object (e.g. a fuzzy line), it is also necessary to define the concept of fuzzy connectedness.
This definition is also consistent with the concept of connectedness of two points within a crisp set whose membership values are all equal to 1.
Let us consider two fuzzy points and in with membership functions and , respectively.
A fuzzy line may be visualised as a centre line with a variable thickness (see Figs. 1 and 2). This thin area of space (or thin volume of space in (over )) bounds a family of crisp lines which are formed by pairs of endpoints belonging to the two fuzzy sets of endpoints.
A fuzzy plane, which is an extension of a fuzzy line, is a thin planar shell with variable thickness. This shell encloses a family of crisp planes which is an extension of the family of crisp lines representing the fuzzy line. These concepts of fuzzy lines and planes encapsulate exact lines and exact planes as special cases.
This Definition is illustrated on Fig. 3.
We can extend all aforesaid concepts to cover the intersection of a fuzzy line and a crisp plane, or of a fuzzy line and a fuzzy plane, or of two fuzzy planes, or of two fuzzy surfaces. Thus, the intersection of these geometry entities can be performed as two separate tasks: Compute the intersection of pairs of crisp geometry entities (which belongs to the two families of fuzzy entities) in the same way as in crisp geometry. Compute the membership value for each resulting entity.
A fuzzy traverse is composed of fuzzy vertices and fuzzy edges. Thus, it may be visualised as having edges of variable thickness, as described for fuzzy lines.
An illustration of the fuzzy traverse is presented on Fig. 4.
Obviously, the fuzzy traverse can be given by a finite number of linear equations.
This concept is readily extended to that of a fuzzy polytope. The difference between the fuzzy traverse and the fuzzy polytope is that the fuzzy polytope includes its interior.
The illustration is given on Fig. 5. The fuzzy polytope can be given by a finite number of linear inequalities.
Since the fuzzy traverse can be considered as a fuzzy set, we can take its level-cut P (α) for some fixed α ∈ [0, 1]. That means, that we take the same α-cut of all fuzzy vertices , namely, , …, .
Thus, we obtain two crisp traverses P L (α) and P R (α). The left-hand side traverse P L (α) is a closed figure, composed with the use of left-hand side bounds of all fuzzy vertices in the same order as fuzzy traverse :
Analogously, the right-hand side traverse is also a closed figure. It can be written as
Unlike a fuzzy traverse, a fuzzy polytope includes its interior. Thus, under the assumption that taking an α-cut we obtain a left- and a right-hand side polytope, denoted as and , respectively, we can write the following:
The α-cut of a fuzzy polytope is illustrated in Fig. 6.
For further discussion let us make
That means that we assume that all the vertices that belong to one fuzzy vertex converge to the corresponding vertex on the α-cut for α = 1 p k (1).
We present a solution algorithm for the linear case of fuzzy optimization problem defined as
is a fuzzy polytope;
d ≠ 0 is a known crisp vector in ;
is a fuzzy variable in .
The fuzzy polytope is defined according to Definition 7 by a given set of fuzzy points .
For the solution of linear optimization problems with fuzzy objective function and fuzzy constraints we use the notions introduced in Section 2. Let us consider problem (4) on some α ∈ [0, 1]:
As we know, the level-cut of fuzzy polytope can be decomposed into two crisp polytopes
So, problem (5) can be split on
These problems, in turn, are crisp linear optimization problems, which can be solved using any of the standard methods (see e.g. [2]). Let the sets of optimal solutions of problems (6) and (7) be denoted as and , respectively. The optimal solutions of problems (6) and (7) and correspond to elements of the vertices and for some k = 1, …, n.
Let us consider problem (5) for α = 1:
Within Definition 10 and Theorem 1 we obtain
By analogy to linear crisp optimization, solution of the fuzzy optimization problem (4) is a subset of a vertex of the fuzzy polytope or of a fuzzy hyperplane defined by its vertices.
Hence, we write
The fuzzy polytope has its own membership function . Thus, for each component of the fuzzy solution we obtain its membership function value by straight forward calculation using
Then, the final choice can be such an element c * of the fuzzy solution that has a maximal membership function value. However, other solutions can exist. This we can better explain in the next Section.
Let us consider the fuzzy optimization problem
To discuss this situation seriatim, let us consider problem (12) for two different level-cuts: for α = 0.3 and α = 0.7. Solutions for these case are visualized in Figs. 10 and 11.
By analogy, for α = 0.7 we obtain
To compute the fuzzy optimal solution of problem (12) we have to take a convex hull for all α-cuts. And we obtain that . And it is easy to see that for different α-cuts we have different Pareto optimal solutions. It is easy to see that solution (that is obtained for α = 1) does not changes for all level-cuts and solution stays optimal for all α ∈ [0, 0.5]. Thus, membership functions of the elements of the fuzzy solution and can be computed:
In the paper the solution approach for fuzzy optimization problem (with both fuzzy objectives and constraints) is presented for the linear case. A solution approach is based on the definition of the fuzzy polytope. The approach is based on taking level-cuts. Thus, for each α-cut the initial fuzzy linear optimization problem is splitted into two crisp linear optimization problems. Then, considering all α-cuts a fuzzy optimal solution is found as a union of the convex hulls of corresponding optimal solutions.
A special attention is given to the computation of the membership function of the fuzzy solution of the fuzzy optimization problem in the linear case. Knowledge of the membership function values of the elements of the fuzzy optimal solution enables the decision-maker to make an educated choice. Moreover, using our approach, a decision-maker can see a correlation among solutions and quantitatively measure the advantage of his / her choice over other solutions.
To simplify a crisp choice of the decision-maker, for all crucial points of the fuzzy solution, corresponding membership function values can be found. This makes a choice of the decision-maker well-grounded.
This approach is quite innovative one and we try to extend it to nonlinear fuzzy optimization problems in our coming work.
