Didier Dubois

Jean-Luc Marichal

Henri Prade

Marc Roubens

Régis Sabbadin

The use of the discrete Sugeno integral in decision-making: a survey

Keywords: Sugeno integral, aggregation procedures, multi-criteria decision-making, decisionmaking under uncertainty

An overview of the use of the discrete Sugeno integral as either an aggregation tool or a utility function is presented in the qualitative framework of two decision paradigms: multi-criteria decision-making and decision-making under uncertainty. The parallelism between the representation theorems in both settings is stressed, even if a basic requirement like idempotency should be explicitely stated in multi-criteria decision-making, while its counterpart is implicit in decision under uncertainty by equating the utility of a constant act with the utility of its consequence. Important particular cases of Sugeno integrals such as prioritized minimum and maximum operators, their ordered versions, and Boolean max-min functions are studied.

Introduction

In most decision-making problems a global utility function is used to help the decision-maker (DM) make the "best" decision. Of course, the choice of such a global utility function is dictated by the behavior of the DM but also by the nature of the available information, hence by the scale type on which it is represented.

In this paper we deal with the treatment of data given on ordinal scales. Clearly, a meaningful utility function that aggregates ordinal values cannot take advantage of usual arithmetic operations, unless these operations involve only order. In such a context the socalled discrete Sugeno integral appears to be a potential candidate. We intend to discuss its use as a utility function, pointing out its "good" properties but also some of its drawbacks.

The use of the discrete Sugeno integral can be envisaged from two points of view: decision under uncertainty and multi-criteria decision-making. The two problems can be modeled in a very similar way: states of nature in decision under uncertainty correspond to criteria in the other problem. Hence the same mathematical tools apply to both problems, although they differ by particular aspects. For instance, the number of criteria is finite while the number of states of nature is often assumed to be infinite (even a continuum). The analogies between decision-making under uncertainty and multi-criteria evaluation have been noticed for a long time, but their systematic investigation is more recent and may lead to a cross fertilization. Dubois et al. [START_REF] Dubois | Relating decision under uncertainty and MCDM models[END_REF] have carried out a comparative study of both problems in the numerical setting of Choquet integral-based evaluations and in the qualitative setting of possibility measures. This has led to obtain a Choquet integral representation theorem in the setting of multi-criteria decision-making [START_REF] Modave | A Choquet integral representation in multicriteria decision making[END_REF][START_REF] Modave | Preference representation by the Choquet integral: the commensurability hypothesis[END_REF]. Fargier and Perny [START_REF] Fargier | Qualitative models for decision under uncertainty without the commensurability assumption[END_REF] have considered the case of purely ordinal theories, stemming from social choice, thus yielding a purely ordinal setting for decision under uncertainty (see also Dubois et al. [START_REF] Dubois | Qualitative possibility theory: from Savage axioms to non-monotonic reasoning[END_REF][START_REF] Dubois | Decision-making under ordinal preferences and comparative uncertainty[END_REF]). Here, the parallel between decision-making under uncertainty and multi-criteria evaluation is highlighted in the finitely-scaled setting, where a monotonic set function, ranging in a finite chain, is used either to qualify the uncertainty of events or the importance of groups of criteria.

The paper is organized as follows. In Section 2 we recall the definition of the Sugeno integral as well as some of its representations. In Section 3 we present the use of the Sugeno integral in two different decision frameworks: decision-making under uncertainty and multicriteria decision-making. Sections 4 and 5 are devoted to a presentation of some axiomatic characterizations of the Sugeno integral. In Section 6 we present some particular Sugeno integrals, such as the prioritized minimum and maximum. Finally, Section 7 deals with the concept of preferential independence and related properties.

The discrete Sugeno integral

We consider a finite set of n elements N = {1, . . . , n}. Depending on the application, these elements could be players in a cooperative game, criteria in a multi-criteria decision problem, states of nature in a problem of decision under uncertainty, attributes, experts, or voters in an opinion pooling problem, etc.

To define the Sugeno integral we need the concept of fuzzy measure [START_REF] Sugeno | Theory of fuzzy integrals and its applications[END_REF]. A fuzzy measure on N is a set function v : 2 N → [0, 1] satisfying the following conditions: i) v(∅) = 0, v(N ) = 1, ii) For any S, T ⊆ N , if S ⊆ T then v(S) ≤ v(T ) (monotonicity).

The range of function v is here arbitrarily chosen as the unit interval. In fact any set equipped with a linear ordering relation will do. For instance a finite chain.

In what follows we denote by F N the set of all fuzzy measures on N . We now introduce the concept of discrete Sugeno integral, viewed as an aggregation function from [0, 1] n to [0, 1]. For theoretical developments, see [START_REF] Grabisch | Fuzzy measure of fuzzy events defined by fuzzy integrals[END_REF][START_REF] Sugeno | Theory of fuzzy integrals and its applications[END_REF][START_REF] Sugeno | Fuzzy measures and fuzzy integrals: a survey[END_REF].

The Sugeno integral of a function x : N → [0, 1] with respect to v ∈ F N is defined by

S v (x) := n i=1 [x (i) ∧ v(A (i) )], (1)
where (•) is a permutation on N such that

x (1) ≤ • • • ≤ x (n)
. Also, ∧ := min, ∨ := max, and

A (i) := {(i), . . . , (n)}.
We see in this definition that the "coefficient" of each variable x i is fixed only by the permutation (•). For instance, if x 3 ≤ x 1 ≤ x 2 , we have, denoting a function by its image,

S v (x 1 , x 2 , x 3 ) = [x 3 ∧ v(3, 1, 2)] ∨ [x 1 ∧ v(1, 2)] ∨ [x 2 ∧ v(2)].
From the definition we immediately deduce that

S v (x) ∈ {x 1 , . . . , x n } ∪ {v(S) | S ⊆ N } (x ∈ [0, 1] n ).
Moreover, denoting by e S the characteristic vector of S ⊆ N in {0, 1} n , we have

S v (e S ) = v(S) (S ⊆ N ), (2)
showing that Sugeno integral is completely determined by its values at the vertices of the cube [0, 1] n . It was proved [START_REF] Greco | On L-fuzzy integrals of measurable functions[END_REF][START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF][START_REF] Sugeno | Theory of fuzzy integrals and its applications[END_REF] that Sugeno integral can also be put in the following form, which does not need the reordering of the variables:

S v (x) = T ⊆N v(T ) ∧ ( i∈T x i ) (x ∈ [0, 1] n ). (3)
However, this formulation involves 2 n terms instead of n.

The expressions (1) and (3), whose primary operation is ∨, are disjunctive forms. Using classical distributivity of ∧ and ∨, we can put the Sugeno integral in the following conjunctive forms, see [START_REF] Greco | On L-fuzzy integrals of measurable functions[END_REF][START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF]:

S v (x) = n i=1 [x (i) ∨ v(A (i+1) )] (x ∈ [0, 1] n ), S v (x) = T ⊆N v(N \ T ) ∨ ( i∈T x i ) (x ∈ [0, 1] n ).
It was also proved [START_REF] Kandel | Fuzzy sets, fuzzy algebra, and fuzzy statistics[END_REF] that Sugeno integral is a kind of "weighted" median. More precisely, we have

S v (x) = median[x 1 , . . . , x n , v(A (2) ), v(A (3) ), . . . , v(A (n) )] (x ∈ [0, 1] n ). (4)
For instance, if

x 3 ≤ x 1 ≤ x 2 then S v (x 1 , x 2 , x 3 ) = median[x 1 , x 2 , x 3 , v(1, 2), v(2)].
As an immediate corollary of (4), Sugeno integral is idempotent and

min i x i ≤ S v (x) ≤ max i x i (x ∈ [0, 1] n ).
Moreover, for any i ≥ 2,

x (i-1) < S v (x) < x (i) ⇒ S v (x) = v(A (i) ).
Another interesting formula is the following [START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF]. For any k ∈ N , we have

S v (x) = median[S v (x | x k = 1), S v (x | x k = 0), x k ] (x ∈ [0, 1] n ), (5)
where

x|x k = 1 denotes the modification of function x where k → x k is changed into k → 1.
For instance, if n = 2 and k = 2, we have

S v (x 1 , x 2 ) = median[S v (x 1 , 1), S v (x 1 , 0), x 2 ] = median[x 1 ∨ v(2), x 1 ∧ v(1), x 2 ].
As a consequence of (5), we have, for any S k,

v(S) < S v (x) < v(S ∪ {k}) ⇒ S v (x) = x k .
Before closing this section, we present an interesting result showing that the Sugeno integral is a very natural concept. First, the unit interval [0, 1] can be viewed as a totally ordered lattice with operations ∧ and ∨. Next, from the variables x 1 , . . . , x n ∈ [0, 1] and any constants r 1 , . . . , r m ∈ [0, 1], we can form a lattice polynomial P r 1 ,...,r m (x 1 , . . . , x n ) in the usual manner using ∧, ∨, and, of course, parentheses. Now, it can be proved [START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF] that if such a polynomial fulfills P r 1 ,...,r m (0, . . . , 0) = 0 and P r 1 ,...,r m (1, . . . , 1) = 1, then it is a Sugeno integral on [0, 1] n .

For example,

P r 1 ,r 2 (x 1 , x 2 , x 3 ) = ((x 1 ∨ r 2 ) ∧ x 3 ) ∨ (x 2 ∧ r 1 )
is a Sugeno integral on [0, 1] 3 . The corresponding fuzzy measure can be identified by (2).

Two decision paradigms

In the present section we present two main classes of decision problems: decision-making under uncertainty and multi-criteria decision-making. These decision paradigms present some remarkable similarities.

Decision-making under uncertainty

A decision-making problem under uncertainty is a 4-uple (N, X, A, ), where

• N = {1, . . . , n} is the set of the possible states of nature (more precisely, descriptions of such states),

• X is the set of the possible consequences of acts,

• A = X N is the set of potential acts, that is, the set of functions x : N → X,

• is a preference relation on A, supposed to be a complete preordering.

Note that this description actually corresponds to the framework of Savage [START_REF] Savage | The foundations of statistics[END_REF] but for the finiteness of the setting.

It is generally assumed that there is a utility function that describes the worth of the consequences in X, under the form of a function u : X → U , where U is a totally ordered set (in IR, in the usual decision theory). Similarly, it is assumed that there is a set function v : 2 N → V , where V is a totally ordered set as well, that describes the knowledge of the DM regarding the actual state of the world. v(S) is the likelihood of event S ⊆ N , according to the DM.

In the following we shall assume that the scales U and V are included in a larger totally ordered set L, so that it is possible to compare v(S) and u(x) for any S ⊆ N and x ∈ X. This assumption seems to be artificial, but it results from the existence of a complete ranking of acts, interpreting the elements of X as constant acts and the events as binary acts with extreme consequences. Now, given an aggregation function M v : L n → L, defined from a fuzzy measure v ∈ F N , the question then arises of finding a set of conditions on for the existence of a fuzzy measure v ∈ F N , describing the decision-makers' uncertainty about the state of affairs, and a utility function u : X → IR such that

x y ⇔ U v (x) ≥ U v (y) (x, y ∈ A),
where U v : A → L is a global utility function defined by

U v (x) := M v [u(x 1 ), . . . , u(x n )] (x ∈ A).

Multi-criteria decision-making

A multi-criteria decision-making problem is a triple (N, A, ), where

• N = {1, .
. . , n} is the set of the criteria to satisfy,

• A is the Cartesian product Π i∈N X i that corresponds to the set of alternatives, X i being the evaluation scale related to criterion i (i ∈ N ),

• is a preference relation on A.

Here again, given an aggregation function M v : L n → L, defined from a fuzzy measure v ∈ F N , one searches for a set of conditions on for the existence of a fuzzy measure v ∈ F N and n utility functions u i :

X i → IR (i ∈ N ) such that x y ⇔ U v (x) ≥ U v (y) (x, y ∈ A),
where U v : A → IR is a global utility function defined by

U v (x) := M v [u 1 (x 1 ), . . . , u n (x n )] (x ∈ A).
As we can see this paradigm is formally equivalent [START_REF] Dubois | Relating decision under uncertainty and MCDM models[END_REF][START_REF] Modave | Preference representation by the Choquet integral: the commensurability hypothesis[END_REF] to that of decision-making under uncertainty, except that here each weak order on X i (i ∈ N ) is independent of others, which requires the use of n utility functions u 1 , . . . , u n . In decision under uncertainty we had X i = X (i ∈ N ) and only one utility function u was needed.

Since we make the hypothesis that the evaluations along each criterion i ∈ N are qualitative by nature, we will assume that their utilities are evaluated on a finite ordinal scale

L i := {0 = l (i) 1 < • • • < l (i) k i = 1}
, and that the aggregated values M v [u 1 (x 1 ), . . . , u n (x n )] also lie in a finite ordinal scale

L := {0 = l 1 < • • • < l k = 1}.
Note that axiomatic characterizations of Sugeno integral were presented by Hougaard and Keiding [START_REF] Hougaard | Representation of preferences on fuzzy measures by a fuzzy integral[END_REF] in the framework of a cardinal scale and using a Von Neuman-Morgernstern approach, and by Sabbadin [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF][START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF] and Marichal [START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF][START_REF] Marichal | Consensus with ordinal data, 7th Eur[END_REF] in our context.

Axiomatic characterizations of Sugeno integral in the MCDM context

In this section we present some axiomatic characterizations of Sugeno integral. The first three are rather technical and have no interpretation as appealing properties in multi-criteria decision-making. Nevertheless, they are very simple to express.

Here and throughout we set

r := (r, . . . , r) (r ∈ [0, 1] n ),
and

xSy := i∈S x i e i + i / ∈S y i e i (x, y ∈ [0, 1] n ; S ⊆ N ),
where e i is the binary n-vector such that only its ith component is one.

Consider an aggregation function M : [0, 1] n → IR and the following properties:

• Increasing monotonicity (in the wide sense). For any x, x ∈ [0, 1] n , we have

x i ≤ x i (i ∈ N ) ⇒ M (x) ≤ M (x ).
• Idempotency. For any x ∈ [0, 1], we have M (x, . . . , x) = x.

• Non compensation. For any S ⊆ N and any r ∈ [0, 1], we have

M (rS0), M (1Sr) ∈ {M (1S0), r}.
• Weak minitivity and maxitivity. For any x ∈ [0, 1] n and any r ∈ [0, 1], we have

M (x ∧ r) = M (x) ∧ r and M (x ∨ r) = M (x) ∨ r.
• Comonotonic minitivity and maxitivity. For any x, x ∈ [0, 1] n such that

(x i -x j )(x i -x j ) ≥ 0 (i, j ∈ N )
we have

M (x ∧ x ) = M (x) ∧ M (x ) and M (x ∨ x ) = M (x) ∨ M (x ).
Then, we have the following three characterizations, see [START_REF] Marichal | Aggregation operators for multicriteria decision aid[END_REF][START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF].

Theorem 4.1 Let M : [0, 1] n → IR.
The following assertions are equivalent: i) M is increasing, idempotent, and non compensatory, ii) M is increasing and weakly minitive and maxitive, iii) M is increasing, idempotent, and comonotonic minitive and maxitive, iv) there exists v ∈ F N such that M = S v .

In the above characterizations, the existence of a fuzzy measure is not assumed beforehand. We now present a characterization of Sugeno integral as a function which depends upon a set function on N . In multi-criteria decision-making, the values of such a set function can be interpreted as the degrees of importance of the subsets of criteria.

First, let Σ N be the set of all set functions σ : 2 N → [0, 1], with σ(∅) = 0 and σ(N ) = 1. We do not assume that these set functions are monotone. For any such set function σ ∈ Σ N , we define the weighted max-min function W ∨∧ σ : [0, 1] n → IR associated to σ by (see [START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF])

W ∨∧ σ (x) = T ⊆N σ(T ) ∧ ( i∈T x i ) (x ∈ [0, 1] n ).
By Eq. ( 3), we see that any Sugeno integral is a weighted max-min function. Conversely, for any set function σ ∈ Σ N defining W ∨∧ σ , we have

W ∨∧ σ = W ∨∧ µ = S µ , where µ ∈ F N is defined by µ(S) = T ⊆S σ(T ) (S ⊆ N ).
Thus any weighted max-min function is also a Sugeno integral. Hence we have

{S µ | µ ∈ F N } = {W ∨∧ σ | σ ∈ Σ N }. Now, let L := {l 1 < • • • < l k }
be a finite ordinal scale with fixed endpoints l 1 := 0 and l k := 1. For each σ ∈ Σ N , we consider an aggregation function M σ : L n → L. Since L is an ordinal scale, the numbers that are assigned to it are defined up to an increasing bijection φ from [0, 1] onto itself. Thus, each function M σ should satisfy the following property (see Orlov [START_REF] Orlov | The connection between mean quantities and admissible transformations[END_REF]

): A function F : [0, 1] n → IR is comparison meaningful (from an ordinal scale) if for any increasing bijection ϕ : [0, 1] → [0, 1] and any n-tuples x, x ∈ [0, 1] n , we have F (x) ≤ F (x ) ⇔ F (ϕ(x)) ≤ F (ϕ(x )),
where the notation ϕ(x) means (ϕ(x 1 ), . . . , ϕ(x n )).

Starting from the idea that σ(S) should be equal to M σ (e S ) for all S ⊆ N , we will ask σ to range in L. Therefore, the mapping (x, σ) → M σ (x), viewed as a function from [0, 1] n+2 n -2 to IR, should be comparison meaningful. We then have the following characterization (see [START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF]).

Theorem 4.2 Let M be a set of functions M σ : [0, 1] n → IR (σ ∈ Σ N ) fulfilling the following three properties:

• there exist σ, σ ∈ Σ N and x, x ∈ [0, 1] n such that M σ (x) = M σ (x ), • M σ (x, . . . , x) = M σ (x, . . . , x) for all x ∈ [0, 1] and all σ, σ ∈ Σ N ,
• the mapping (x, σ) → M σ (x), viewed as a function from [0, 1] n+2 n -2 to IR, is continuous and comparison meaningful.

Then there exists a continuous and strictly monotonic function g : [0, 1] → IR such that

M ⊆ {g • S v | v ∈ F N } = {g • W ∨∧ σ | σ ∈ Σ N }. Conversely, for any such function g, the set {g • W ∨∧ σ | σ ∈ Σ N } is a candidate for M.
The second property mentioned in Theorem 4.2 can be interpreted as follows. When the partial evaluations of a given alternative do not depend on criteria then they do not depend on their importance neither. Note however that this property is used in the proof only at x = 0 and x = 1.

Regarding idempotent functions, we have the following result, which follows immediately from Theorem 4.2.

Theorem 4.3 Let M be a set of functions M σ : [0, 1] n → IR (σ ∈ Σ N ) fulfilling the following two properties: • M σ is idempotent for all σ ∈ Σ N , • the mapping (x, σ) → M σ (x), viewed as a function from [0, 1] n+2 n -2 to IR, is contin- uous and comparison meaningful. Then M ⊆ {S v | v ∈ F N } = {W ∨∧ σ | σ ∈ Σ N }. Conversely, the set {W ∨∧ σ | σ ∈ Σ N } is a candidate for M. Theorems 4.
3 brings a rather natural motivation for the use of the Sugeno integral as an aggregation function. Nevertheless, continuity may seem to be a questionable hypothesis in the sense that its classical definition uses a distance between aggregated values and relies on the cardinal properties of the arguments. Though continuity and comparison meaningfulness are not contradictory, coupling these two axioms sounds somewhat awkward since the latter one implies that the cardinal properties of the partial evaluations should not be used. Suppressing the continuity property or replacing it by a natural property such as increasing monotonicity remains a quite interesting open problem. Now we point out a property showing that the Sugeno integral can sometimes have a rather unpleasant behavior.

Proposition 4.1 Let v ∈ F N , S ⊆ N , r ∈ [0, 1], and y ∈ [0, 1] n . We have S v (rSy) = r y i > r ∀ i ∈ N ⇒ S v (rSz) = r for all z ∈ [0, 1] n such that z i ≥ r (i ∈ N )
and

S v (rSy) = r y i < r ∀ i ∈ N ⇒ S v (rSz) = r for all z ∈ [0, 1] n such that z i ≤ r (i ∈ N ).
However, this drawback is less due to the use of Sugeno integral proper, than to the use of a finite scale, that creates a limited number of classes of equally rated decisions, hence producing a coarse ranking. A second reason is the lack of compensation. The latter always occurs at some point in a finite scale, since if we consider any function f : L 2 → L and two consecutive levels l i and l i+1 , the property f (l i , l i+1 ) ∈ {l i , l i+1 } will always hold if, as in the case of Sugeno integral, min ≤ f ≤ max. An unpleasant consequence of this fact is that some optimal solutions to a problem in the sense of S v may fail to be Pareto-optimal. In order to cope with the defect pointed out in Proposition 4.1, a way out is to refine the ordering induced by Sugeno integral in a way similar to the way the rankings induced by the minimum (and the maximum) aggregation have been refined, using the discrimin, and the leximin orderings (see Dubois, Fargier, and Prade [START_REF] Dubois | Refinements of the maximin approach to decisionmaking in a fuzzy environment[END_REF][START_REF] Dubois | Beyond min aggregation in multicriteria decision: (ordered) weighted min, discri-min, leximin[END_REF]). This is a topic for further research.

Axiomatic characterizations of Sugeno integral in the context of decision-making under uncertainty

In the framework of expected utility theory several authors have proposed characterizations leading to the use of either the expected value or the so-called Choquet integral, see Savage [START_REF] Savage | The foundations of statistics[END_REF], Schmeidler [START_REF] Schmeidler | Integral representation without additivity[END_REF][START_REF] Schmeidler | Subjective probability and expected utility without additivity[END_REF], and Wakker [START_REF] Wakker | A behavioral foundation for fuzzy measures[END_REF]. However such characterizations always presuppose that the set of states and/or the set of consequences is infinite.

Since we are concerned with the treatment of qualitative information, we will assume that both sets are finite and the utility of each consequence is evaluated on a finite ordinal scale

L := {l 1 < • • • < l k } ⊂ IR,
that is, a scale which is unique up to order. Without loss of generality, we can embed this scale in the unit interval [0, 1] and fix the endpoints l 1 := 0 and l k := 1. This assumption enables us to consider the Sugeno integral as an aggregation function M v : L n → L.

In order to better understand the meaning of Sugeno integral in the setting of decisionmaking under uncertainty, consider a binary act of the form rSs, where r ∈ L, s ∈ L, r > s. Thus rSs is the act which yields a utility level r if S occurs and s otherwise. Then

S v (rSs) = s ∨ (r ∧ v(S)) = median(r, s, v(S)).
If we had chosen r < s then S v (rSs) = median(r, s, v(N \ S)). This evaluation of act rSs means the following. If the DM is confident enough in the occurrence of S (v(S) ≥ r > s) then S v (rSs) = r, the utility in case S occurs. If the confidence in S is not high enough (r > s ≥ v(S)) then the DM presupposes S will not occur and S v (rSs) = s, the utility in case S does not occur. If the confidence level is mild (r ≥ v(S) ≥ s) then the utility of rSs exactly reflects this confidence level.

It implies that the DM's attitude in front of uncertainty is entirely captured by the confidence function v. This is very different from expected utility where the attitude of the DM in front of risk is modeled by the shape of the utility function (concave if the DM is cautious).

A DM is said to be uncertainty-averse with respect to event S iff v(S) < n(v(N \ S)) where n is the order reversing map on L (n(t) = 1 -t if L = [0, 1]). Indeed the confidence relative to the occurrence of N \ S is evaluated by v(N \ S), but then n(v(N \ S)) is a natural evaluation of the confidence in S, as much as v(S) itself (in probability theory these evaluations coincide). The cautious evaluation of this confidence in S is v(S) ∧ n(v(N \ S)), generally. By convention, we assume that v(S), not n(v(N \ S)), qualifies the uncertainty relative to S, and the uncertainty averse DM relative to S selects a set function v such that v(S) < n(v(N \ S)). The uncertainty-aversion effect is easily understood by the fact that it is more difficult to get a high utility value with v(S) than with n(v(N \ S)). Note that if v expresses uncertainty aversion relative to S, it expresses the same relative to N \ S, namely

v(S) < n(v(N \ S)) ⇔ v(N \ S) < n(v(S)),
since n is an involutive function.

The contrary of an uncertainty-averse DM relative to S is an uncertainty-prone DM, for whom v(S) > n(v(N \ S)). If v(S) = n(v(N \ S)) then the DM is uncertainty-neutral w.r.t. S. Choosing a set function v such that v(S) ≤ n(v(N \ S)) for all S models a DM who is uncertainty-averse (for all events). Examples of set functions modeling such attitudes are lower probabilities, belief functions, or necessity measures. Set functions modeling a systematic decision-prone attitude are for instance upper probabilities, plausibility functions, and possibility measures. Among them, only possibility and necessity functions make sense in the ordinal setting.

In the following we assume that

• The set X N of acts is equipped with a complete preordering structure . (Savage's first axiom). Then the scale L can be viewed as the quotient set X N / ∼ w.r.t. the equivalence relation induced by . The use of an L-valued aggregation function M v ensures this.

• This ordering is not trivial, that is: ∃ x, y, x y (Savage's fifth axiom), that is

M v (x) > M v (y).
It is easy to check that Sugeno's integral verifies the following property: let S be any subset of N and z ∈ X N . Let r and s be constant acts, then Sugeno integral satisfies

(CCA) : r ≥ s ⇒ S v (rSz) ≥ S v (sSz) ∀ z ∈ X N ,
(coherence w.r.t. constant acts). (CCA) is a weak version of Savage's third axiom.

The following result can be obtained [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF]:

Proposition 5.

If an aggregation function M v , which ensures a non trivial complete preordering of acts verifies CCA then it is increasingly monotonic. Moreover the set function is also monotonic w.r.t. set inclusion (letting v(S)

= M v (e S )
, where e S = 1S0.)

Now we shall describe two properties that sound natural in the face of a one-shot act, that is an act that is not supposed to be repeated. For such acts, the evaluation of utility of a decision hardly admits any form of compensation since the actual utility is the utility of the consequence actually obtained in the state of affairs that prevailed when the decision was applied. Especially in the face of total ignorance (modeled by v(S) = v(N \S) = 0 ∀ S = N for an uncertainty-averse DM, and v(S) = v(N \ S) = 1 ∀S = ∅ for an uncertaintyprone DM) the utility of an act x will be min i u(x i ) (uncertainty-aversion) or max i u(x i ) (uncertainty-prone).

For instance, suppose you are asked to toss a coin only once and that obtaining heads makes you win 100 Euros while getting tails makes you lose 100 Euros. Suppose the die is fair. Since you play only once, it is strange to assume that you can get anything but win or lose 100 Euros out of that game. Assuming the utility of +100 equals 1 while that of -100 is 0, it would be strange to claim that, in the front of ignorance the utility of that single-shot game is anything but 0 (uncertainty averse) or 1 (uncertainty-prone).

Suppose a constant act r and two acts y, z ∈ X N . Suppose y z and r z. Let y ∧ r be the act such that its ith component is y i ∧ r. In the face of a single-shot act, it is very natural to admit that y ∧ r > z (restricted conjunctive dominance). Indeed in any state of nature, the DM expectations if choosing act y ∧ r will always be greater than z in a one-shot setting. Hence the aggregation function should satisfy

(RCD) : M v (r) > M v (z) and M v (y) > M v (z) implies M v (r ∧ y) > M v (z) .
A similar reasoning leads to find it natural to obey the dual property (restricted disjunctive dominance)

(RDD) : M v (z) > M v (r) and M v (z) > M v (y) implies M v (z) > M v (r ∨ y) ,
where r ∨ y has its ith component equal to r ∨ y i . Indeed selecting the best consequences of two acts dominated by z cannot lead to overrule this act z in a one-shot setting. Now we can prove the following proposition [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF][START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF]:

Proposition 5.2 If M v is

increasing and satisfies both (RCD) and (RDD) then it is both weakly minitive and maxitive.

Dubois, Prade, and Sabbadin [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF] have proved the following theorem.

Theorem 5.1 (Axiomatization of Sugeno integral as a qualitative utility) Let be a preference relation between acts which is complete, transitive, non trivial, and satisfies (CCA), (RCD), (RDD).

Then there is a finite chain L, a utility function u on X , and a L-valued monotonic set function v on N such that

x y ⇔ S v (x) ≥ S v (y)
where

S v (x) = x i ∈X [u(x (i) ) ∧ v(A (i) )].
Clearly, due to the above discussion, this result is the exact counterpart of Theorem 4.1 reduced to ii) and iv).

Another axiomatization of Sugeno integral as a qualitative utility has been proposed by Sabbadin [START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF], replacing (RCD) and (RDD) by two simpler, if actually more restrictive, axioms. The first axiom is non compensation. It expresses the requirement that the utility of a binary act rSs with r > s is either u(r), u(s), or v(S). As explained earlier, this is very natural in the scope of one-shot decision under uncertainty. Then the DM can only expect from act rSs to receive r, or s, and if the DM uncertainty is not extreme, the utility of rSs reflects the confidence in S. However this property goes along with a presupposition that v(S) and u(r), u(s) can be compared and are evalued on the same scale. In the scope of decision under uncertainty this is a trivial consequence of the assumption that all acts can be compared, since comparing v(S) and u(r) comes down to comparing a constant act r and a binary act 1S0 = e S , that is, comparing a sure gain with a simple bet with extreme consequences.

The second axiom is that of the existence of a certainty equivalent to any simple bet 1S0, namely CE : ∀S ∃ x i ∈ X, 1S0 ∼ x i , which means v(S) = u(x i ). Then the representation theorem for qualitative utility described by Sugeno integral is still valid if the conditions (RCD) and (RDD) are changed into non-compensation and the existence of a certainty-equivalent for each binary act 1S0 (CE). However the latter axiom, v(S) = u(x i ) for some i, is maybe more restrictive than necessary, since commensurateness between uncertainty and utility just means ∀S, ∃i, u(x i-1 ) ≤ v(S) ≤ u(x i ). Hence the (CE) assumption implies that the scale of utilities has not more levels than elements in X. On the contrary the former axiomatization allows for as many as |X ∪ 2 N | levels.

Actually, it can be shown that the (CE) axiom can be dropped and Sugeno integral can be axiomatized using the non trivial complete ordering assumption on acts, (CCA), and non compensation only. Comparing to Theorem 4.1, notice that the idempotence assumption is not explicitly made. However, it is always implicit in the setting of Savage where the utility of a constant act is equated to the utility of the corresponding consequence (M σ (r) = r).

Particular Sugeno integrals

In this section we present some subfamilies of the class of Sugeno integrals, namely the prioritized maximum and minimum, the ordered prioritized maximum and minimum, and the Boolean max-min functions. We also discuss their relevance for the two decision-making paradigms.

Prioritized maximum and minimum operators

The minimum and maximum operators have been extended by Dubois and Prade [START_REF] Dubois | Weighted minimum and maximum operators in fuzzy set theory[END_REF] in a way which is consistent with possibility theory: the prioritized minimum (pmin) and maximum (pmax).

Using the concept of possibility and necessity of fuzzy events [START_REF] Dubois | Théorie des possibilités. Application à la représentation des connaissances en Informatique[END_REF][START_REF] Zadeh | Fuzzy sets as a basis for a theory of possibility[END_REF], one can evaluate the possibility that a relevant goal is attained, and the necessity that all the relevant goals are attained by the help of pmin and pmax operators. The formal analogy with the weighted arithmetic mean is obvious.

For any vector ω

= (ω 1 , . . . , ω n ) ∈ [0, 1] n such that n i=1 ω i = 1,
the prioritized maximum operator pmax ω associated to ω is defined by

pmax ω (x) = n i=1 (ω i ∧ x i ), x ∈ [0, 1] n .
For any vector ω = (ω 1 , . . . , ω n ) ∈ [0, 1] n such that n i=1 ω i = 0, the prioritized minimum operator pmin ω associated to ω is defined by

pmin ω (x) = n i=1 (ω i ∨ x i ), x ∈ [0, 1] n .
The operator pmax ω is a Sugeno integral S v such that

v(T ) = i∈T ω i (T ⊆ N ).
In this case, v represents a possibility measure Π, which is characterized by the following property:

Π(S ∪ T ) = Π(S) ∨ Π(T ) (S, T ⊆ N ).
Similarly, pmin ω is a Sugeno integral S v such that

v(T ) = i∈N \T ω i (T ⊆ N ).
In this case, v represents a necessity measure N , which is characterized by the following property:

N (S ∩ T ) = N (S) ∧ N (T ) (S, T ⊆ N ).
As particular Sugeno integrals, the prioritized minimum and maximum operators can be characterized as follows, see [START_REF] Dubois | Weighted minimum and maximum operators in fuzzy set theory[END_REF][START_REF] Marichal | Aggregation operators for multicriteria decision aid[END_REF][START_REF] Ralescu | Fuzzy integral representation[END_REF] . Proposition 6.1 Let v ∈ F N . The following three assertions are equivalent: i) v is a possibility measure ii) there exists ω

∈ [0, 1] n such that S v = pmax ω iii) S v (x ∨ x ) = S v (x) ∨ S v (x ) for all x, x ∈ [0, 1] n .
The following three assertions are equivalent:

iv) v is a necessity measure v) there exists ω ∈ [0, 1] n such that S v = pmin ω vi) S v (x ∧ x ) = S v (x) ∧ S v (x ) for all x, x ∈ [0, 1] n .
Properties iii) and vi) can be justified indirectly in the setting of decision under uncertainty. When the set function is a necessity measure (resp. a possibility measure), the DM is systematically uncertainty-averse (resp. uncertainty-prone). Uncertainty aversion is modeled in terms of acts by means of a pessimism axiom that reads as follows [START_REF] Dubois | Decision-theoretic foundations of possibility theory[END_REF][START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF]:

(PES) : ∀x, y, ySx x ⇒ x xSy .
This axiom sounds reasonable for a systematic uncertainty-averse DM. Indeed, if ySx x it means that changing x i into y i for i ∈ S improves the situation for the DM. The reason why it improves the situation is that overall y is better than x if S does occur, and moreover, the DM considers it sure enough that S will occur, otherwise DM would neglect y as being implausibly obtained. Now when DM considers xSy, then y will be neglected. Indeed since DM considers the occurrence of S sure enough, (s)he considers the occurrence of its complement rather impossible, and will not focus on consequences of states where S does not occur. So xSy does not improve the situation w.r.t. x. Now it can be established [START_REF] Dubois | Decision-theoretic foundations of possibility theory[END_REF][START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF] that if axiom (PES) is satisfied by an increasing aggregation

M v then if z = x ∧ y then M v (z) = M v (x) or M v (z) = M v (y)
which obviously implies the minitivity property for M v . Hence the representation theorem for non trivial complete preorderings on acts obeying (CCA), (RDD), and (PES) in terms of a prioritized minimum (involving a necessity measure for capturing the attitude of the DM in front of uncertainty) is closely related to the second part of Proposition 6.1.

A similar remark for the prioritized maximum can be made. In this case the uncertaintyprone DM may use a preference relation on acts satisfying an optimism axiom (OPT) : ∀x, y, x ySx ⇒ xSy x .

Here, changing x into y when S occurs depreciates the act. For the optimistic DM, it means that y is less attractive than x and that s(he) considers S as fully possible; now when evaluating xSy, DM considers that since S is possible, (s)he still expects the benefits offered by consequence x when S occurs, regardless of y which is obtained if S does not occur. Indeed either y is less attractive than x, and DM relies on S occuring, so xSy x holds, or y is more attractive than x; hence xSy x in any case. Similarly to the pessimistic case, if (OPT) is satisfied by [START_REF] Dubois | Decision-theoretic foundations of possibility theory[END_REF][START_REF] Sabbadin | Une approche ordinale de la décision dans l'incertain: axiomatisation, représentation logique et application à la décision séquentielle[END_REF], hence M v is maxitive, hence v is a possibility measure and the prioritized maximum is retrieved with the assumptions of Proposition 6.1.

M v , then if z = x ∨ y, it follows that M v (z) = M v (x) or M v (z) = M v (y)
It should be noted that the prioritized maximum and minimum were originally introduced as "weighted maximum and minimum", where the term "weighted" is used by analogy with the weighted average. However, it is more natural to call these operations "prioritized maximum and minimum". Indeed they are useful in the handling of constraint priority in fuzzy constraint satisfaction problems (see [START_REF] Dubois | Possibility theory in constraint satisfaction problems: Handling priority, preference and uncertainty[END_REF]).

Ordered prioritized maximum and minimum operators

For any vector ω = (ω 1 , . . . , ω n ) ∈ [0, 1] n such that 1 = ω 1 ≥ . . . ≥ ω n , the ordered prioritized maximum operator [START_REF] Dubois | Weighted fuzzy pattern-matching[END_REF] opmax ω associated to ω is defined by

opmax ω (x) = n i=1 (ω i ∧ x (i) ), x ∈ [0, 1] n .
For any vector ω = (ω 1 , . . . , ω n ) ∈ [0, 1] n such that ω 1 ≥ . . . ≥ ω n = 0, the ordered prioritized minimum operator opmin ω associated to ω is defined by

opmin ω (x) = n i=1 (ω i ∨ x (i) ), x ∈ [0, 1] n .
In this definition the inequalities ω 1 ≥ . . . ≥ ω n and ω 1 ≥ . . . ≥ ω n are not restrictive. Indeed, if there exists i ∈ {1, . . . , n -1} such that ω i ≤ ω i+1 and ω i ≤ ω i+1 then we have

(ω i ∧ x (i) ) ∨ (ω i+1 ∧ x (i+1) ) = ω i+1 ∧ x (i+1) , (ω i ∨ x (i) ) ∧ (ω i+1 ∨ x (i+1) ) = ω i ∨ x (i) .
This means that ω i can be replaced by ω i+1 in opmax ω and ω i+1 by ω i in opmin ω .

Dubois et al. [START_REF] Dubois | Weighted fuzzy pattern-matching[END_REF] used the ordered prioritized maximum (opmax) and minimum (opmin) for modeling soft partial matching. The basic idea of opmax (and opmin) is the same as in the OWA operator introduced by Yager [START_REF] Yager | On ordered weighted averaging aggregation operators in multicriteria decision making[END_REF]. That is, in both papers coefficients are associated with a particular rank rather than a particular element. The main difference between OWA and opmax (and opmin) is in the underlying non-ordered aggregation operation. OWA uses weighted arithmetic mean while opmax and opmin apply prioritized maximum and minimum. At first glance, this does not seem to be an essential difference. However, Dubois and Prade [START_REF] Dubois | Weighted minimum and maximum operators in fuzzy set theory[END_REF] proved that opmax and opmin are equivalent to the median of the ordered values and some appropriately chosen additional numbers used instead of the original weights.

The operator opmax ω is a Sugeno integral S v such that

v(T ) = ω n-|T |+1 (T ⊆ N, T = ∅).
Thus, v(T ) only depends on the cardinality of T . Similarly, the operator opmin ω operator is a Sugeno integral S v such that

v(T ) = ω n-|T | (T ⊆ N, T = N ).
The next proposition [START_REF] Marichal | Aggregation operators for multicriteria decision aid[END_REF][START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF] shows that any ordered prioritized maximum operator can be put in the form of an ordered prioritized minimum operator and conversely. Proposition 6.2 Let ω and ω be weight vectors defining opmax ω and opmin ω respectively. We have

opmin ω = opmax ω ⇔ ω i = ω i+1 ∀i ∈ {1, . . . , n -1}.
Using (4), we can also see that, for all x ∈ [0, 1] n , opmax ω (x) = median(x 1 , . . . , x n , ω 2 , . . . , ω n ), opmin ω (x) = median(x 1 , . . . , x n , ω 1 , . . . , ω n-1 ).

Finally, we have the following characterization [START_REF] Grabisch | On equivalence classes of fuzzy connectives : the case of fuzzy integrals[END_REF][START_REF] Marichal | Aggregation operators for multicriteria decision aid[END_REF].

Proposition 6.3 Let v ∈ F N .
The following assertions are equivalent: i) v depends only on the cardinality of subsets ii) there exists ω ∈ [0, 1] n such that S v = opmax ω iii) there exists ω ∈ [0, 1] n such that S v = opmin ω iv) S v is a symmetric function.

Ordered prioritized maximum and minimum have not been very much considered for decision-making under uncertainty. However it is interesting to consider what this utility function may mean. Clearly the uncertainty function depends only on the cardinality of events. This form of uncertainty function expresses some kind of ignorance, since all states will be equally plausible, as well as each pair of states, each k-uple of states. So the symmetry of the utility function w.r.t. the states reflects a situation where the DM cannot discriminate among states. Since there are many such set functions (contrary to the probabilistic and the possibilistic cases where v is then respectively the uniform probability or possibility) it may be interesting to try and describe the type of uncertainty they capture. This is a topic of further research.

Boolean max-min functions

When the fuzzy measure v is {0, 1}-valued, the Sugeno integral S v becomes a Boolean max-min function [START_REF] Marichal | On Sugeno integral as an aggregation function[END_REF], also called a lattice polynomial [START_REF] Ovchinnikov | Invariant functions on simple orders[END_REF]. Thus, its definition is the following.

For any non-constant set function c : 2 N → {0, 1} such that c(∅) = 0, the Boolean max-min function B ∨∧ c : [0, 1] n → [0, 1], associated to c, is defined by

B ∨∧ c (x) := T ⊆N c(T ) i∈T x i = T ⊆N c(T )=1 i∈T x i .
In this subsection we investigate this particular Sugeno integral. First, we can readily see that any Boolean max-min function always provides one of its arguments. Moreover, we have the following results [START_REF] Marichal | Aggregation operators for multicriteria decision aid[END_REF][START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF]. For any k ∈ N , the Sugeno integral on [0, 1] n defined from the Dirac measure associated with k, that is, the {0, 1}-valued fuzzy measure v ∈ F N defined by v(T ) = 1 if and only if T k, is called a "dictatorial" Sugeno integral. In that case, we have

S v (x) = x k (x ∈ [0, 1] n ).
This particular type of Boolean max-min functions will play an important role in the next section.

Preferential independence and related properties

The key property in the classical decision theory under uncertainty is the "independence" condition that requires separability of preferences across disjoint states of nature. It was originally introduced by Marschak [START_REF] Marschak | Rational behavior, uncertain prospects, and measurable utility[END_REF] and Nash [START_REF] Nash | The bargaining problem[END_REF] as clearly pointed out by Fishburn and Wakker [START_REF] Fishburn | The invention of the independence condition for preferences[END_REF]. This property can be expressed in two equivalent ways: Properties (MI)≡(CI) and (WS) will now be presented in weaker terms as follows:

• Directional mutual independence (DMI) is satisfied for if, for any alternatives x, y, z, t ∈ A, xSz ySz ⇒ xSt ySt [START_REF] Dubois | Théorie des possibilités. Application à la représentation des connaissances en Informatique[END_REF] for any S ⊆ N , where represents the asymmetric part of (see also [START_REF] Dubois | Decision-theoretic foundations of possibility theory[END_REF] and [31, p.78]).

• Directional coordinate independence (DCI) corresponds to [START_REF] Dubois | Théorie des possibilités. Application à la représentation des connaissances en Informatique[END_REF] where S is restricted to N \ {k} for any k ∈ N .

• Directional weak separability (DWS) if ( 7) is restricted to S = {k} for any k ∈ N .

It is clear that (DMI)⇒(DCI) and (DMI)⇒(DWS).

We also obtain an interesting result:

Proposition 7.1 If a Sugeno integral represents then the preference relation is directionally weakly separable (DWS) but violates directional coordinate independence (DCI).

For particular Sugeno integrals as the prioritized maximum and minimum operators and the ordered prioritized maximum and minimum operators we obtain stronger results expressed in the following proposition: Proposition 7.2 i) If opmax ω or opmin ω represents , the preference relation is directionally coordinate independent (DCI) but violates directional mutual independence (DMI). ii) If pmax ω or pmin ω represents , the preference relation satisfies the directional mutual independence (DMI) but violates mutual independence (MI).

These results may sound paradoxical or counter-intuitive. However the main reason for the violation of independence by Sugeno integral is due to the fact that for monotonic set functions one may have v(S) > v(S ) and v(S ∪ T ) < v(S ∪ T ) , [START_REF] Dubois | Weighted minimum and maximum operators in fuzzy set theory[END_REF] where T ∩ (S ∪ S ) = ∅. Note that this situation can easily be encountered for belief functions and plausibility functions of Shafer. So one must be careful before discarding set functions for which (8) can be observed. The failure of preferential independence of Sugeno integral in the MCDM context is the counterpart of the failure of the Sure thing principle in the decision under uncertainty framework. This lack of independence is much more drastic than for Choquet integral, since in the latter, independence is only restricted to special situations.

In decision under uncertainty frameworks, the failure of independence for Sugeno integral has two consequences. First, conditional preference is difficult to study, which may make the modeling of rational decisions more difficult in a dynamic context when new information is obtained by the DM. Moreover, given constant acts r, s, r , s , with r > s and r > s , only the weak stability property holds for Sugeno integral : S v (rSs) > S v (rT s) ⇒ S v (r Ss ) ≥ S v (r T s ), [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF] for two events S, T . Hence there is ambiguity as to how the uncertainty relation on acts can be defined from binary acts. Fortunately, if r > r > s > s , then [START_REF] Dubois | Qualitative decision theory with Sugeno integrals[END_REF] holds with a strict inequality on the right-hand side. It leads us to define v(S) as the utility of the act 1S0, with extreme consequences, because it induces the most refined confidence relation between events understood as binary acts rSs. How to define the conditioning of confidence relations (hence of fuzzy measures) in this context is still an open problem.

Conclusions

Sugeno integral really appears as the natural counterpart of the Lebesgue and Choquet integrals in the ordinal setting. This paper strongly suggests that it may be useful as a tool for decision under uncertainty as well as for multi-criteria decision-making. However more insight is needed in order to actually use such a tool in concrete situations.

From the point of view of multi-criteria decision-making, it would be useful to characterize in a transparent way the range of aggregation operations it covers, so as to figure out the expressive power of the ordinal approach. Moreover, the practical use of this ordinal approach is totally conditioned on the possibility of laying bare suitable finite scales for each criterion and their commensurate union into a single value-scale. How to achieve this in practice is far from obvious and requires that suitable questions be asked to the DM so as to get some commensurability landmarks relating the criteria.

In the scope of decision-making under uncertainty the major issue is the proper definition of conditioning, for the purpose of dynamic decision-making.

Lastly, in both settings, the potential lack of Pareto-optimality of best solutions, due to the coarseness of the finite scale setting, should be addressed through a suitable refinement of classes of equivalent decisions [START_REF] Dubois | Refinements of the maximin approach to decisionmaking in a fuzzy environment[END_REF][START_REF] Fargier | Can qualitative utility criteria obey the sure thing principle?[END_REF].

Proposition 6 . 4 Theorem 6 . 1

 6461 Consider a function M : [0, 1] n → IR. The following assertions are equivalent: i) there exists a set function c : 2 N → {0, 1} such that M = B ∨∧ c ii) there exists a {0, 1}-valued v ∈ F N such that M = S v iii) there exists v ∈ F N such that M = S v and M (x) ∈ {x 1 , . . . , x n } (x ∈ [0, 1] n ) iv) M is continuous, idempotent, and comparison meaningful. The function M : [0, 1] n → IR is non-constant, continuous, and comparison meaningful if and only if there exists a set function c : 2 N → {0, 1} and a continuous and strictly monotonic function g : [0, 1] → IR such that M = g • B ∨∧ c .

•

  Conjoint independence or mutual independence (MI) is satisfied for a binary relation on the Cartesian product A = Π i∈N X i if, for any alternatives x, y, z, t ∈ A, These properties are obviously violated if a Sugeno integral is used as a representation of .Weak separability (WS) is a weaker concept of independence and corresponds to the restriction of (6) to S = {k} for any k ∈ S. With the use of relation[START_REF] Dubois | Beyond min aggregation in multicriteria decision: (ordered) weighted min, discri-min, leximin[END_REF], we get the following result[START_REF] Marichal | An axiomatic approach of the discrete Sugeno integral as a tool to aggregate interacting criteria in a qualitative framework[END_REF]: Theorem 7.1 If is a weakly separable weak order then the Sugeno integral that represents is dictatorial, namely it is based on a Dirac measure.

	xSz ySz ⇔ xSt ySt	(6)
	for any S ⊆ N .
	• Coordinate independence (CI) is satisfied for	if relation (6) is restricted to S =
	N \ {k}, for any k ∈ N .

Acknowledgements

The paper was prepared during a one-month visit of Jean-Luc Marichal at the "Institut de Recherche en Informatique de Toulouse" (University Paul Sabatier, Toulouse), in the framework of the TOURNESOL project. This opportunity is greatly acknowledged.