FIA: Fuzzy Information Axiom (Axiomatic Design under fuzzy data)

Overview

Information content minimization: axiomatic design with TFN system/design ranges, common-area / system-area ratio. Output typically utility (higher value = preferred).

Strengths

• •Method-specific: Information content minimization: axiomatic design with TFN system/design ranges, common-area / system-area ratio
• •Preserves fuzzy_TFN uncertainty through the pipeline rather than premature crispification at elicitation
• •Native group-decision support (multi-DM aggregation built into the pipeline)

Limitations

• •Assumes: Decision matrix entries are valid Fuzzy (Triangular) numbers/tuples
• •Assumes: Underlying crisp method's compensation assumption holds in uncertain space
• •Assumes: All decision-maker(s) and experts use the same linguistic/uncertainty scale

Assumptions to verify

• •Decision matrix entries are valid Fuzzy (Triangular) numbers/tuples
• •Underlying crisp method's compensation assumption holds in uncertain space
• •All decision-maker(s) and experts use the same linguistic/uncertainty scale

When not to use

• •Crisp data sufficient: use base INFORMATION-AXIOM directly (avoid unnecessary uncertainty layer)
• •Aggregation operator (PFWA/PFOWA/etc.) not specified: output ambiguous

Edge cases

• •If C_ij = 0 (empty intersection), then I_ij = ∞ and alternative i is infeasible on FR j (e.g. book Eq.(8) p.217 where FMS-I's ADMC system range does not overlap the design range, yielding I_{ADMC-1} =
• •default to uniform weights w_j = 1/n.

Common pitfalls

• •Hatalı: 'FUZZY-INFORMATION-AXIOM bu varsayımı kontrol etmeden uygulamak'. Doğrusu: Decision matrix entries are valid Fuzzy (Triangular) numbers/tuples
• •Hatalı: 'FUZZY-INFORMATION-AXIOM bu varsayımı kontrol etmeden uygulamak'. Doğrusu: Underlying crisp method's compensation assumption holds in uncertain space
• •Hatalı: 'FUZZY-INFORMATION-AXIOM bu varsayımı kontrol etmeden uygulamak'. Doğrusu: All decision-maker(s) and experts use the same linguistic/uncertainty scale
• •Hatalı: FUZZY-INFORMATION-AXIOM'yi 'Crisp data sufficient' durumunda kullanmak: recommendation_metadata.not_recommended_when alternatif öneriyor.
• •Hatalı: FUZZY-INFORMATION-AXIOM'yi 'Aggregation operator (PFWA/PFOWA/etc.) not specified' durumunda kullanmak: recommendation_metadata.not_recommended_when alternatif öneriyor.

Worked example

1. 1.Adım 1 (F1): Step 1: Assemble the TFN system range matrix R̃ = [r̃_ij] (rij = (l_ij, m_ij, u_ij)) and the TFN design range vector D̃ = (d̃_1, …, d̃_n) with d_j = (dl_j, dm_j, du_j). Linguistic terms (e.g. Low, Medium, High) must first be encoded into TFNs via the chapter's conversion scales (Fig.14-15 for intangibles, Fig.18-21 for tangible costs). Formül: \tilde{r}_{ij} = (l_{ij}, m_{ij}, u_{ij}), \quad \tilde{d}_j = (dl_j, dm_j, du_j), \quad 0 \le l \le m \le u Anchor: Kahraman 2008 Ch.8 §2.2 p.213-215; Fig.14-15 p.223-224 linguistic encoding
2. 2.Adım 2 (F2): Step 2: For each (i, j) compute the System Area S_ij (planar area under the system-range TFN membership function) and the Common Area C_ij (planar area of the geometric intersection of system-range TFN and design-range TFN). For unit-height triangular fuzzy numbers, S_ij = (u_ij − l_ij) / 2. The Common Area is computed by integrating min(μ_sys(x), μ_des(x)) over the overlap support; for triangular membership functions this reduces to a piecewise polynomial of degree 2 with break-points at the membership crossovers. Both S_ij and C_ij are crisp scalars: the algorithm is NOT fuzzy arithmetic on TFNs; the fuzziness is captured only by the geometry of membership functions whose intersection area is taken (Kahraman 2008 Ch.8 §2.2 Fig.5 p.215). Formül: S_{ij} = \tfrac{1}{2}(u_{ij} - l_{ij}); \quad C_{ij} = \int_{x \in \mathrm{supp}(\tilde{r}_{ij}) \cap \mathrm{supp}(\tilde{d}_j)} \min(\mu_{\tilde{r}_{ij}}(x), \mu_{\tilde{d}_j}(x)) \, dx Anchor: Kahraman 2008 Ch.8 §2.2 Eq.(7) p.215; Fig.5 p.215; worked Eq.(16)-(17) p.223-224
3. 3.Adım 3 (F3): Step 3: Compute information content I_ij = log_2(S_ij / C_ij). If C_ij = 0 (empty intersection), then I_ij = ∞ and alternative i is infeasible on FR j (e.g. book Eq.(8) p.217 where FMS-I's ADMC system range does not overlap the design range, yielding I_{ADMC-1} = ∞). Formül: I_{ij} = \log_{2}\!\left(\dfrac{S_{ij}}{C_{ij}}\right) \quad (= \infty \text{ if } C_{ij} = 0) Anchor: Kahraman 2008 Ch.8 §2.2 Eq.(7) p.215; Eq.(8) p.217 infeasibility case; Suh 1990 Information Axiom
4. 4.Adım 4 (F4): Step 4: Aggregate per-alternative total information content I_i. The chapter presents two forms: (a) Unweighted sum I_i = Σ_j I_ij (Table 3 p.222, Table 5 p.225, Table 8 p.230: all uses this form). (b) Weighted sum I_i = Σ_j w_j · I_ij (referenced for the weighted multi-attribute approach in §4.2). This implementation uses the weighted form (collapsing to unweighted when all w_j are equal); if w_j are not provided, default to uniform weights w_j = 1/n. Formül: I_i = \sum_{j=1}^{n} w_j \cdot I_{ij} \quad \text{(reduces to } \sum_j I_{ij} \text{ when } w_j = 1/n \cdot n = 1) Anchor: Kahraman 2008 Ch.8 §3 Table 3 p.222 (unweighted); §4.2 p.230 (weighted form)
5. 5.Adım 5 (F5): Step 5: Rank alternatives in ascending order of I_i (smaller information content = greater certainty of satisfying the FRs = better alternative). The alternative with minimum I_i is selected as the best design (Suh's Information Axiom). Formül: i^{\star} = \arg\min_{i \in \{1,\dots,m\}} I_i Anchor: Kahraman 2008 Ch.8 §3 Table 5 p.225 (FMS-II selected, min I = 15.275); Suh 1990 Information Axiom

Commonly paired with

• •FUZZY-AHP + FUZZY-INFORMATION-AXIOM (common)

How to cite