Methods · Aggregation and voting
Schweizer-Sklar T-norm (Power-Based Parametric T-norm Family)
The Schweizer-Sklar t-norm is a family of combination rules built on power functions that reduces two fuzzy assessments to a single degree with a tightness set by a parameter p.
Base method's data type: Intuitionistic
What Is the Method?
The Schweizer-Sklar t-norm is a family of rules that combines two membership degrees, or the two components of an intuitionistic fuzzy number, and changes shape according to a p parameter set by the user. It is not a decision method in its own right: it runs the combination step inside methods such as the intuitionistic and q-rung orthopair fuzzy weighted average, where several experts' or several criteria's assessments are brought together. Its output is not a ranking but a single number, or a new membership–non-membership pair. Schweizer and Sklar (1960) defined the family in their work on statistical metric spaces; it was later treated systematically within the general theory of t-norms by Klement, Mesiar and Pap (2000), and used as an aggregation operator in q-rung orthopair fuzzy decision-making research (Gayen, Sarkar and Biswas, 2023).
The Philosophy Behind It
A t-norm answers one question: if two conditions are each satisfied to some degree, to what degree are both satisfied together? The Schweizer-Sklar family answers this question with a rule that transforms the two values through power functions, adds them, and then truncates any result that falls below zero back up to zero. The parameter p determines how sharp this truncation is. At p=1 the family equals the Łukasiewicz rule (the hardest rule, the one that truncates to zero most often); as p approaches zero it approaches ordinary multiplication; at negative values of p it turns into a rule looser and more "forgiving" than ordinary multiplication. In a decision context, this is the mathematics of being able to adjust how sharply the combination penalises a weak piece of evidence when one of two pieces of evidence is weak.
How It Works
The method proceeds through three steps.
First, choosing the parameter p. p can be any real number other than zero; at p=0 the rule reverts to ordinary multiplication. For example, for 0.6 and 0.7, taking p=1 (Łukasiewicz) gives a product of 0.3, markedly smaller than the ordinary product of the same two values, 0.42. Taking p=-1 gives a product of approximately 0.477, larger than the ordinary product.
Second, the Schweizer-Sklar product and sum. The two values are combined using the chosen p; if the intermediate result falls below zero, the combination is truncated to zero. The product rule corresponds to "AND" logic and the sum rule to "OR" logic. At p=1, the sum of 0.6 and 0.7 reaches exactly 1.0, showing that the Łukasiewicz sum is the rule that reaches the upper bound fastest.
Third, combining two intuitionistic fuzzy numbers. When two assessments are combined, the membership degrees are brought together with the Schweizer-Sklar sum and the non-membership degrees with the Schweizer-Sklar product. Depending on p, the combination sits anywhere across a wide range, from ordinary multiplication (p→0) to the Łukasiewicz rule (p=1), and the result remains a valid intuitionistic fuzzy number.
The formulas behind each step, the intermediate tables and the citation formats are given on the DecisionMind method page; this card carries no formulas.
How to Read the Output
The output of the Schweizer-Sklar t-norm is not, on its own, a decision result; it is an intermediate step inside a host method. The score derived from the output, membership minus non-membership, shows the overall direction of the combined evidence. This score can be compared only against other scores computed with the same parameter p. A score computed at p=-1 and one computed at p=1 may look as though they sit on the same scale, but they come from rules of entirely different tightness. The further p sits from zero, and especially the closer it sits to 1, the stronger the truncation-to-zero effect, and non-membership values can frequently drop to exactly zero; this does not mean "the combination is now free of any reservation," but is a consequence of the truncation rule, and should be explained in the report.
Thus instead of writing:
"The Schweizer-Sklar aggregation eliminated the reservation entirely"
the report should read:
"These assessments were reduced to the following scores under the Schweizer-Sklar rule with p=X; a non-membership value of zero does not mean the data carries no reservation, but reflects this p's truncation effect"
Data Type and Inputs
The Schweizer-Sklar t-norm works with intuitionistic fuzzy data: each assessment consists of a membership and a non-membership degree, and the two must not sum to more than 1. The same rule is used with q-rung orthopair fuzzy and Pythagorean fuzzy data types. DecisionMind has no separate extension for this building block. You need at least two intuitionistic fuzzy values and a choice of p (any real number other than zero). The Schweizer-Sklar t-norm neither requires nor produces weights; weighting is handled separately within whichever host method it runs inside.
When to Use It, When Not To
The Schweizer-Sklar t-norm is a sound choice if your data is intuitionistic or q-rung fuzzy and you want to adjust the hardness of the combination rule across a wide range, from ordinary multiplication to the Łukasiewicz rule. It should not be used in the following cases: if your data is crisp, a t-norm is unnecessary. If you intend to use a value of p very close to 0, the rule already reverts to ordinary multiplication, so a parametric family offers no additional benefit. If you have no justification for p and are tuning it by trial and error to pull the result in a desired direction, this distorts the purpose of the method. Take care not to confuse the parameter p with the q parameter of q-rung sets; the two are different things.
Intuitionistic fuzzy data, the hardness of the combination needs to be adjustable from ordinary multiplication to Łukasiewicz → the Schweizer-Sklar t-norm (p)
Same need, but an exponential product-sum curve (not power-based) is preferred → the Frank t-norm (s)
A fixed, single-point rule will do → the Einstein t-norm
Data is crisp, no combination rule is needed → a direct weighted average
Strengths
The Schweizer-Sklar t-norm's chief strength is its scope. A single parameter unites many well-known t-norms under one roof, from ordinary multiplication (p→0) to the Łukasiewicz rule (p=1). It is computed with a closed-form formula and requires no iteration. Applications exist in the q-rung orthopair fuzzy aggregation operator literature (Gayen, Sarkar and Biswas, 2023).
Weaknesses
Its limitations are the price of its flexibility. The choice of p mostly comes from the researcher's preference rather than from the data; the same data set can produce different rankings under different values of p (Xia, Xu and Zhu, 2012). Second, the truncation-to-zero rule (a negative intermediate result is taken as zero) kicks in frequently as p grows and can push non-membership values all the way to zero, which can mask the genuine reservation present in the data. Third, the formula becomes mathematically undefined at the boundary p=0 and a special limiting rule (ordinary multiplication) must be applied. Fourth, reports frequently give no justification for p, which makes the choice look arbitrary.
Common Mistakes
The most common mistake is using p=0 directly in the formula; the ordinary-multiplication limit should be used instead. A second mistake is confusing the parameter p with the q parameter of q-rung orthopair fuzzy sets; the two are entirely different quantities. A third mistake is mistaking the truncation of the result to zero, for small x and y values when p>0, for a calculation error; this is a natural consequence of the formula's max(0, …) rule, and truncation occurs frequently. A fourth mistake is comparing two results obtained with different values of p as though they were computed at the same "hardness."
The governing principle is this:
The Schweizer-Sklar t-norm does not fix an aggregation result but the hardness under which that result was produced; the choice of p, its justification, and any instances of truncation to zero must be recorded in the report.
Cases
Each case opens with a decision table and shows how combining the same intuitionistic fuzzy data with different values of p leads to a different outcome.
1. Method Validation: Combining the Same Data at p=1 and p=-1 (Schweizer and Sklar, 1960)
Taking two membership degrees, 0.6 and 0.7, in the family defined by Schweizer and Sklar (1960), at p=1 (Łukasiewicz) the product comes out at 0.3 and the sum at 1.0. The same two values combined at p=-1 give a product of approximately 0.477 and a sum of approximately 0.793. This is not a real decision case; it is the method's validation example, and the DecisionMind engine produces the same results.
Source: Klement, Mesiar and Pap (2000), Triangular Norms, Kluwer Academic Publishers (this book is cited as the source in the manifest's Block J record); no page number is given, the example is derived from the formula, and it serves as the validation example for DecisionMind's Schweizer-Sklar t-norm engine.
2. Librarianship: Combining at p=-1 in a Choice between Two Digital Library Systems
A university library must choose between two suppliers for its digital archive software. The information technology specialist and the librarian each assess the two systems with independent intuitionistic fuzzy scores.
| System | IT specialist (membership; non-membership) | Librarian (membership; non-membership) |
|---|---|---|
| A | 0.70; 0.05 | 0.30; 0.30 |
| B | 0.65; 0.25 | 0.65; 0.30 |
Combined with the algebraic rule (the p→0 limit), System A's pair comes out at (0.790; 0.015), score 0.775, and System B's pair at (0.878; 0.075), score 0.803, putting B ahead. The same opinions combined at p=-1 give System A (0.734; 0.045), score 0.689, and System B (0.788; 0.158), score 0.630, putting A ahead instead.
The result reads as follows: because p=-1 applies a looser product rule than ordinary multiplication, it also suppresses non-membership less; System B's high reservation in one of its two opinions (0.30) weighs more heavily under this looser rule and lowers B's score more than it does under the algebraic rule.
The library hesitates here. "B ahead" at p→0 becomes "A ahead" at p=-1; the choice of p changes the decision itself. The library must record in the report which p was used and why.
In the report: "Under the algebraic rule, System B (score 0.803) comes out ahead; under the p=-1 rule, System A (score 0.689) does; the library must record its choice of p and the justification for it."
3. Mining: Combining at p=0.6 in a Choice between Two Equipment Maintenance Firms
A mining company must decide which of two firms will provide maintenance for its heavy equipment. The field engineer and the safety officer each assess the two firms with independent intuitionistic fuzzy scores.
| Firm | Field engineer (membership; non-membership) | Safety officer (membership; non-membership) |
|---|---|---|
| A | 0.50; 0.30 | 0.65; 0.30 |
| B | 0.30; 0.15 | 0.80; 0.05 |
Combined with the algebraic rule (p→0), Firm A's pair comes out at (0.825; 0.090), score 0.735, and Firm B's pair at (0.860; 0.008), score 0.853, putting B clearly ahead. The same opinions combined at p=0.6 give Firm A (0.936; 0.000), score 0.936, and Firm B (0.938; 0.000), score 0.938. B is still ahead, but the gap falls from 0.118 to 0.002, a reduction of more than fifty-fold; both firms' non-membership is truncated to exactly zero at this value of p.
The result reads as follows: at p=0.6 the truncation-to-zero rule kicks in, and the two experts' moderate reservations (0.30 and 0.15) are lost entirely in the combination; this does not mean the reservation has genuinely disappeared, but is a consequence of the chosen p.
The company hesitates here. Whereas "B clearly ahead" could be said at p→0, "A and B practically equal" is the more accurate statement at p=0.6; moreover, the truncation of non-membership to zero at this value of p must be explained separately, so that the report does not give the false impression that there is "no reservation at all."
In the report: "Under the algebraic rule, Firm B leads clearly (score 0.853); under the p=0.6 rule, it leads only by a very small margin (score 0.938); non-membership values are truncated to zero at this value of p, and this must be stated in the report."
4. What Not to Do
Had p, in the librarianship case's table, been chosen after the results were seen in order to "favour A," this would amount to tuning p to the desired outcome rather than to the data; p must be fixed, with its justification, before the data is collected. A second error is reporting the zero non-membership values obtained at p=0.6 in the mining case as "both firms free of reservation"; this is a consequence of the truncation rule, not a fact about the data itself. A third error is using p=0 directly in the formula and hitting a division-by-zero error; the ordinary-multiplication limit should be used at p=0.
Sources
For the formulas behind each step, the intermediate tables and citation formats, see the DecisionMind method page: decisionmind.app/library/tnorm-schweizer-sklar
Schweizer, B., & Sklar, A. (1960). Statistical metric spaces. Pacific Journal of Mathematics, 10(1), 313-334. DOI: 10.2140/pjm.1960.10.313
Klement, E. P., Mesiar, R., & Pap, E. (2000). Triangular Norms. Kluwer Academic Publishers. DOI: 10.1007/978-94-015-9540-7
Gayen, S., Sarkar, A., & Biswas, A. (2023). Schweizer-Sklar operations based hybrid aggregation operator to dual hesitant q-rung orthopair fuzzy set and its application on MCGDM. Expert Systems, 40(7). DOI: 10.1111/exsy.13257
Xia, M., Xu, Z., & Zhu, B. (2012). Some issues on intuitionistic fuzzy aggregation operators based on Archimedean t-conorm and t-norm. Knowledge-Based Systems, 31, 78-88. DOI: 10.1016/j.knosys.2012.02.004