Fuzzy ELECTRE II: Fuzzy extension of ELECTRE-II

Overview

FUZZY-ELECTRE-II şunu sorar: 'Uzmanlar TFN olarak puanladığında, bir alternatifin diğerini geçtiğini söylemek için yeterince konkordans var mı VE veto edici bir kriterde çok zayıf değil mi?' Önce TFN'leri centroid ile crisp'e indir, vektör-normalize et, ağırlıkla çarp; sonra her (a,b) çifti için 'a, b'yi nerede dövüyor' kümesini (concordance C) ve 'a, b'den nerede çok geride' kümesini (discordance D) çıkar. Roy-Bertier 1973 5-eşik şeması ile strong outranking S^s ve weak outranking S^w tanımla; Johnson döngü eliminasyonundan sonra ileri+geri+medyan distillation ile sıralama sınıflarını üret.

Strengths

• •Preserves expert linguistic uncertainty through TFN representation rather than premature crispification at the elicitation boundary
• •Strong + weak outranking dual semantic captures gradation in preference strength (richer than ELECTRE-I single-threshold Boolean)
• •Iterative forward+reverse+median distillation (Goicoechea-Hansen-Duckstein 1982 ref [17] in Govindan 2010) produces robust median preorder, less sensitive to threshold perturbation than single-direction distillation
• •Non-compensatory: a catastrophic discordance d(a,b) → veto cannot be offset by high concordance: appropriate for risk-averse domains (logistics, safety, environment)
• •Aligns with established Type-1 fuzzy MCDM canon (Chen 2000 aggregation + Hokkanen 1995 thresholds)

Limitations

• •Outputs ordinal indifference classes only: no cardinal scores for downstream optimisation
• •5-threshold elicitation burden (c⁻, c⁰, c⁺, d⁻, d⁺) without principled defaults outside Hokkanen 1995 environmental-domain canon
• •Defuzzification at F2 collapses TFN to crisp prior to outranking: manifest design choice (Govindan 2010 paper does this implicitly); alternative 'all-fuzzy ELECTRE-II' (Hatami-Marbini-Tavana 2013) inspected but is an 8-step custom hybrid, NOT canonical Roy-Bertier (see P.verification_status.block_J_python_independent_audit_2026_05_19)
• •Block J fixture is synthetic 3×3 (not paper-anchored) because Govindan 2010 paper raw input cite [6] Kannan 2009 only provides linguistic ratings (manifest J._audit_anchor_kannan_2009 reproduces the Chen 2000 aggregated matrix) and the paper does not enumerate threshold values used
• •Indifference class can collapse all alternatives when discordance vetos dominate: under canonical 5-threshold defaults the 3×3 fixture returns a single class {A1, A2, A3} (expected behaviour, not a bug)

Assumptions to verify

• •Thresholds (q, p, v) can be expressed in Fuzzy (Triangular) scale
• •Veto + concordance semantics adapted to fuzzy arithmetic

When not to use

• •Small dataset (m<3): outranking machinery underutilised

Edge cases

• •Tüm alternatifler benzer puansa: discordance dominasyonu → tek indifference class (3×3 synthetic fixture'ın canonical sonucu: bug değil, paterndir)
• •Cost kriter yoksa: F3 reciprocal inversion atlanır, doğrudan vektör normalize
• •Σw_j ≠ 1 ise: F6 formülü c(a,b) = Σ_{j∈C} w_j / Σ_j w_j olarak yeniden ölçeklenir (manifest D.parameters varsayım kontrolü yapar)
• •D(a,b) = ∅ (a, b'yi tüm kriterlerde zayıflıkla geçer): d(a,b) = 0 sözleşmesi, strong outranking otomatik kabul (eşik karşılanırsa)
• •Johnson cycle: R^s veya R^w'de çevrim varsa F10 distillation iterasyonu sonsuza dönebilir: Johnson 1975 collapse ile equivalence class'lara çevrilir (pyDecision johnson_algorithm_cycles)
• •Multi-DM aggregation: Chen 2000 min(l)/mean(m)/max(u) seçimi pessimistic-balanced-optimistic spread'i korur; alternatif 'all-average' (mean of l, m, u ayrı) DM disagreement sinyalini kaybeder

Common pitfalls

• •Hatalı: 'Fuzzy ELECTRE-II = PF-ELECTRE-II' sanmak: TFN Type-1 (Zadeh, B.seminal Govindan 2010) ≠ Pythagorean (Akram 2021, ayrı manifest PF-ELECTRE-II.json)
• •Hatalı: 'Crisp Roy-Bertier 1973 = Fuzzy ELECTRE-II seminal' demek: Roy-Bertier crisp_origin, fuzzy applicator seminal ayrıdır (manifest source_role enum: crisp_origin / fuzzy_extension / fuzzy_extension_pythagorean)
• •Hatalı: 'Defuzz centroid yerine α-cut + max-min ile fuzzy arithmetic boyunca outranking yap': bu Hatami-Marbini 2013 hibridine kayar, canonical Roy-Bertier 5-threshold semantiği bozulur
• •Hatalı: Tek bir threshold (c, d) ile 'ELECTRE-II yaptım' demek: bu ELECTRE-I'dir; ELECTRE-II 5 ayrı eşik gerektirir (strong+weak ayrımı için)
• •Hatalı: Block J 3×3 fixture'ın 'single class' sonucunu bug sanmak: discordance veto dominasyonu altında bu canonical-correct çıktıdır (P.verification_status.block_j_fixture damgalı)
• •Hatalı: Govindan 2010 Table II ile manifest F4 weighted normalized cross-check'i 'tam birebir' beklemek: paper graded mean integration kullanır, manifest centroid; sayılar yakın ama bire bir değil (P.audit_mode dökümante eder)

Worked example

1. 1.Adım 1 (F1): Fuzzy karar matrisi X̃ = [x̃_ij]_{m×n} TFN girişlerle (l, m, u) oluştur. Multi-DM ise her uzmanın TFN'ini Chen 2000 (min(l_k), mean(m_k), max(u_k)) ile cell-bazında topla (Kannan 2009 Table 13 örnek paterni).
2. 2.Adım 2 (F2): Centroid defuzz x* = (l+m+u)/3 ve w* = (l^w+m^w+u^w)/3, sonra w_j = w_j* / Σ_k w_k* normalize. NOT: Govindan 2010 paper graded mean integration (l+4m+u)/6 kullanır: fonksiyonel eşdeğer sınıf, manifest sentroidi konvansiyonel basitlik için seçer.
3. 3.Adım 3 (F3): Vektör normalize benefit: r_ij = x*_ij / √(Σ_i (x*_ij)²). Cost: önce ters x^c = 1/x*, sonra aynı vektör normalizasyonu.
4. 4.Adım 4 (F4): Ağırlıklı normalize v_ij = w_j · r_ij (Govindan 2010 Step 1-2 ≡ Table II output).
5. 5.Adım 5 (F5): Her (A_a, A_b) çifti için C(a,b) = {j | v_aj ≥ v_bj}, D(a,b) = {j | v_aj < v_bj}.
6. 6.Adım 6 (F6): Concordance indeksi c(a,b) = Σ_{j∈C(a,b)} w_j (Σw_j=1 varsayımıyla).
7. 7.Adım 7 (F7): Discordance indeksi d(a,b) = max_{j∈D} |v_aj − v_bj| / max_j |v_aj − v_bj|; D boşsa d=0 (Govindan 2010 formula 6-7).
8. 8.Adım 8 (F8): Roy-Bertier 1973 5-eşik (c⁻<c⁰<c⁺, d⁻<d⁺) ile karşılıklı dominans C(a,b)≥C(b,a) gereksiniminde: Strong S^s(a,b) iff C(a,b)≥C(b,a) ∧ ((c(a,b)≥c⁺ ∧ d(a,b)≤d⁺) ∨ (c(a,b)≥c⁰ ∧ d(a,b)≤d⁻)); Weak S^w(a,b) iff C(a,b)≥C(b,a) ∧ (c(a,b)≥c⁻ ∧ d(a,b)≤d⁺). Default (Hokkanen 1995 / pyDecision): 0.65/0.75/0.85/0.25/0.50.
9. 9.Adım 9 (F9): Boolean R^s = 1[S^s], R^w = 1[S^w]. Johnson 1975 cycle algoritması ile basit çevrimleri equivalence class'lara çök (acyclic graf için ön-işlem).
10. 10.Adım 10 (F10): İteratif distillation: combined dominance D = clip(2·R^s + R^w, 0, 2). Forward: her iterasyonda dominate edilmeyen ('column-sum=0') alternatif sınıfını çıkar, sırala. Reverse: ters yönde tekrarla. Median: forward + reverse pre-order'ı birleştir (Goicoechea-Hansen-Duckstein 1982 ref [17] in Govindan 2010 ≡ Step 5 + Table VI r'(x)/r''(x)/r*(x)).
11. 11.Adım 11 (F11): Auxiliary net dominance Φ_i = Σ (2r^s_{ib}+r^w_{ib}) − Σ (2r^s_{ai}+r^w_{ai}): informatif özet, kanonik sıralama F10 distillation sınıflarından gelir.

Commonly paired with

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

How to cite