Fuzzy ELECTRE I (Group, Trapezoidal)

Overview

FUZZY-ELECTRE-I, Roy (1968) tarafından geliştirilen ELECTRE I outranking yönteminin Hatami-Marbini ve Tavana (2011, Omega) tarafından trapezoidal fuzzy sayılar ile grup karar verme ortamına taşınmış halidir. Klasik ELECTRE'nin temel sezgisi diğer MCDM yöntemlerinden köktenci ölçüde farklıdır: alternatifleri tek bir skalar fayda skoruyla sıralamak yerine, her alternatif çiftine BİNARY OUTRANKING ilişkisi (A_g S A_f = 'A_g, A_f'i outrank ediyor mu?') atar; bu ilişki bir Boolean matris ve YÖNLÜ ÇİZGE (decision graph) olarak yorumlanır. Çizgeyi gezerek 'tercih edilen', 'kıyaslanamaz' (incomparable) ve 'kayıtsız' (indifferent) alternatif kümeleri çıkarılır. Paper'ın grup uzantısı, K uzmanın trapezoidal puanlarını min-mean-mean-min (Eq.8) ile agregat eder; fuzzy concordance/discordance matrislerini Hamming uzaklığı ile inşa eder (Eq.14-16). Outranking eşiği c̄ (ortalama concordance) Boolean B matrisini üretir (Eq.17), kıyaslanabilirlik bilgisi TOPSIS gibi metrik sıralayıcılarda KAYBOLAN bir zenginliktir.

Strengths

• •Method-specific: Group fuzzy outranking: Trapezoidal Fuzzy Number (TrFN: l, p, q, u)
• •Preserves fuzzy_TrFN uncertainty through the pipeline rather than premature crispification at elicitation
• •Native group-decision support (multi-DM aggregation built into the pipeline)

Limitations

• •Rank reversal known on alternative-set changes (ref: Hatami-Marbini & Tavana 2011, p.382 Table 14: ELECTRE family exhibits more rank reversal than TOPSIS as the number of actions grows.)
• •Assumes: Each linguistic term maps deterministically to a TrFN (Tables 1-2 of seminal)
• •Assumes: DMs are interchangeable (mean aggregation in Eqs.5-8 assumes equal authority)
• •Assumes: Hamming distance is the chosen TrFN dissimilarity (seminal §2 Def.3)

Assumptions to verify

• •Each linguistic term maps deterministically to a TrFN (Tables 1-2 of seminal)
• •DMs are interchangeable (mean aggregation in Eqs.5-8 assumes equal authority)
• •Hamming distance is the chosen TrFN dissimilarity (seminal §2 Def.3)

When not to use

• •A complete linear ranking is required (use FUZZY-TOPSIS or fuzzy ELECTRE III instead)
• •Single DM with crisp ratings (use crisp ELECTRE I)
• •Criterion weights must be calibrated as a probability simplex

Edge cases

• •Ortalama concordance c̄ ve discordance d̄ eşiklerinin tek seçimi: paper §3.4 default 'ortalama' önerir; karar-verici daha katı outranking için percentile-based eşik (örn. 75th) kullanabilir, bu B matrisini seyrekleştirir.
• •ELECTRE-spesifik özellik: B matrisi simetrik OLABİLİR (b_gf=b_fg=1, A_g ile A_f birbirini outrank ediyor → 'indifferent'); ayrıca b_gf=b_fg=0 'incomparable'. Bu zenginlik TOPSIS/EDAS gibi total-order metoda dönüştürülürse kaybolur.
• •Trapezoidal fuzzy ≥ ilişkisi (J_C tanımı): Hamming distance en-küçük-üst-sınır (LUB) kıyası kullanılır (paper §3, Eq.14 öncesi). α-cut veya possibility-degree alternatif var ama paper Hamming seçer.
• •Grup uzman ağırlıkları eşit olmayabilir; paper §3 K-uzman için eşit ağırlık varsayar (Eq.8 mean), ağırlıklı genişleme (her uzmana λ_k) generik engine'de opsiyonel.
• •Çizge döngüsü (cycle): preferred-küme çıkarmak için strongly-connected component analizi gerekebilir; jenerik engine bunu raporlar (CC sayısı) ama final ranking için extra adım ister.

Common pitfalls

• •Pitfall #1: ELECTRE-I'yi sıralama (ranking) yöntemi sanmak. ELECTRE-I CHOICE problematiği için tasarlanmıştır: en iyi alternatif KÜMESİ çıkarır, tam sıralama vermez. Sıralama isteniyorsa ELECTRE-II/III veya farklı bir yöntem kullanılır.
• •Pitfall #2: 'Incomparable' (kıyaslanamaz) çıktısını 'eşit' veya 'kayıtsız' (indifferent) ile karıştırmak. Incomparable = bir alternatifin diğerini outrank ettiğine dair YETERLİ concordance YOK + ayrıca çok yüksek discordance var; bu, yargı eksikliğini KORUR, zorlamalı sıralama yapmaz.
• •Pitfall #3: Trapezoidal fuzzy sayı kıyaslarken centroid veya defuzzify-edip-karşılaştır tuzağı. Paper Eq.(14) öncesi Hamming distance LUB tanımını kullanır; defuzzify (örn. (l+p+q+u)/4) farklı J_C verir ve sonuç değişir.
• •Pitfall #4: c̄ eşiğini paper'ın 'ortalama' default'undan rasgele değiştirmek. Eşik çok yüksek → B çok seyrek → her şey incomparable; çok düşük → B yoğun → seçim ayırt edici değil. Karar-verici kalibrasyonu kritiktir.
• •Pitfall #5: Fuzzy ELECTRE I'yi kriter sayısı 3'ten az olan problemlere uygulamak. Outranking concordance ortalaması istatistiksel olarak az kriterde gürültülü; paper implicit en az 4-5 kriter varsayar.

Worked example

1. 1.Adım 1 (F1): Step 1: Form the group of K DMs and determine evaluation criteria (m alternatives, n criteria). Formül: E = \{e_1, e_2, \dots, e_K\}, A = \{A_1, \dots, A_m\}, C = \{C_1, \dots, C_n\} Anchor: Hatami-Marbini & Tavana 2011, p.375 §3 Step 1
2. 2.Adım 2 (F2): Step 2: Each DM k assigns linguistic performance ratings x̃_ijk to action A_i on criterion C_j. Formül: \tilde{x}_{ijk} = (x_{ijk}^l, x_{ijk}^p, x_{ijk}^q, x_{ijk}^u),\ i=1..m,\ j=1..n,\ k=1..K Anchor: Hatami-Marbini & Tavana 2011, p.377 Step 2
3. 3.Adım 3 (F3): Step 3: Each DM k assigns linguistic weights w̃_jk to each criterion C_j. Formül: \tilde{w}_{jk} = (w_{jk}^l, w_{jk}^p, w_{jk}^q, w_{jk}^u),\ j=1..n,\ k=1..K Anchor: Hatami-Marbini & Tavana 2011, p.377 Step 3
4. 4.Adım 4 (F4): Step 4: Convert linguistic evaluations into trapezoidal fuzzy numbers via the predefined linguistic scale (Tables 1-2, Figs. 4-5). Formül: linguistic\_term \mapsto (l, p, q, u) Anchor: Hatami-Marbini & Tavana 2011, p.379 Tables 1-2
5. 5.Adım 5 (F5): Step 5: Aggregate K DMs' ratings and weights using min-mean-mean-max scheme (Eqs.5-8). Formül: \tilde{x}_{ij} = (x_{ij}^l, x_{ij}^p, x_{ij}^q, x_{ij}^u),\ x_{ij}^l = \min_k x_{ijk}^l,\ x_{ij}^p = \tfrac{1}{K}\sum_k x_{ijk}^p,\ x_{ij}^q = \tfrac{1}{K}\sum_k x_{ijk}^q,\ x_{ij}^u = \max_k x_{ijk}^u;\ \tilde{W}_j = (w_j^l, w_j^p, w_j^q, w_j^u)\ analogously Anchor: Hatami-Marbini & Tavana 2011, p.375-376 Eqs.(5)-(8)
6. 6.Adım 6 (F6): Step 6: Construct the fuzzy decision matrix Ũ and the fuzzy weight vector W̃. Formül: \tilde{U} = [\tilde{x}_{ij}]_{m \times n},\ \tilde{W} = [\tilde{W}_1, \tilde{W}_2, \dots, \tilde{W}_n] Anchor: Hatami-Marbini & Tavana 2011, p.376 Eq.(9)
7. 7.Adım 7 (F7): Step 7: Linear-scale normalization to a comparable scale. Benefit criteria (Ω_B): r̃_ij = (l/d_j*, p/d_j*, q/d_j*, u/d_j*) with d_j* = max_i x_ij^u. Cost criteria (Ω_C): r̃_ij = (a_j^-/u, a_j^-/q, a_j^-/p, a_j^-/l) with a_j^- = min_i x_ij^l. Formül: j \in \Omega_B:\ \tilde{r}_{ij} = \big(\tfrac{x_{ij}^l}{d_j^*}, \tfrac{x_{ij}^p}{d_j^*}, \tfrac{x_{ij}^q}{d_j^*}, \tfrac{x_{ij}^u}{d_j^*}\big),\ d_j^* = \max_i x_{ij}^u;\ j \in \Omega_C:\ \tilde{r}_{ij} = \big(\tfrac{a_j^-}{x_{ij}^u}, \tfrac{a_j^-}{x_{ij}^q}, \tfrac{a_j^-}{x_{ij}^p}, \tfrac{a_j^-}{x_{ij}^l}\big),\ a_j^- = \min_i x_{ij}^l Anchor: Hatami-Marbini & Tavana 2011, p.376 Eqs.(10)-(11)
8. 8.Adım 8 (F8): Step 8: Construct the weighted normalized fuzzy decision matrix Ṽ = [ṽ_ij] with ṽ_ij = W̃_j (·) r̃_ij (fuzzy product). Formül: \tilde{v}_{ij} = (v_{ij}^l, v_{ij}^p, v_{ij}^q, v_{ij}^u) = (w_j^l x_{ij}^l, w_j^p x_{ij}^p, w_j^q x_{ij}^q, w_j^u x_{ij}^u) Anchor: Hatami-Marbini & Tavana 2011, p.376 Eq.(12)
9. 9.Adım 9 (F9): Step 9: For each pair (g, f) and criterion j, compute the Hamming distances d(max(ṽ_gj, ṽ_fj), ṽ_gj) and d(max(ṽ_gj, ṽ_fj), ṽ_fj). Comparison rule: ṽ_gj ≥ ṽ_fj iff d(max, ṽ_fj) ≥ d(max, ṽ_gj). Formül: d(\tilde{A}, \tilde{B}) = \int_R |\mu_{\tilde{A}}(x) - \mu_{\tilde{B}}(x)|\, dx Anchor: Hatami-Marbini & Tavana 2011, p.375 Eq.(2) (Def.3), p.376 Step (Hamming comparison)
10. 10.Adım 10 (F10): Step 10: Construct the concordance matrix C̃. For each ordered pair (g, f), J_C = {j : ṽ_gj ≥ ṽ_fj} and c̃_gf = Σ_{j∈J_C} W̃_j (fuzzy sum of weights in the concordance set). Formül: \tilde{c}_{gf} = (c_{gf}^l, c_{gf}^p, c_{gf}^q, c_{gf}^u) = \Big(\sum_{j \in J_C} w_j^l, \sum_{j \in J_C} w_j^p, \sum_{j \in J_C} w_j^q, \sum_{j \in J_C} w_j^u\Big) Anchor: Hatami-Marbini & Tavana 2011, p.376 Eqs.(13)-(14)
11. 11.Adım 11 (F11): Step 11: Construct the discordance matrix D. d_gf is the ratio of the maximum Hamming distance over discordance criteria to the maximum Hamming distance over all criteria (yielding a crisp scalar in [0,1]). Formül: d_{gf} = \frac{\max_{j \in J_D}\, d(\max(\tilde{v}_{gj}, \tilde{v}_{fj}),\ \tilde{v}_{fj})}{\max_{j}\, d(\max(\tilde{v}_{gj}, \tilde{v}_{fj}),\ \tilde{v}_{fj})},\ J_D = \{j : \tilde{v}_{gj} < \tilde{v}_{fj}\} Anchor: Hatami-Marbini & Tavana 2011, p.376 Eqs.(15)-(16)
12. 12.Adım 12 (F12): Step 12: Construct Boolean matrix B from the average concordance level C̄ = (c^l, c^p, c^q, c^u). b_gf = 1 iff c̃_gf ≥ C̄ (compared by Hamming distance, since both are TrFNs); else b_gf = 0. Formül: \bar{C} = (c^l, c^p, c^q, c^u),\ c^* = \tfrac{1}{m(m-1)} \sum_{f=1}^{m} \sum_{g=1}^{m} c_{gf}^*\ \text{for } * \in \{l, p, q, u\};\ b_{gf} = \mathbb{1}[\tilde{c}_{gf} \succeq \bar{C}] Anchor: Hatami-Marbini & Tavana 2011, p.376-377 Eqs.(17)-(18)
13. 13.Adım 13 (F13): Step 13: Construct Boolean matrix H from the average discordance level D̄. h_gf = 1 iff d_gf < D̄; else 0. Formül: \bar{D} = \tfrac{1}{m(m-1)} \sum_{f=1}^{m} \sum_{g=1}^{m} d_{gf};\ h_{gf} = \mathbb{1}[d_{gf} < \bar{D}] Anchor: Hatami-Marbini & Tavana 2011, p.377 Eqs.(19)-(20)
14. 14.Adım 14 (F14): Step 14: Global matrix Z = B ⊗ H (Hadamard product, z_gf = b_gf · h_gf). Build the outranking decision graph G = (V, J): vertex per alternative; an arc A_g → A_f exists iff z_gf = 1. Pairs with z_gf = z_fg = 1 are indifferent; with z_gf = 0 = z_fg are incomparable. Formül: Z = B \otimes H,\ z_{gf} = b_{gf} \cdot h_{gf};\ A_g\, S\, A_f \Leftrightarrow z_{gf} = 1 Anchor: Hatami-Marbini & Tavana 2011, p.377 Eq.(21) and Fig.1

Commonly paired with

• •FUZZY-AHP + FUZZY-ELECTRE-I (common)

How to cite