Next Article in Journal
Preface to the Special Issue “Mathematical Modeling in Industrial Engineering and Electrical Engineering”—Special Issue Book
Previous Article in Journal
Speed Fluctuation Suppression Strategy of Servo System with Flexible Load Based on Pole Assignment Fuzzy Adaptive PID
Previous Article in Special Issue
On Balanced Host Games: A Sufficient Condition for Non-Emptiness of the Core
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Shapley Mapping and Its Axiomatizations in n-Person Cooperative Interval Games

1
School of International Liberal Studies (SILS), Waseda University, 1-6-1 Nishiwaseda, Shinjuku-ku, Tokyo 169-8050, Japan
2
Waseda Institute of Political Economy (WINPEC), Waseda University, 1-6-1 Nishiwaseda, Shinjuku-ku, Tokyo 169-8050, Japan
3
Independent Researcher, Tokyo 130-0024, Japan
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(21), 3963; https://doi.org/10.3390/math10213963
Submission received: 22 September 2022 / Revised: 19 October 2022 / Accepted: 19 October 2022 / Published: 25 October 2022

Abstract

:
Interval games are an extension of cooperative coalitional games, in which players are assumed to face payoff uncertainty. Characteristic functions thus assign a closed interval, instead of a real number. In this paper, we first examine the notion of solution mapping, a solution concept applied to interval games, by comparing it with the existing solution concept called the interval solution concept. Then, we define a Shapley mapping as a specific form of the solution mapping. Finally, it is shown that the Shapley mapping can be characterized by two different axiomatizations, both of which employ interval game versions of standard axioms used in the traditional cooperative game analysis such as efficiency, symmetry, null player property, additivity and separability.

1. Introduction

This paper examines cooperative game theory when players face uncertainty. One of the most familiar representations of cooperative game theory without uncertainties is coalitional games with transferable utility (so-called coalitional games or TU games) proposed by von Neumann and Morgenstern [1]. A coalitional game consists of a set N of players and a characteristic function v that gives a real number v ( S ) (worth of S) to every subset S of N. For each coalition S, v ( S ) is the total payoff that S can obtain by itself and divide among its members in any possible way. A solution concept of coalitional games such as the Shapley value (Shapley [2]) and core (Gillies [3]) assigns each game a (possibly empty or singleton) set of outcomes, each of which is represented by an n-dimensional real-valued vector.
In reality, the payoffs a coalition can obtain entail uncertainty. For instance, when a project is to be jointly financed by multiple investors and they need to decide whether to join, they may not know the exact return that would be realized by the project or the additional costs that would be incurred by them in the interim period before the project is completed. Similarly, under the classical “bankruptcy problem”, a creditor must decide on the amount of money to be lent, thus facing uncertainty regarding the borrower’s future fiscal condition or solvency when the claim is scheduled to be paid back and cleared. Therefore, introducing uncertainty into standard coalitional games is a natural and important extension. The existing literature on cooperative game theory with uncertainty has developed within the following two distinct groups of research. The first group consists of models where the uncertainty appears as a degree of cooperation in coalition formations, e.g., fuzzy games in Aubin [4]. The second group considers models where player cooperation is as in the classical model, that is, using crisp coalitions, but uncertainty appears in the payoffs of the coalitions (e.g., games using the stochastic characteristic function form of Charnes and Granot [5], stochastic payoffs of Suijs et al. [6], random payoffs of Timmer et al. [7]). Of these, the interval games, initially studied by Branzei et al. [8] and Alparslan Gök et al. [9], consider “interval uncertainty” in that the uncertainty regarding coalition payoff is represented by an interval that a characteristic function assigns, rather than stochastic payoffs. (Various solution concepts applied to interval games have been proposed and their properties have been examined subsequently by theoretical studies such as Alparslan Gök et al. [9], Fei et al. [10], Li et al. [11], Liang and Li [12], Meng et al. [13]. As applications of interval games, Palanci et al. [14] introduced uncertainty into classical cooperative transportation games and formalized them as interval games. Alparslan Gök et al. [15] examined the Shapley value and Baker–Thompson rule in the interval game version of the airport game. For more details on the literature, see Alparslan Gök [16], Branzei et al. [17] and Ishihara and Shino [18].)
As in coalitional games, an interval game consists of a set N of players and a characteristic function w. (Throughout our study, w denotes the characteristic function in an interval game to distinguish it from the characteristic function v in a coalitional game.) However, w uniquely provides a coalition with a closed interval of real numbers, called the worth set, rather than a real number as in the characteristic function in a classical coalitional game. Therefore, we can regard interval games as a generalization of coalitional games. Note also that this specification is consistent with social situations in the real world, where the potential rewards or costs are not precisely known but we can estimate the intervals to which they belong.
The analyses of interval games, similarly to those of coalitional games, aim to examine the issues of (i) coalition formation (or which coalition will be made) and (ii) payoff allocation (or how to distribute the total payoff to all players under the grand coalition). In particular, regarding the issue of (ii), coalitional game analyses have proposed various types of solution concepts concerning payoff allocation, such as the core, the von Neumann and Morgenstern stable set and the Shapley value.
An interval game analysis can also examine a desirable payoff allocation under the grand coalition. However, we argue that interval game analyses have a unique subject to be carefully considered. The major existing solution concept for n-person interval games, called the internal solution concept (Alparslan Gök et al. [19,20]), associates with each game a (possibly empty or singleton) set of n-dimensional interval payoff vectors. Here, an element of an interval payoff vector is a closed interval rather than a real number. However, if we consider the underlying social situations that interval games essentially assume, another type of solution concept could be proposed because the interval solution concepts do not consider an important aspect of the situation that the uncertainty of outcomes represented by the intervals will be removed when an outcome is realized and allocated among players. In particular, if the grand coalition is assumed to be formed, a solution concept for interval games should instruct how to allocate a realized outcome represented by a real number in the worth set of the grand coalition w ( N ) among all players. Therefore, the solution concept defined as a mapping from each realization in w ( N ) to an n-dimensional real-valued vector, rather than one that directly specifies a set of n-dimensional interval vectors, is worth examining.
In fact, such a mapping has already been proposed in Alparslan Gök et al. [9] as the ψ α value. However, the analysis of ψ α is limited and, to our knowledge, no subsequent analysis has since taken place. (The only exception is in Ishihara and Shino’s paper [18], in which a new solution mapping was proposed, focusing on a two-person interval game.) With this argument as our motivation, this study proposes a new solution mapping called the Shapley mapping as a solution concept and applies it to general n-person interval games. As we discuss in the subsequent sections, the Shapley mapping has some advantages. First, because a solution mapping assigns an n-dimensional real-valued vector rather than an n-dimensional interval vector, it does not have to consider “how to handle interval solution concepts” after uncertainties are removed. Second, as we discuss later in the analysis, it is defined without using interval subtraction, and thus no restrictions on the coverage of interval games are required. Finally, this solution concept can be justified by standard axiomatizations.
The rest of this paper is organized as follows. Section 2 reviews coalitional and interval games and solution concepts in interval games. Section 3 examines the existing solution concept and solution mapping by providing some examples. Section 4 defines the Shapley mapping and characterizes the mapping by two different axiomatizations. Section 5 concludes the paper.

2. Coalitional Games and Interval Games

An n-person coalitional game or a TU game is a pair ( N , v ) , where N = { 1 , 2 , , n } is a set of players and v : 2 N R is a characteristic function that associates a real number v ( S ) R for each set S N , with the condition v ( ) = 0 . Number v ( S ) is called the worth of S. We refer to S and N as a coalition and grand coalition, respectively. Let C G be the set of all coalitional games with player set N. Define C G + C G as C G + = { v C G | v ( N ) > 0 } . We also denote n-person coalitional games ( N , v ) simply by v, and use the simpler notation v ( · ) instead of v ( { · } ) .
Representative solution concepts for the coalitional games include the von Neumann and Morgenstern stable set (von Neumann and Morgenstern [1]), set of imputation, core (Gillies [3]), Shapley value (Shapley [2]), nucleolus (Schmeidler [21]), bargaining sets (Aumann and Maschler [22]) and kernel (Davis and Maschler [23]). In this study, we use the notion of the Shapley value [2]. For an n-person coalitional game v C G , the Shapley value ϕ ( v ) is defined as the n-dimensional real-valued vector ϕ ( v ) = ( ϕ 1 ( v ) , , ϕ i ( v ) , , ϕ n ( v ) ) with:
ϕ i ( v ) = S : i S ( s 1 ) ! ( n s ) ! n ! { v ( S ) v ( S { i } ) } .
Similar to an n-person coalitional game ( N , v ) , an n-person interval game is defined as a pair ( N , w ) , where N is a set of players and w is a characteristic function of type 2 N I ( R ) with w ( ) = [ 0 , 0 ] , where I ( R ) is the set of all closed and bounded intervals in R . Therefore, an interval game differs from a coalitional form game in that w assigns a closed interval to each coalition (instead of a real number). Interval w ( S ) is called the worth set of S and the minimum and the maximum of w ( S ) are denoted by w ̲ ( S ) and w ¯ ( S ) , respectively, that is, w ( S ) = [ w ̲ ( S ) , w ¯ ( S ) ] . An interval game ( N , w ) considers a situation in which the players face “interval uncertainty”, in that they know a coalition S could have w ̲ ( S ) as the minimal reward and w ¯ ( S ) as the maximal one, but do not know ex ante which one between them would be realized.
Let I G be the set of all interval games with player set N. We also denote n-person interval games ( N , w ) simply by w and use the simpler notation w ( · ) instead of w ( { · } ) . Players i and j are symmetric in an interval game w if w ( S { i } ) = w ( S { j } ) for any coalition S N { i , j } . Player i is a null player in w when w ( S { i } ) = w ( S ) holds for any S N { i } .
We provide some interval calculus notations for the following analysis. Let I = [ I ̲ , I ¯ ] and J = [ J ̲ , J ¯ ] be two closed intervals. The sum of I and J, denoted by I + J , is given as I + J = [ I ̲ + J ̲ , I ¯ + J ¯ ] . Next, following Alparslan Gök et al. [20], the partial subtraction operator denoted by “−” is defined as I J = [ I ̲ J ̲ , I ¯ J ¯ ] . Note that the partial subtraction operator is only defined for an ordered interval pair, i.e., ( I , J ) I ( R ) × I ( R ) satisfying J ¯ J ̲ I ¯ I ̲ .
For two different interval games w , w I G , the sum of the interval games w + w I G is also an interval game itself, defined by ( w + w ) ( S ) = w ( S ) + w ( S ) for every S N . For an interval game w I G , let v w ̲ C G be a coalitional game generated from an interval game w, so that v w ̲ ( S ) = w ̲ ( S ) for every S N , and v w ¯ C G so that v w ¯ ( S ) = w ¯ ( S ) for every S N . For an interval game w I G , define v w ¯ w ̲ C G as v w ¯ w ̲ ( S ) = v w ¯ ( S ) v w ̲ ( S ) for every S N . Finally, for an interval I = [ I ̲ , I ¯ ] and a coalitional game v C G , I v I G is defined as I v ( S ) = [ I ̲ v ( S ) , I ¯ v ( S ) ] for every S N .
Let I = ( I 1 , . . . , I n ) I ( R ) n be an n-dimensional closed interval vector, so that I i I ( R ) for i N . For I I ( R ) n , we, respectively, define min I R n and max I R n as follows:
min I = ( min I 1 , , min I n ) , max I = ( max I 1 , , max I n ) .
Note that, for an interval game w I G , if all worth sets are singletons, that is, w ̲ ( S ) = w ¯ ( S ) for every S N , w corresponds to the coalitional game v C G , which is defined as v ( S ) = w ̲ ( S ) = w ¯ ( S ) . In this case, we say that w I G and v C G are equivalent or w has its equivalent coalitional game v. Let E G I G be a set of interval games that has its equivalent coalitional game.

3. Solution Concepts in Interval Games

In this section, we first review the existing solution concepts applied to interval games—interval solution concept and interval Shapley value—in Section 3.1. Then, in Section 3.2, we examine an alternative solution concept, called a solution mapping, by comparing it with the interval solution concept.

3.1. Existing Solution Concepts: Interval Solution Concepts and Interval Shapley Value

In the literature on interval games, the most popular solution concept, which has played a central part in analyses, is the interval solution concept. (Another type of solution concept proposed early in the history of interval game analysis is the selection-based solution concept proposed by Alparslan Gök et al. [9].) Interval solution concepts are defined as a (possibly empty or singleton) set of n-dimensional interval vectors. Formally, by letting I i I ( R ) be the interval payoff of player i and I = ( I 1 , , I n ) I ( R ) n be an n-dimensional closed interval vector, an interval solution concept in w I G assigns a (possibly empty or singleton) set of n-dimensional interval vectors K I ( R ) n . The interval core, interval stable set (Alparslan Gök et al. [19]) and the interval Shapley value (Alparslan Gök et al. [20]) have been proposed as interval solution concepts. Here, for the following analysis we review the definition of the interval Shapley value.
Let a permutation of N be σ : N N and the group of all permutations of N be π ( N ) . For an interval game w I G and a permutation σ π ( N ) , we define player i’s marginal contribution in σ of w as:
m i σ ( w ) = w ( P σ ( i ) { i } ) w ( P σ ( i ) ) ,
where P σ ( i ) is given by P σ ( i ) = r N σ 1 ( r ) < σ 1 ( i ) } , that is, the set of i’s predecessors in permutation σ . A marginal contribution vector in σ of w is defined as m σ ( w ) = ( m 1 σ ( w ) , , m n σ ( w ) ) . With this setup, Alparslan Gök et al. [20] defined the interval Shapley value Φ : I G I ( R ) n as:
Φ ( w ) = Φ 1 ( w ) , . . . , Φ n ( w ) = 1 n ! σ π ( N ) m σ ( w ) .
The following example shows the interval Shapley value in a simple three-person interval game.
Example 1.
Let the interval game w be as follows: w ( 1 ) = [ 0 , 0 ] , w ( 2 ) = [ 0 , 0 ] , w ( 3 ) = [ 0 , 0 ] , w ( 12 ) = [ 3 , 5 ] , w ( 13 ) = [ 3 , 5 ] , w ( 23 ) = [ 3 , 5 ] and w ( 123 ) = [ 18 , 27 ] . Player 1’s marginal contributions for each permutation are as follows: m 1 ( 123 ) ( w ) = w ( 1 ) w ( ) = [ 0 , 0 ] , m 1 ( 132 ) ( w ) = [ 0 , 0 ] , m 1 ( 213 ) ( w ) = [ 3 , 5 ] , m 1 ( 231 ) ( w ) = [ 15 , 22 ] , m 1 ( 312 ) ( w ) = [ 3 , 5 ] and m 1 ( 321 ) ( w ) = [ 15 , 22 ] . Given that the sum of all marginal contributions is [ 36 , 54 ] and 3 ! = 6 , player 1’s interval Shapley value is Φ 1 ( w ) = [ 6 , 9 ] . Similarly, we obtain Φ 2 ( w ) = [ 6 , 9 ] and Φ 3 ( w ) = [ 6 , 9 ] . Consequently, the interval Shapley value of w is of the form:
Φ ( w ) = 6 , 9 , 6 , 9 , 6 , 9 .
It is not difficult to show that the ith component of the interval Shapley value can be rearranged as follows:
Φ i ( w ) = S : i S ( s 1 ) ! ( n s ) ! n ! { w ( S ) w ( S { i } ) } .
It is evident from (1) and (6) that the interval Shapley value is a natural extension of the Shapley value.
Note that the interval Shapley value for an interval game is not always definable because the partial subtraction operator is used. The following example illustrates this point.
Example 2
(Han et al. [24]). Let the interval game w be as follows: w ( 1 ) = [ 0 , 2 ] , w ( 2 ) = [ 1 / 2 , 3 / 2 ] , w ( 3 ) = [ 1 , 2 ] , w ( 12 ) = [ 2 , 3 ] , w ( 13 ) = [ 3 , 4 ] , w ( 23 ) = [ 4 , 4 ] and w ( 123 ) = [ 6 , 7 ] . Player 2’s marginal contributions for permutation ( 123 ) cannot be computed because m 2 ( 123 ) ( w ) = [ 2 , 3 ] [ 0 , 2 ] but 2 0 > 3 2 .
To address the so-called interval subtraction problem, Alparslan Gök et al. [20,25,26] restricted the coverage of interval games to size monotonic interval games. An interval game w I G is called size monotonic if for every pair of coalitions S T ,
w ¯ ( S ) w ̲ ( S ) w ¯ ( T ) w ̲ ( T ) .
When an interval game is size monotonic, a player’s marginal contribution is always definable as a closed interval. The interval game in Example 2 is not size monotonic. (A different approach to address the interval subtraction problem is to use Moore’s [27] subtraction operator in place of the partial subtraction operator. For more detail, see Han et al. [24].)
Based on these arguments, in the next subsection we examine an alternative solution concept applied to interval games, called solution mapping.

3.2. An Alternative Solution Concept: Solution Mapping

An interval game analysis essentially assumes that players face the following underlying situation. First, players face payoff uncertainties, represented by the worth sets, and negotiate over a “rule” or “protocol” that specifies a way to allocate an outcome among players ex ante, before uncertainties are removed. Second, after the uncertainties are removed and one of the outcomes in the worth set is realized, the realized outcome is allocated based on the agreed rule or protocol in the ex ante negotiation. (This situation is similar to that in Habis and Herings’s [28] TUU game, where uncertainties are introduced into cooperation games using a different approach. Namely, they constructed a two-stage model in which the ex ante first stage has multiple coalitional games, and one of them is realized and played by the players in the second stage.) Specifically, when the grand coalition forms, the realized outcome in w ( N ) is allocated. Based on this interpretation, a mapping that assigns n-dimensional real-valued vectors to each realization in the worth set of the grand coalition operates as a solution concept in interval games. This is the main idea of the solution mapping that we employ as a solution concept. Note that this solution mapping is different from the existing notion of the interval solution concept that assigns an n-dimensional interval vector.
Formally, for an n-person interval game w I G , a function F ( w ) : w ( N ) R n is called a solution mapping. For any interval game w, F ( w ) ( t ) assigns n-dimensional payoff vectors to each realization t w ( N ) . Such a mapping was proposed by Alparslan Gök et al. [9] as the ψ α value at the early stage in the history of interval game analyses. However, their analysis considered only two-person interval games and no subsequent analysis of the solution mapping has been developed. As such, in the next section we propose a solution mapping, called the Shapley mapping, and apply it to general n-person interval games.

4. Shapley Mapping and Its Axiomatizations

In this section, we first define the Shapley mapping as a specific form of the solution mapping in Section 4.1. Then, two different axiomatizations of the Shapley mapping are provided in Section 4.2 and Section 4.3, respectively.

4.1. Shapley Mapping

For an n-person interval game w I G , we define the Shapley mapping as a specific form of solution mapping. First, for the realization of the worth set of the grand coalition t w ( N ) , α [ 0 , 1 ] satisfying t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) is uniquely determined. (It should be noted that there exists a case for which v w α cannot be defined. This occurs when w ( N ) is singleton and w ( S ) is not singleton for some S N { i } . We exclude such a “degenerate case”, because it departs from the underlying situation of interval games, where interval uncertainty exists regarding the realization of the outcome in the grand coalition.) Second, we define a coalitional game v w α generated from w by α as:
v w α ( S ) = ( 1 α ) w ̲ ( S ) + α w ¯ ( S ) f o r e v e r y S N .
Note that v w α ( N ) = t w ( N ) . By letting ϕ ( v w α ) = ( ϕ 1 ( v w α ) , , ϕ i ( v w α ) , , ϕ n ( v w α ) ) be the Shapley value in coalitional game v w α , the Shapley mapping σ ( w ) : w ( N ) R n is defined as:
σ ( w ) ( t ) = ϕ ( v w α ) .
Since the interval subtraction operator is not used in the definition of the Shapley mapping, it is free from the “interval subtraction problem” discussed in Section 3. Moreover, the Shapley mapping is also free from the problem of “how to handle interval solution concepts” because it directly specifies an n-dimensional real-valued vector, rather than an n-dimensional interval vector.
It should also be noted that α is endogenously determined depending on t w ( N ) , rather than an exogenous parameter representing such factors as players’ risk attitudes. Therefore, our α is not directly related to the Hurwicz criterion recently examined by Mallozzi and Vidal-Puga [29] in the context of interval game analyses. We do not impose any specific risk attitudes on players, and all of the results obtained here hold independent of those attitudes.
Note that σ ( w ) ( t ) can be rearranged as follows:
σ i ( w ) ( t ) = S : i S ( s 1 ) ! ( n s ) ! n ! { v w α ( S ) v w α ( S { i } ) } = S : i S ( s 1 ) ! ( n s ) ! n ! [ ( 1 α ) { w ̲ ( S ) w ̲ ( S { i } ) } + α { w ¯ ( S ) w ¯ ( S { i } ) } ] = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) ,
where ϕ i ( · ) is player i’s Shapley value in coalitional games v w ̲ and v w ¯ .
For the interval game in Example 2, when 6 w ( 123 ) is realized, Shapley mapping σ gives the following real-valued vector:
σ ( w ) ( 6 ) = 5 4 , 2 , 11 4 ,
while the interval Shapley value, as we discussed, cannot be applied to this game because it is not size monotonic. Note that the sum of payoffs is 6, which is equal to the realization of the worth set of the grand coalition. Therefore, the efficiency is satisfied.
Example 3
(Alparslan Gök [25] and Palanci et al. [30]). w ( 1 ) = [ 7 , 7 ] , w ( 2 ) = [ 0 , 0 ] , w ( 3 ) = [ 0 , 0 ] , w ( 12 ) = [ 12 , 17 ] , w ( 13 ) = [ 7 , 7 ] , w ( 23 ) = [ 0 , 0 ] and w ( 123 ) = [ 24 , 29 ] . As this game is size monotonic, the interval Shapley value exists: Φ ( w ) = ( [ 27 / 2 , 16 ] , [ 13 / 2 , 9 ] , [ 4 , 4 ] ) . The Shapley mapping, on the other hand, gives the following three-dimensional real-valued vectors for the realizations of the worth set of the grand coalition—24, 26.5 and 29 (the minimum, midpoint and maximum value of w ( 123 ) , respectively):
σ ( w ) ( 24 ) = 27 2 , 13 2 , 4 , σ ( w ) ( 26.5 ) = 59 4 , 31 4 , 4 , σ ( w ) ( 29 ) = 16 , 9 , 4 .
Comparing Shapley mapping σ with interval Shapley mapping Φ , σ ( w ) ( 24 ) and σ ( w ) ( 29 ) are the same as the vectors consisting of the lower and upper bounds of each element in Φ ( w ) , respectively. Similarly, each element of σ ( w ) ( 26.5 ) is identical to the midpoint of the corresponding player’s interval in Φ ( w ) . In general, regarding the relationship between the Shapley mapping and the interval Shapley value, the following result holds.
Remark 1.
Let Φ and σ be the interval Shapley value and Shapley mapping, respectively. For a realization of the worth set of the grand coalition t w ( N ) in an interval game w I G , let α [ 0 , 1 ] be a number satisfying t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) . When w is size monotonic, the following holds:
σ ( w ) ( t ) = ( 1 α ) min Φ ( w ) + α max Φ ( w )
Here, min Φ ( w ) and max Φ ( w ) are defined by (2).
Proof. 
When w I G is size monotonic, Φ ( w ) can be defined, and the following holds for every i N :
Φ i ( w ) = S : i S ( s 1 ) ! ( n s ) ! n ! { [ w ̲ ( S ) w ̲ ( S { i } ) , w ¯ ( S ) w ¯ ( S { i } ) ] } = S : i S ( s 1 ) ! ( n s ) ! n ! { w ̲ ( S ) w ̲ ( S { i } ) } , S : i S ( s 1 ) ! ( n s ) ! n ! { w ¯ ( S ) w ¯ ( S { i } ) } = [ ϕ i ( v w ̲ ) , ϕ i ( v w ¯ ) ] ,
where ϕ i ( · ) is player i’s Shapley value in coalitional games v w ̲ and v w ¯ . This implies min Φ i ( w ) = ϕ i ( v w ̲ ) and max Φ i ( w ) = ϕ i ( v w ¯ ) . Therefore, the following holds:
( 1 α ) min Φ i ( w ) + α max Φ i ( w ) = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) = σ i ( w ) ( t ) .
The last equality in (11) holds from (9). □
Remark 1 implies some equivalency between the interval Shapley value and Shapley mapping, such that the allocation for a realization of the worth set of the grand coalition proposed by the Shapley mapping is identical to the real-valued vector obtained by dividing internally each interval in the interval Shapley value by the ratio α associated with the realization of the worth set. As the Shapley mapping can be applied to non-size-monotonic interval games, it can be interpreted as a generalization of the interval Shapley value. Furthermore, the Shapley mapping can be characterized by certain axiomatizations.

4.2. An Axiomatization of the Shapley Mapping

In this subsection, we first propose a set of four axioms for a solution mapping σ : efficiency, symmetry, null player property, and additivity. Then, in Theorem 1, we show that these four axioms uniquely determine the Shapley mapping.
  • Axiom 1: Efficiency (EF)
    ( i N σ i ( w ) ( t ) = t ) w I G t w ( N ) .
  • Axiom 2: Symmetry (SYM)
    σ i ( w ) ( t ) = σ j ( w ) ( t ) w I G w h e r e i a n d j a r e s y m m e t r i c t w ( N ) .
  • Axiom 3: Null player property (NP)
    σ i ( w ) ( t ) = 0 t w ( N ) i f w ( S ) = w ( S i ) S N { i } .
  • Axiom 4-1: Additivity-1 (AD1)
    For an α [ 0 , 1 ] and w , w I G , we define t w ( N ) and t w ( N ) as:
    t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) .
    Then,
    σ i ( w + w ) ( t + t ) = σ i ( w ) ( t ) + σ i ( w ) ( t ) w , w I G α [ 0 , 1 ] i N .
Axiom EF asserts that all t w ( N ) is allocated to players in the game and no residual exists. Axiom SYM argues that only what a player can obtain on their own in the game should matter, not its specific name. Axiom NP asserts that a zero payoff should be assigned to a null player.
Axiom AD1 essentially comes from the additivity axiom in Shapley [2], which considers a “sum” interval game ( w + w ) I G . Specifically, it asserts that, when σ gives σ i ( w ) ( t ) to player i for realization t w ( N ) in w I G and σ i ( w ) ( t ) to i for realization t w ( N ) in w I G , in the sum game ( w + w ) I G , σ should give σ i ( w ) ( t ) + σ i ( w ) ( t ) to player i for realization t + t ( w + w ) ( N ) . Here, it should be noted that it imposes restrictions on t and t , so that these are generated by a “common factor” α [ 0 , 1 ] regarding the worth sets of the grand coalition.
More specifically, an underlying situation that AD1 assumes is as follows. Suppose that, for example, α = 1 , that is, t = w ¯ ( N ) and t = w ¯ ( N ) are realized in w and w , respectively. This case can be interpreted as the best “common factor”, such as the weather (if w represents agricultural productions) or aggregate economic growth (if w represents an individual firm’s profit), contributing positively and generating the largest amounts of the worth sets both in w and w . In such a case, AD1 requires us to evaluate the allocation derived by σ in the sum game w + w under the same aggregate condition of α = 1 . Note that when all worth sets are singleton, both in w and w , AD1 becomes identical to Shapley’s [2] axiom of additivity for the coalitional games equivalent to w and w .
The following result of the axiomatization can be regarded as an interval game version of Shapley’s axiomatization [2].
Theorem 1.
Shapley mapping σ , as defined in (8), is the unique solution mapping that satisfies EF, SYM, NP and AD1.
The proof of this theorem is preceded by the following five lemmas.
Lemma 1.
Shapley mapping σ satisfies EF, SYM, NP and AD1.
Proof. 
EF and SYM are obvious from the definition of the Shapley mapping. For NP, letting i be a null player in interval game w, it holds that σ i ( w ) ( t ) = S : i S ( s 1 ) ! ( n s ) ! n ! { v w α ( S ) v w α ( S { i } ) } = 0 . For AD1, from (9), it follows that ( ϕ i ( · ) is player i’s Shapley value in a coalitional game):
σ i ( w ) ( t ) + σ i ( w ) ( t ) = ( 1 α ) { ϕ i ( v w ̲ ) + ϕ i ( v w ̲ ) } + α { ϕ i ( v w ¯ ) + ϕ i ( v w ¯ ) } = ( 1 α ) ϕ i ( v w ̲ + v w ̲ ) + α ϕ i ( v w ¯ + v w ¯ ) = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) = σ i ( w ) ( t ) .
Lemma 2.
For a nonempty coalition R N , we define a coalitional game v R C G as:
v R ( S ) = 1 i f R S 0 o t h e r w i s e .
Then, for an interval game w I G , there uniquely exist 2 ( 2 n 1 ) real numbers, denoted by c R ̲ and c R ¯ for a nonempty coalition R N (note: the number of R is 2 n 1 ), which satisfy
v w ̲ ( S ) = R N c R ̲ v R ( S ) , v w ¯ ( S ) = R N c R ¯ v R ( S ) S N .
c R ̲ and c R ¯ are determined by:
c R ̲ = T R ( 1 ) r t v w ̲ ( T ) , c R ¯ = T R ( 1 ) r t v w ¯ ( T ) ,
where r and t denote the number of players in the coalition of R and T, respectively.
Proof. 
The proof is essentially identical to Shapley’s [2]. □
Lemma 3.
For a nonempty coalition R N in interval game w I G ,
w ( S ) + R : c R ̲ > c R ¯ [ c R ̲ , c R ¯ ] v R ( S ) = R : c R ̲ c R ¯ [ c R ̲ , c R ¯ ] v R ( S ) S N .
Proof. 
For a nonempty coalition R N satisfying c R ̲ c R ¯ , [ c R ̲ , c R ¯ ] can be defined as a closed interval, and for a nonempty coalition R N satisfying c R ̲ > c R ¯ , [ c R ̲ , c R ¯ ] can be defined as a closed interval. From Lemma 2, it holds that:
v w ̲ ( S ) = R N c R ̲ v R ( S ) = R : c R ̲ c R ¯ c R ̲ v R ( S ) + R : c R ̲ > c R ¯ c R ̲ v R ( S ) S N ,
and the same for the upper bound. Therefore,
[ v w ̲ ( S ) , v w ¯ ( S ) ] + R : c R ̲ > c R ¯ [ c R ̲ , c R ¯ ] v R ( S ) = R : c R ̲ c R ¯ [ c R ̲ , c R ¯ ] v R ( S ) S N .
Lemma 4.
Let σ be a solution mapping in w I G satisfying EF, SYM, NP and AD1. Then, for an interval game of [ c ̲ , c ¯ ] v R I G and a realization t = ( 1 α ) c ̲ + α c ¯ :
σ i ( [ c ̲ , c ¯ ] v R ) ( t ) = t r i f i R 0 o t h e r w i s e ,
where r is the number of players in the nonempty coalition R N .
Proof. 
First, assume c ̲ 0 . If i is not in R, i is a null player in the interval game of [ c ̲ , c ¯ ] v R I G . Therefore, σ i ( [ c ̲ , c ¯ ] v R ) ( t ) = 0 . Moreover, because i and j in R are symmetric in [ c ̲ , c ¯ ] v R I G , σ i ( [ c ̲ , c ¯ ] v R ) ( t ) = σ j ( [ c ̲ , c ¯ ] v R ) ( t ) . Meanwhile, EF follows i R σ i ( [ c ̲ , c ¯ ] v R ) ( t ) = t . Consequently, σ i ( [ c ̲ , c ¯ ] v R ) = t / r holds for i R .
Next, assume c ̲ < 0 . Then, the following holds: (i) t c ̲ = ( 1 α ) · 0 + α ( c ¯ c ̲ ) , (ii) t = ( 1 α ) · c ̲ + α · c ¯ and (iii) c ̲ = ( 1 α ) · ( c ̲ ) + α · ( c ̲ ) . Therefore, from AD1, it holds that:
σ i ( [ 0 , c ¯ c ̲ ] v R ) ( t c ̲ ) = σ i ( [ c ̲ , c ¯ ] v R + [ c ̲ , c ̲ ] v R ) ( t + ( c ̲ ) ) = σ i ( [ c ̲ , c ¯ ] v R ) ( t ) + σ i ( [ c ̲ , c ̲ ] v R ) ( c ̲ ) .
Because it holds that:
σ i ( [ 0 , c ¯ c ̲ ] v R ) ( t c ̲ ) = t c ̲ r i f i R 0 otherwise σ i ( [ c ̲ , c ̲ ] v R ) ( c ̲ ) = c ̲ r i f i R 0 otherwise ,
(13) also holds when c ̲ < 0 . □
Lemma 5.
Assume ϕ i ( v w ̲ ) and ϕ i ( v w ¯ ) are i’s Shapley values in coalitional games v w ̲ and v w ¯ , respectively. Then, the following holds:
ϕ i ( v w ̲ ) = R : i R c R ̲ r , ϕ i ( v w ¯ ) = R : i R c R ¯ r .
Proof. 
The proof is essentially identical to Shapley’s [2]. □
Finally, we prove Theorem 1 using Lemmas 1–5.
Proof of Theorem 1. 
From Lemma 1, it suffices to prove the uniqueness of σ , that is, letting σ be a solution mapping satisfying EF, SYM, NP and AD1; σ must be σ .
For a realization of the grand coalition t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) w ( N ) in w I G , let t R = ( 1 α ) c R ̲ + α c R ¯ be a realization of the grand coalition in [ c ̲ , c ¯ ] v R I G . Then, from Lemma 2, v w ̲ ( N ) = R N c R ̲ and v w ¯ ( N ) = R N c R ¯ hold. Therefore, t = R N t R is true. From Lemma 3 and AD1, it follows that:
σ i ( w ) ( t ) + R : c R ̲ > c R ¯ σ i ( [ c R ̲ , c R ¯ ] v R ) ( t R ) = R : c R ̲ c R ¯ σ i ( [ c R ̲ , c R ¯ ] v R ) ( t R ) .
From Lemma 4:
σ i ( w ) ( t ) + R i : c R ̲ > c R ¯ t R r = R i : c R ̲ c R ¯ t R r ,
σ i ( w ) ( t ) = R : i R t R r = R : i R ( 1 α ) · c R ̲ r + α · c R ¯ r = ( 1 α ) R : i R c R ̲ r + α R : i R c R ¯ r
hold. From Lemma 5, ( ϕ i ( · ) is player i’s Shapley value in coalitional games v w ̲ and v w ¯ ):
σ i ( w ) ( t ) = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) = σ i ( w ) ( t ) .

4.3. An Alternative Axiomatization of the Shapley Mapping

This subsection shows another axiomatization of the Shapley mapping. Specifically, we additionally consider the following axioms of additivity-2 and separability.
  • Axiom 4-2: Additivity-2 (AD2)
    For w E G , let t = w ̲ ( N ) = w ¯ ( N ) . Then:
    σ i ( w + w ) ( t + t ) = σ i ( w ) ( t ) + σ i ( w ) ( t ) w I G w E G t w ( N ) i N .
  • Axiom 5: Separability (SP)
    Define U G I G as U G = { w I G | v C G + , U = [ U ̲ , U ¯ ] I ( R ) s . t . w = U v } . A solution mapping σ satisfies separability if there exists a real-valued function f i : C G + R such that:
    σ i ( w ) ( t ) = f i ( v ) t ( w , v , U ) U G × C G + × I ( R ) w i t h w = U v t w ( N ) i N .
Similar to AD1, AD2 is an interval game version of the additivity that considers the sum game ( w + w ) I G . AD2 asserts that, if one of these games entails no uncertainty ( w E G ), then additivity must hold for every realization of the grand coalition t w ( N ) in another game w .
Axiom SP considers a case in which an interval game w can be broken down into two components: v and U. v is interpreted as the “basis” of w in that an uncertainty factor is excluded, and U as a “common uncertainty factor”. As U is independent of i N , Axiom SP asserts that, when an interval game w consists of v and U, the following (i) and (ii) on a solution mapping σ should be satisfied: (i) the allotment to player i is proportional to t with a constant allotment ratio, and (ii) this allotment ratio f i ( v ) is determined not by “common factor” U, but by v, which is the only source that generates asymmetricity among players. Axiom SP has some similarities to the separability conditions examined in the context of cost allocation games as in Fishburn and Pollac [31]. However, our axiom SP is unique to interval game analyses in that this is based on the decomposition consisting of the basis of an interval game and the common uncertainty factor.
The main result of the second axiomatization using those axioms is as follows:
Theorem 2.
Shapley mapping σ is the unique solution mapping that satisfies EF, SYM, NP, AD2 and SP.
To prove Theorem 2, we show the following Lemma.
Lemma 6.
Shapley mapping σ satisfies AD2 and SP.
Proof. 
We first show that Shapley mapping σ satisfies AD2. As σ satisfies AD1 from Lemma 1, it suffices to show that σ satisfies AD2 whenever it satisfies AD1. For any w I G , w E G , t w ( N ) and t w ( N ) , there exists α [ 0 , 1 ] satisfying t = ( 1 α ) w ( N ) + α w ( N ) . As t = w ̲ ( N ) = w ¯ ( N ) , it follows that t = ( 1 α ) w ̲ ( N ) + α w ¯ ( N ) . As σ satisfies AD1, it follows that:
σ i ( w + w ) ( t + t ) = σ i ( w ) ( t ) + σ i ( w ) ( t ) i N .
Therefore, σ satisfies AD2.
Next, we show that σ satisfies SP. Let σ be a Shapley mapping, and we consider a combination ( w , v , U ) U G × C G + × I ( R ) satisfying w = U v . As w ̲ ( S ) = U ̲ v ( S ) and w ¯ ( S ) = U ¯ v ( S ) hold for every S N , from the linearity of the Shapley value, the following holds for every i N :
ϕ i ( v w ̲ ) = U ̲ ϕ i ( v ) , ϕ i ( v w ¯ ) = U ¯ ϕ i ( v ) .
(i) Suppose w E G . As U ̲ = U ¯ , σ i ( w ) ( t ) = U ̲ ϕ i ( v ) = U ¯ ϕ i ( v ) and t = U ̲ v ( N ) = U ¯ v ( N ) . Therefore, letting f i : C G + R be f i ( v ) = ϕ i ( v ) v ( N ) , σ i ( w ) ( t ) = f i ( v ) t holds.
(ii) Suppose w E G , i.e., w ̲ ( N ) < w ¯ ( N ) . Then, note that:
α = t w ̲ ( N ) w ¯ ( N ) w ̲ ( N ) = t U ̲ v ( N ) ( U ¯ U ̲ ) v ( N ) , 1 α = w ¯ ( N ) t w ¯ ( N ) w ̲ ( N ) = U ¯ v ( N ) t ( U ¯ U ̲ ) v ( N ) .
Therefore,
σ i ( w ) ( t ) = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) = { ( 1 α ) U ̲ + α U ¯ } ϕ i ( v ) = U ¯ U ̲ v ( N ) U ̲ t ( U ¯ U ̲ ) v ( N ) + U ¯ t U ¯ U ̲ v ( N ) ( U ¯ U ̲ ) v ( N ) ϕ i ( v ) = ϕ i ( v ) v ( N ) · t .
Similar to (i), letting f i : C G + R be f i ( v ) = ϕ i ( v ) v ( N ) , (15) implies σ i ( w ) ( t ) = f i ( v ) t . □
Proof of Theorem 2. 
From Lemma 1 and 6, it suffices to prove the uniqueness of σ . Suppose a solution mapping σ satisfies EF, SYM, NP, AD2 and SP. We show σ must be σ .
(i) Suppose w E G . In this case, t = v w ̲ ( N ) for any t w ( N ) . Therefore, from Lemma 2,
w ( S ) = R N [ c R ̲ , c R ̲ ] v R ( S ) , t = R N c R ̲ .
Furthermore, it can be shown that, if a solution mapping σ satisfies EF, SYM and NP, then the following holds (the proof is essentially the same as that of Lemma 4):
σ i ( [ c R ̲ , c R ̲ ] v R ) ( c R ̲ ) = c R ̲ r i f i R 0 o t h e r w i s e .
Note that [ c R ̲ , c R ̲ ] v R E G . By applying AD2, it holds that:
σ i ( w ) ( t ) = σ i R N [ c R ̲ , c R ̲ ] v R R N c R ̲ = R N σ i ( [ c R ̲ , c R ̲ ] v R ) ( c R ̲ ) = R : i R c R ̲ r .
From Lemma 5, σ i ( w ) ( t ) = ϕ i ( v w ̲ ) . As σ i ( w ) ( t ) = ϕ i ( v w ̲ ) , σ i ( w ) ( t ) = σ i ( w ) ( t ) .
(ii) Suppose w E G , i.e., w ̲ ( N ) < w ¯ ( N ) . Define w I G and w , w E G as, for every S N ,
w ( S ) = [ 0 , w ¯ ( S ) w ̲ ( S ) ] , w ( S ) = [ w ̲ ( S ) , w ̲ ( S ) ] , w ( S ) = [ w ¯ ( S ) w ̲ ( S ) , w ¯ ( S ) w ̲ ( S ) ] .
As w , w E G , similar to (i), it holds that:
σ i ( w ) ( t ) = R : i R c R ̲ r = ϕ i ( v w ̲ ) t w ( N ) σ i ( w ) ( t ) = R : i R c R ¯ c R ̲ r = ϕ i ( v w ¯ ) ϕ i ( v w ̲ ) t w ( N ) .
As w = [ 1 , 1 ] v w ¯ w ̲ and from SP, there exists a real-valued function f i : C G + R satisfying σ i ( w ) ( t ) = f i ( v w ¯ w ̲ ) t for every t w ( N ) and i N . As t = w ¯ ( N ) w ̲ ( N ) , f i ( v w ¯ w ̲ ) = ϕ i ( v w ¯ ) ϕ i ( v w ̲ ) w ¯ ( N ) w ̲ ( N ) . Similarly, because w = [ 0 , 1 ] v w ¯ w ̲ , there exists f i satisfying σ i ( w ) ( t ) = f i ( v w ¯ w ̲ ) t , which implies σ i ( w ) ( t ) = ϕ i ( v w ¯ ) ϕ i ( v w ̲ ) w ¯ ( N ) w ̲ ( N ) t . From AD2,
σ i ( w ) ( t ) = σ ( w + w ) ( t w ̲ ( N ) + w ̲ ( N ) ) = σ ( w ) ( t w ̲ ( N ) ) + σ ( w ) ( w ̲ ( N ) ) = ϕ i ( v w ¯ ) ϕ i ( v w ̲ ) w ¯ ( N ) w ̲ ( N ) ( t w ̲ ( N ) ) + ϕ i ( v w ̲ ) = w ¯ ( N ) t w ¯ ( N ) w ̲ ( N ) ϕ i ( v w ̲ ) + t w ̲ ( N ) w ¯ ( N ) w ̲ ( N ) ϕ i ( v w ¯ ) = ( 1 α ) ϕ i ( v w ̲ ) + α ϕ i ( v w ¯ ) = σ i ( w ) ( t ) .

5. Conclusions

This paper studied cooperative interval games in which the payoff uncertainty that players face is expressed as a closed interval. We compared the notion of solution mapping as a solution concept applied to interval games with the existing interval solution concept. Then, we defined the Shapley mapping as a specific form of the solution mapping and showed that the Shapley mapping could be characterized by two different axiomatizations, both of which employed interval game versions of standard axioms used in the traditional cooperative game analysis.
We conclude the analysis by identifying some topics for further research. First, other axiomatizations examined in coalitional games such as Young’s [32] strong monotonicity would enhance the validity of the Shapley mapping. Second, whether the properties of the Shapley value in coalitional games are preserved in interval game analyses is also an intriguing topic. For example, whether the Shapley mapping has the consistency property as analyzed by Hart and Mas-Colell’s [33] potential approach is worth examining. Third, solution mappings could be applied to actual cooperative game situations with uncertainty such as the bankruptcy problem and cost allocation games. For example, a classical game-theoretic analysis of the bankruptcy problem essentially entails the uncertainties that creditors face regarding a debtor’s future solvency. Here, new insights could be obtained by reconstructing the bankruptcy problem as an interval game and applying the solution mapping to those games. (Branzei et al. [8] applied interval games to the bankruptcy problem taking the credit amount as a source of uncertainty. Debtors’ fiscal conditions can also be a source of uncertainty for debt contracts.) Finally, as a limitation of our study, it should be noted that in this paper we restricted our attention to singleton set solution concepts such as the Shapley mapping. In this regard, nonsingleton set solution concepts such as the core and stable sets may also be redefined as solution mappings in interval games. Once those nonsingleton-type solutions are defined as solution mappings, it is possible to examine the relationships between them. For example, whether a real-valued payoff vector assigned by the Shapley mapping is included in the core mapping for every realization of the worth set of the grand coalition or which class of the interval games satisfies this property may be worth examining.

Author Contributions

Conceptualization, J.S.; Formal analysis, J.S., S.I. and S.Y.; Investigation, S.I.; Writing–original draft, J.S. and S.Y.; Writing–review–editing, S.Y. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Japan Society for the Promotion of Science [KAKENHI, Grant No. 18KK0046] and the Japan Society for the Promotion of Science [KAKENHI, Grant No. 22K01584].

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank Yukihiko Funaki, Ryo Kawasaki and Shigeo Muto for valuable comments and suggestions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Von Neumann, J.; Morgenstern, O. Theory of Games and Economic Behavior, 3rd ed.; Princeton University Press: Princeton, NJ, USA, 1953. [Google Scholar]
  2. Shapley, L.S. A Value for n-Person Games. Ann. Math. Stud. 1953, 28, 307–318. [Google Scholar]
  3. Gillies, D.B. Solutions to General Non-Zero-Sum Games. In Contributions to the Theory of Games; Princeton University Press: Princeton, NJ, USA, 1959; Volume IV, pp. 47–85. [Google Scholar]
  4. Aubin, J.P. Coeur et Valeur des Jeux Flous a Paiments Lateraux. Comptes Rendus Acad. Sci. Paris 1974, 279, 891–894. [Google Scholar]
  5. Charnes, A.; Granot, D. Prior Solutions: Extensions of Convex Nucleolus Solutions to Chance-Constrained Games. In Research Report CCS 148, The Center for Cybernetic Studies; The Unversity of Texas at Austin: Austin, TX, USA, 1973. [Google Scholar]
  6. Suijs, J.; Borm, P.; Waegenaere, A.D.; Tijs, S. Cooperative Games with Stochastic Payoffs. Eur. J. Oper. Res. 1999, 113, 193–205. [Google Scholar] [CrossRef] [Green Version]
  7. Timmer, J.; Borm, P.; Tijs, S. Convexity in Stochastic Cooperative Situations. Int. Game Theory Rev. 2005, 7, 25–42. [Google Scholar] [CrossRef] [Green Version]
  8. Branzei, R.; Dimitrov, D.; Tijs, S. Shapley-Like Values for Interval Bankruptcy Games. Econ. Bull. 2003, 3, 1–8. [Google Scholar]
  9. Alparslan Gök, S.Z.; Miquel, S.; Tijs, S. Cooperation under Interval Uncertainty. Math. Methods Oper. Res. 2009, 69, 99–109. [Google Scholar] [CrossRef]
  10. Fei, W.; Li, D.-F.; Ye, Y.-F. An Approach to Computing Interval-Valued Discounted Shapley Values for a Class of Cooperative Games under Interval Data. Int. J. Gen. Syst. 2018, 47, 794–808. [Google Scholar] [CrossRef]
  11. Li, D.-F.; Ye, Y.-F.; Fei, W. Extension of Generalized Solidarity Values to Interval-Valued Cooperative Games. J. Ind. Manag. Optim. 2020, 16, 919–931. [Google Scholar] [CrossRef] [Green Version]
  12. Liang, K.; Li, D. A Direct Method of Interval Banzhaf Values of Interval Cooperative Games. J. Syst. Sci. Syst. Eng. 2019, 28, 382–391. [Google Scholar] [CrossRef]
  13. Meng, F.; Chen, X.; Tan, C. Cooperative Fuzzy Games with Interval Characteristic Functions. Int. J. Oper. Res. 2016, 16, 1–24. [Google Scholar] [CrossRef]
  14. Palanci, O.; Alparslan Gök, S.Z.; Olgun, M.O.; Weber, G.-W. Transportation Interval Situations and Related Games. OR Spectrum 2016, 38, 119–136. [Google Scholar] [CrossRef]
  15. Alparslan Gök, S.Z.; Branzei, R.; Tijs, S. Airport Interval Games and Their Shapley Value. Oper. Res. Decis. 2009, 19, 9–18. [Google Scholar]
  16. Alparslan Gök, S.Z. Cooperative Interval Games: Theory and Applications; Lambert Academic Publishing: Chisinau, Moldova, 2010. [Google Scholar]
  17. Branzei, R.; Branzei, O.; Alparslan Gök, S.Z.; Tijs, S. Cooperative Interval Games: A Survey. Cent. Eur. J. Oper. Res. 2010, 18, 397–411. [Google Scholar] [CrossRef]
  18. Ishihara, S.; Shino, J. A Solution Mapping and Its Axiomatization in Two-Person Interval Games. J. Oper. Res. Soc. Jpn. 2021, 64, 214–226. [Google Scholar] [CrossRef]
  19. Alparslan Gök, S.Z.; Branzei, R.; Tijs, S. Cores and Stable Sets for Interval-Valued Games. CentER Discussion Paper: No. 2008–17. 2008. Available online: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1094653 (accessed on 18 October 2022).
  20. Alparslan Gök, S.Z.; Branzei, R.; Tijs, S. Convex Interval Games. J. Appl. Math. Decis. Sci. 2009, 2009, 342089. [Google Scholar] [CrossRef] [Green Version]
  21. Schmeidler, D. The Nucleolus of a Characteristic Function Game. SIAM J. Appl. Math. 1969, 17, 1163–1170. [Google Scholar] [CrossRef]
  22. Aumann, R.J.; Maschler, M. The Bargaining Set for Cooperative Games. Ann. Math. Stud. 1964, 52, 443–476. [Google Scholar]
  23. Davis, M.; Maschler, M. The Kernel of a Cooperative Game. Nav. Res. Logist. Q. 1965, 12, 223–259. [Google Scholar] [CrossRef]
  24. Han, W.; Sun, H.; Xu, G. A New Approach of Cooperative Interval Games: The Interval Core and Shapley Value Revisited. Oper. Res. Lett. 2012, 40, 462–468. [Google Scholar] [CrossRef]
  25. Alparslan Gök, S.Z. On the Interval Shapley Value. Optimization 2014, 63, 747–755. [Google Scholar]
  26. Alparslan Gök, S.Z.; Branzei, R.; Tijs, S. The Interval Shapley Value: An Axiomatization. Cent. Eur. J. Oper. Res. 2010, 18, 131–140. [Google Scholar] [CrossRef]
  27. Moore, R. Methods and Applications of Interval Analysis; SIAM Studies in Applied Mathematics; SIAM: Philadelphia, PA, USA, 1979. [Google Scholar]
  28. Habis, H.; Herings, P.J.-J. Transferable Utility Games with Uncertainty. J. Econ. Theory 2011, 146, 2126–2139. [Google Scholar] [CrossRef] [Green Version]
  29. Mallozzi, L.; Vidal-Puga, J. Uncertainty in Cooperative Interval Games: How Hurwicz Criterion Compatibility Leads to Egalitarianism. Ann. Oper. Res. 2021, 301, 143–159. [Google Scholar] [CrossRef]
  30. Palanci, O.; Alparslan Gök, S.Z.; Weber, G.-W. An Axiomatization of the Interval Shapley Value and on Some Interval Solution Concepts. In Contributions to Game Theory and Management; St. Petersburg University Press: St. Petersburg, Russia, 2015; Volume VIII, pp. 243–251. [Google Scholar]
  31. Fishburn, P.C.; Pollak, H.O. Fixed—Route Cost Allocation. Am. Math. Mon. 1983, 90, 366–378. [Google Scholar] [CrossRef]
  32. Young, H.P. Monotonic Solutions of Cooperative Games. Int. J. Game Theory 1985, 14, 65–72. [Google Scholar] [CrossRef]
  33. Hart, S.; Mass-Colell, A. Potential, Value, and Consistency. Econometrica 1989, 57, 589–614. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Shino, J.; Ishihara, S.; Yamauchi, S. Shapley Mapping and Its Axiomatizations in n-Person Cooperative Interval Games. Mathematics 2022, 10, 3963. https://doi.org/10.3390/math10213963

AMA Style

Shino J, Ishihara S, Yamauchi S. Shapley Mapping and Its Axiomatizations in n-Person Cooperative Interval Games. Mathematics. 2022; 10(21):3963. https://doi.org/10.3390/math10213963

Chicago/Turabian Style

Shino, Junnosuke, Shinichi Ishihara, and Shimpei Yamauchi. 2022. "Shapley Mapping and Its Axiomatizations in n-Person Cooperative Interval Games" Mathematics 10, no. 21: 3963. https://doi.org/10.3390/math10213963

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop