Extension card · Fuzzy
Fuzzy SPOTIS (Shekhovtsov, Paradowski, Więckowski, Kizielewicz & Sałabun, 2022)
Fuzzy SPOTIS is the form of SPOTIS used when criterion values and the fixed bounds are given by expert judgement as triangular fuzzy numbers. It calculates distance to the fixed ideal via the triangles' centroid, and ranks the result, again, by a single distance value.
Base method
SPOTIS →
Philosophy, mechanics, strengths and weaknesses are on the base method card; this card describes only the difference.
Data type (family)
Fuzzy →
What this data type is, when to use it, how to write it in a cell: the family's full account is here.
What Changes from the Base Method?
Three things change; the philosophy of "distance to an ideal built from fixed bounds" does not.
Cells. In crisp SPOTIS every cell is a single number. Here every cell is a triangular fuzzy number (l, m, u): the lowest plausible, most likely, and highest plausible value. Criterion weights, too, may be given as triangles. The fixed bounds, each criterion's "best/worst possible" value, are now also triangles; in crisp SPOTIS these bounds were single numbers.
Defuzzification (COA) and scaled distance. Crisp SPOTIS takes the absolute difference between each cell and the fixed ideal directly and divides it by the width of the fixed-bound interval. Here, every triangle, cell, ideal and bounds alike, is first reduced to a single number by the centroid (COA: (l+m+u)/3); distance and scaling are then computed on these reduced numbers using the same formula as crisp SPOTIS. Uncertainty is thus consumed before the distance calculation, right at the start. This is the reverse of Fuzzy TOPSIS, where defuzzification is not carried out even at the end, because the distances are already calculated corner by corner and the closeness score emerges that way.
Weighted sum and ranking. The scaled distances are multiplied by the centroid of the weights and summed; as in crisp SPOTIS, a smaller distance is better, and the ranking runs by increasing distance.
DecisionMind fixes the centroid defuzzification ((l+m+u)/3) for Fuzzy SPOTIS. A critical point: if the fixed bounds (s̃ⱼ^min, s̃ⱼ^max) are not explicitly given in the analysis input (extras), DecisionMind, contrary to SPOTIS's core principle, automatically builds these bounds from that analysis's own alternatives' observed lowest and highest triangle. As Case 1 below shows, this effectively pulls the method towards fuzzy TOPSIS and invalidates SPOTIS's promise of "rank reversal free" for that analysis; giving the fixed bounds explicitly in the analysis input is the user's own responsibility.
How to Read the Output
The distance value shows, as in crisp SPOTIS, how far an alternative sits from the fixed ideal; a small value is good, a large value is bad.
The difference is here. This distance is now the distance of a triangle that has been reduced to its centroid, and the triangle's width, that is, the size of the uncertainty, does not enter the distance visibly; only the centroid does. If two alternatives' centroids sit close together, but one comes from a narrow triangle (0.58; 0.60; 0.62) and the other from a wide triangle (0.40; 0.60; 0.80), the distance values come out nearly identical, even though the second alternative's input is far more uncertain. Furthermore, whether the fixed bounds truly came from outside or were built from the dataset determines whether the distance should be read "against a fixed ruler" or "against this particular set."
Thus instead of writing:
"According to Fuzzy SPOTIS, A2's score of 0.175 is a fixed and reliable result"
the report should read:
"A2's distance, at 0.175, is the lowest; this result is stable if fixed bounds (s̃ⱼ^min, s̃ⱼ^max) were defined in the analysis input, and if they were not, it has been derived from this set's own observed bounds and may change once a new alternative is added"
When to Prefer This over the Base Method
This extension is especially suitable when criterion values come from expert judgement or an approximate estimate, and the alternative set is expected to change over time, that is, when a new candidate or a new supplier will be added later. If experts are giving "approximate" scores and the comparison will be repeated over the years, these two conditions together make the strongest case.
If criteria are measured, meaning crisp SPOTIS is needed rather than fuzzy SPOTIS, or if fixed bounds cannot be set beforehand in a defensible way, the base method should be kept; in that case a data-driven method such as fuzzy TOPSIS is more honest. If the table is mixed, meaning some criteria are crisp and some fuzzy, DecisionMind requires a single data type; a measured value is written as (v, v, v), with zero width. The base SPOTIS's exit condition applies here in exactly the same way: if the fixed bounds are unknown or contested, or if no compromise is acceptable on one criterion, the method should not be used.
Mistakes Specific to This Extension
Violating the value space. Every triangle must satisfy l ≤ m ≤ u with all components ≥ 0; if this order is broken, the cell is invalid.
Not supplying the fixed bounds as input. As described above, this is the most critical mistake specific to this extension. If s̃ⱼ^min / s̃ⱼ^max are not stated in the analysis input, DecisionMind silently uses the dataset's own lowest/highest triangle, and SPOTIS no longer behaves like SPOTIS. This is the fuzzy counterpart of crisp SPOTIS's "most common mistake" on the base card, and here it happens as a silent default rather than a warning.
Changing the defuzzification method. DecisionMind uses the centroid ((l+m+u)/3); a different defuzzification (weighted average, most-likely value) can produce a different ranking, and which one was used should be stated in the report.
Reading the distance value the wrong way round. In the SPOTIS family, a smaller distance is better; reading it the way fuzzy TOPSIS's closeness score is read, "the larger one wins," reverses the order.
Giving weights as crisp numbers while cells stay fuzzy. If a crisp weight is to be used, its three components are written as identical (w, w, w) and this is stated in the report; otherwise the weight's centroid, equal to the crisp number, gives the impression of coming from a different source.
The governing principle is this:
Fuzzy SPOTIS's promise of "rank reversal free" holds only when the fixed bounds have been explicitly and justifiably defined in the analysis input; if the bounds are built automatically from the dataset, the method has silently turned into fuzzy TOPSIS.
Cases
The first case is DecisionMind's validation example. Because no shared fuzzy SPOTIS MCDM table exists in the literature, DecisionMind has built a small, formula-faithful example that can be followed by hand; in this example, because fixed bounds were not separately given, the system defaulted to the dataset's own bounds, as explained below. The second case is an illustrative construction, and it shows the correct use of fixed bounds.
1. Illustrative example: Three candidates evaluated on three criteria in fuzzy form
A board is evaluating three candidates on three criteria; scores are given as triangular fuzzy numbers, and fixed bounds have not been separately stated in the analysis input.
| Candidate | C1 (higher is better) | C2 (higher is better) | C3 (lower is better) |
|---|---|---|---|
| A1 | (0.65; 0.70; 0.75) | (0.45; 0.50; 0.55) | (0.55; 0.60; 0.65) |
| A2 | (0.75; 0.80; 0.85) | (0.55; 0.60; 0.65) | (0.35; 0.40; 0.45) |
| A3 | (0.55; 0.60; 0.65) | (0.65; 0.70; 0.75) | (0.45; 0.50; 0.55) |
| Direction | higher is better | higher is better | lower is better |
| Weight | (0.35; 0.40; 0.45) | (0.30; 0.35; 0.40) | (0.20; 0.25; 0.30) |
Since fixed bounds were not given, the method builds each criterion's ideal from these three candidates' own observed best triangle (such as A2's upper end on C1, and A2's lower end on C3); it defuzzifies every cell and the ideal by centroid, computes the scaled distance, and sums it with the weights' centroid.
| Candidate | Distance value | Rank |
|---|---|---|
| A2 | 0.175 | 1 |
| A3 | 0.525 | 2 |
| A1 | 0.800 | 3 |
The result can be read as follows. A2 has the smallest distance because it is itself the ideal (centroid 0.80) on C1 and also itself the ideal (centroid 0.40) on C3; A1 is not ideal on any criterion and finishes last.
The board's hesitation lies precisely in how this example was built. Because the fixed bounds came from this set's own data, once a fourth candidate is added, for instance one scoring higher than A2 on C1, A2's distance, which currently coincides with the ideal, stops being zero, and all three candidates' distances change. SPOTIS's promised "rank reversal free" property is not delivered in this example, because the bounds were not fixed from outside but derived from the set.
In the report: "Since fixed bounds were not separately defined in this analysis, the ideal has been built from the three candidates' own data; A2 has the lowest distance in the current set (0.175), but this result may change once a new candidate is added. For a stable comparison, the fixed bounds (s̃ⱼ^min, s̃ⱼ^max) need to be defined in advance, with justification."
Source: A hand-traceable illustrative example with 3 candidates × 3 criteria (not a numerical application taken from Shekhovtsov and colleagues' article); it is DecisionMind's validation example for the Fuzzy SPOTIS engine. The distance values were calculated independently in Python by this card's author, and match, decimal for decimal, the validation record in the DecisionMind manifest (A2 > A3 > A1).
2. Logistics: A courier firm's annual performance comparison
An e-commerce company will compare three regional courier firms every year against the same fixed targets for order distribution, and will renew contracts accordingly. Three criteria have been scored as triangular fuzzy numbers by an expert evaluation team: delivery-speed score and customer-satisfaction score (higher is better), and unit shipping cost index (lower is better). The company has set a fixed "best/worst possible" triangle for every criterion based on industry standards, and has announced that it will not change this bound for three years.
| Firm | Delivery speed | Customer satisfaction | Unit cost index |
|---|---|---|---|
| F1 | (0.55; 0.60; 0.65) | (0.50; 0.55; 0.60) | (0.45; 0.50; 0.55) |
| F2 | (0.65; 0.70; 0.75) | (0.40; 0.45; 0.50) | (0.35; 0.40; 0.45) |
| F3 | (0.45; 0.50; 0.55) | (0.60; 0.65; 0.70) | (0.50; 0.55; 0.60) |
| Direction | higher is better | higher is better | lower is better |
| Weight | (0.40; 0.45; 0.50) | (0.30; 0.35; 0.40) | (0.15; 0.20; 0.25) |
| Fixed bound | (0.30;0.35;0.40)–(0.85;0.90;0.95) | (0.25;0.30;0.35)–(0.80;0.85;0.90) | (0.20;0.25;0.30)–(0.75;0.80;0.85) |
The method builds the ideal from the fixed bounds for every criterion (the upper triangle for delivery and satisfaction, the lower triangle for cost) and calculates each firm's scaled distance to this fixed ideal.
| Firm | Distance value | Rank |
|---|---|---|
| F2 | 0.473 | 1 |
| F1 | 0.527 | 2 |
| F3 | 0.564 | 3 |
The result can be read as follows. F2 is closest to the fixed ideal because it has the highest delivery-speed score and the lowest cost index; F3 is best on customer satisfaction, but its weakness on delivery speed and its higher cost index raise its total distance.
The company's hesitation runs in two directions. First, the ranking is not sensitive to the set: when a fourth firm is added to the system, for instance one with the best score on every criterion, F1, F2 and F3's distance values stay exactly the same (0.527; 0.473; 0.564); only the new firm joins the ranking. Thanks to the fixed bounds, the problem seen in the illustrative example does not arise here. Second, had these same three firms been compared without fixed bounds, using only these three firms' own data, the distances would have come out at (0.533; 0.350; 0.650); both the ranking and the magnitudes differ, and once a fourth firm is added, these data-driven bounds would shift the distances again, to (0.633; 0.500; 0.717). This shows the concrete benefit of using fixed bounds.
In the report: "With the pre-defined fixed bounds, F2 is closest to the ideal (distance 0.473); as long as these bounds stay fixed, adding a new firm next year will not change F1, F2 and F3's distances relative to one another. Had the same comparison been made without fixed bounds, the results would both differ and change again once a new firm is added."
3. What Not to Do
The first error, as in the illustrative example, is presenting an analysis as "SPOTIS" without ever defining fixed bounds. The result is in fact a data-dependent distance of the kind fuzzy TOPSIS produces, and has no right to carry SPOTIS's name.
The second error is reducing the triangles in the logistics example to their centroid at the outset (for instance 0.60 for F1, 0.70 for F2) and running crisp SPOTIS. The ranking may come out the same, but the approximation in the expert scores is erased at the first step and distance differences can be exaggerated.
The third error is reading the distance value the way fuzzy TOPSIS's closeness score is read, "the larger one wins," and placing F3 (the highest distance) first. In the SPOTIS family, the smaller distance wins.
Sources
For the formulas behind each step, the intermediate tables and citation formats, see the DecisionMind method page: decisionmind.app/library/fuzzy-spotis
Shekhovtsov, A., Paradowski, B., Więckowski, J., Kizielewicz, B., & Sałabun, W. (2022). Extension of the SPOTIS method for the rank reversal free decision-making under fuzzy environment. In 2022 IEEE 61st Conference on Decision and Control (CDC) (pp. 5595–5600). IEEE. DOI: 10.1109/CDC51059.2022.9992833
Dezert, J., Tchamova, A., Han, D., & Tacnet, J. M. (2020). The SPOTIS rank reversal free method for multi-criteria decision-making support. In 2020 IEEE 23rd International Conference on Information Fusion (FUSION) (pp. 1–8). IEEE. DOI: 10.23919/FUSION45008.2020.9190347
Zadeh, L. A. (1965). Fuzzy sets. Information and Control, 8(3), 338–353. DOI: 10.1016/S0019-9958(65)90241-X
Dubois, D., & Prade, H. (1978). Operations on fuzzy numbers. International Journal of Systems Science, 9(6), 613–626. DOI: 10.1080/00207727808941724