Interactive visualization showing that classical worst-case structural analysis is mathematically identical to fuzzy set theory and the lattice-theoretic conjunction of multivalued logic. Illustrated on a five-bar plane truss with loads P₁ (horizontal) and P₂ (vertical).
| Bar | Members | Force \(N_i\) | Status |
|---|---|---|---|
| 1 | A–C | \(N_1 = 0\) | zero-force |
| 2 | A–B | \(N_2 = -P_1\) | active |
| 3 | C–B | \(N_3 = \sqrt{2}\,P_1\) | active |
| 4 | A–D | \(N_4 = 0\) | zero-force |
| 5 | B–D | \(N_5 = -(P_1+P_2)\) | active |
Bar 4 is zero-force because node D has no horizontal reaction (roller support), forcing N₄ = 0 from x-equilibrium at D. Bar 1 then follows from y-equilibrium at A. The three active bars are 2, 3, and 5.
Every concept in classical structural safety has an exact counterpart in fuzzy set theory and in lattice-theoretic many-valued logic. No probabilistic assumptions are required — the equivalence is a direct algebraic consequence of the safety margin definition.
| Structural Mechanics | Fuzzy Algebra | Many-Valued Logic (Gödel/Zadeh) |
|---|---|---|
|
Safety margin \(\mathrm{SM}_i(P_1,P_2) \in [0,1]\) |
Membership function \(\mu_i(P_1,P_2)\) |
Degree of truth of "bar \(i\) is safe" |
|
Safety factor condition \(SF_{\mathrm{req}} = \dfrac{1}{1-\alpha}\) |
\(\alpha\)-cut level \(\alpha = 1 - \dfrac{1}{SF_{\mathrm{req}}}\) |
Acceptance threshold \(\text{truth} \geq \alpha\) |
|
Allowable force domain \(|N_i(P)| \leq (1-\alpha)\,A\,\sigma_{\max}\) |
\(\alpha\)-cut of safety fuzzy set \([\tilde{S}_i]_\alpha = \{P \mid \mathrm{SM}_i(P) \geq \alpha\}\) |
Set of sufficiently true instances at level \(\alpha\) |
|
Global worst-case analysis \(\mathrm{SM} = \min\{\mathrm{SM}_2,\, \mathrm{SM}_3,\, \mathrm{SM}_5\}\) |
Fuzzy intersection (min t-norm) \(\mu_{\mathrm{safe}} = \bigcap_i \mu_i\) |
Lattice conjunction (Gödel) \(p \wedge q = \min(p,\, q)\) |
|
Equilibrium map \(N_i = N_i(P_1, P_2)\) |
Extension principle (Zadeh) \(\mu_N(n) = \sup_{\{P\,:\,N(P)=n\}} \mu_P(P)\) |
Function extension to graded arguments |
|
Equilibrium constraints \(N_1 = 0,\quad N_4 = 0\) (zero-force members) |
Dependency resolution in fuzzy / interval arithmetic |
Shared variables in compound truth formulas |
|
Degree of structural safety \(\mu(P_1,P_2) = \mathrm{SM}(P_1,P_2)\) |
Physically derived membership function (no heuristic choices) |
Graded truth value of "structure is safe" |
Note: The conjunction used here is the Gödel/Zadeh min-conjunction (idempotent lattice meet), which coincides with classical Boolean AND on \(\{0,1\}\). This is distinct from the strong Łukasiewicz t-norm \(\max(0,\, p+q-1)\), which is non-idempotent.
The intersection of all three strips is the global \(\alpha\)-cut — the hexagonal region of load combinations for which the entire structure is safe to degree \(\geq \alpha\). This is the \(\alpha\)-cut of the fuzzy safety set, and simultaneously the allowable design domain for safety factor \(SF = 1/(1-\alpha)\).
The condition \(\mathrm{SM}_i(P) \geq \alpha\) is algebraically identical to the allowable-force condition \(|N_i| \leq (1-\alpha)\,A\,\sigma_{\max}\). Choosing safety factor \(SF_{\mathrm{req}}\) corresponds to \(\alpha = 1 - 1/SF_{\mathrm{req}}\). E.g. \(SF = 2 \Rightarrow \alpha = 0.5\); \(SF = 4 \Rightarrow \alpha = 0.75\).
The global safety margin \(\mathrm{SM} = \min\{\mathrm{SM}_2, \mathrm{SM}_3, \mathrm{SM}_5\}\) is the standard Gödel/Zadeh fuzzy intersection — the idempotent lattice-meet t-norm. It recovers classical Boolean AND on \(\{0,1\}\) and is the natural conjunction for interpretable safety models.
\(\mu(P_1,P_2) = \mathrm{SM}(P_1,P_2)\) is a fully interpretable, physically derived degree of truth for the proposition "the structure is safe." No heuristic membership shape is assumed — the function emerges from equilibrium mechanics.