Arbitration, Fairness and Stability Revenue Division in Collaborative Settings Yair Zick Advisor: Prof. Edith Elkind.
Download
Report
Transcript Arbitration, Fairness and Stability Revenue Division in Collaborative Settings Yair Zick Advisor: Prof. Edith Elkind.
Arbitration, Fairness
and Stability
Revenue Division in Collaborative Settings
Yair Zick
Advisor: Prof. Edith Elkind
Acknowledgments
Edith Elkind
Acknowledgments
My research collaborators, past and present!
Yoram Bachrach, Nina Balcan, Alejandro
Carbonara, George Chalkiadakis, Amit Datta,
Anupam Datta, Yuval Filmus, Kobi Gal, Nick
Jennings, Ian Kash, Peter Key, Yoad Lewenberg,
Vangelis Markakis, Moshik Mash, Reshef Meir,
Svetlana Obraztsova, Joel Oren, Dima Pasechnik,
Maria Polukarov, Ariel Procaccia, Jeffery S.
Rosenschein, Shayak Sen, Nisarg Shah, Arunesh
Sinha, Alexander Skopalik and Junxing Wang.
Thesis Outline
Goal: find reasonable revenue divisions among
collaborative agents.
Features: agents may belong to more than one
coalition; causes interdependencies.
Key insights:
- Agentsβ reaction to deviation strongly governs
stability of payoff division.
- We develop a framework for handling reaction to
deviation: arbitration functions
- New insights about stability of various MAS, and
their computational complexity.
Cooperative Games
Players divide into
coalitions to perform tasks
Coalition members can
freely divide profits.
How should profits be divided?
Cooperative Games
The coalitions players form are disjoint.
Each player is a member of only one
coalition β devotes all of his resources to a
single task.
A set of players - π = {1, β¦ , π}
Characteristic function - π£: 2π β β
π£(π) β how much money can the agents in
π make.
Induced Subgraph Games
β’ We are given a weighted graph
1
2
10
5
3
3
2
4
1
1
5
3
4
7
3
6
22
1
7
9
5
6
4
8
2
β’ Players are nodes; value of a coalition is the
value of the edges in the induced subgraph.
β’ Applications: markets, collaboration networks.
Network Flow Games
β’ We are given a weighted, directed graph
s
3
10
7
5
1
3
6
1
7
3
t
5
1
2
4
β’ Players are edges; value of a coalition is the value
of the max. flow it can pass from s to t.
β’ Applications: computer networks, traffic flow,
transport networks.
Cost Sharing
Ride sharing: how to fairly split a taxi fare?
Airport
$50
$70
$60
Cost Sharing
Ride sharing: how to fairly split a taxi fare?
Cost Sharing
Ride sharing: how to fairly split a taxi fare?
For every set of riders π β π,
π£ π =estimated fare if only members
of π share the cab (uses TaxiFareFinder)
Rider π must pay the Shapley value of
the resulting game.
Cooperative Games
The Shapley value:
1. Pick a permutation uniformly at random
2. The payoff to π equals the expected
marginal contribution to her predecessors.
3
6
4
1
2
5
π£ 3
π£ π β π£({3,6,4,1,2})
π£ {3,6} β π£(3)
π£ {3,6,4,1} β π£({3,6,4})
π£ {3,6,4} β π£({3,6})
π£ {3,6,4,1,2} β π£({3,6,4,1})
Cooperative Games
The core: an outcome (πΆπ, π±) is in the core
if
β’ No outside payments:
πβπ π₯π = π£(π) for all π β πΆπ
β’ Stability: πβπ π₯π β₯ π£(π) for all π β π
No set of players can get more by deviating
from πΆπ, π±
OCF Games
(Chalkiadakis et al., JAIR 2010)
Agents have divisible
resources
Overlapping Coalition
Formation (OCF)
How should profits be divided?
OCF Games
β’ A set of agents π = {1, β¦ , π}; each
agent controls a divisible resource.
β’ A function π£: 0,1 π β β
π£(0.5,0.3,0) = 7
βIf agent 1 contributes 50% of his
resource and agent 2 contributes 30%,
they will generate a profit of 7$β
OCF Games
β’ Each vector in [0,1]n describes how
much each agent contributes; called a
coalition.
β’ A coalition structure: a list of coalitions
such that the sum of contributions from
each agent is at most 1 (no agent
contributes more than 100%).
OCF Games
Features
1
5
β’ Simple model
β’ Applicable to many settings:
2
6
3
7
4
π£ π = 1 × $10
β’ Matching markets
β’ Network/multicommodity flows
s
β’ Agents completing tasks
(20πΊπ΅, $5)
10πΊπ΅
9
7
5
100πΊπ΅
(10πΊπ΅, $2)
(90πΊπ΅, $30)
t
6
8
10
3
4
6
5
1
4
3
s
8
5
4
8
30πΊπ΅
π£4,8 (π₯, π¦)
4
5
7
π£ πβ² =93 × $7 5
7
Red: 8 tons, worth 10$/kg
Blue: 12 tons, worth 7$/kg
3
2
t
πΆπ, π±
5
8
Outcome
3
4
3
74 0 6
9
14
6
2
2
4
5
5
1
17
6
2
10
3 3
4
4
5
8
4
Making them Offers they
Canβt Refuse:
The Arbitration Function
Deviations and Reactions to
Deviation in OCF Games
Deviation in OCF Games
A set deviates from an outcome (πΆπ, π±) by
reallocating resources.
This is profitable if each member of the
deviating set gets more than what it got
under (πΆπ, π±).
This needs to be carefully defined.
5
Total payoff: 14
11
13
8
3
4
3
74 0
21
8 5
4
1
2
Total payoff: 12
11
9
2
6
2
3 3
4
6
2
4
5
4
The Arbitration Function
Given a deviation of a set π β π from an
outcome πΆπ, π± , the arbitration function
specifies how much each coalition with
non-π members will give π.
Profitable Deviation
Current outcome
Deviate; how much do we
get from arbitration fn.?
$5
$0
Form coalitions, divide
revenue so that all profit!
$5
$0
π can π-profitably deviate (i.e. has a profitable
deviation given π), if each member of π is getting
strictly more than what they got under (πΆπ, π±).
Optimistic
βΊ βΊ βΊ
5
Refined
3
4
3
74 0
Sensitive
6
2
Conservative
21
8 5
4
1
2
3 3
4
6
2
4
5
4
βAgent Rightsβ vs. Stability
The more generous the arbitration
function, the more egalitarian the payoff
division.
However, freedom to deviate causes social
instability.
Stability in OCF Games
The Arbitrated Core
The Arbitrated Core
Given an arbitration function π, an
outcome πΆπ, π± is said to be π-stable if
no subset can π-profitably deviate (i.e. has
a profitable deviation given π).
The π-core is the set of all π-stable
outcomes.
The Arbitrated Core
To find an π-profitable deviation for π β
π, we need to:
1. Find some way of dividing πβs resources to new coalitions
2. Allocate payoffs from newly formed coalitions
3. Allocate payoffs from arbitration function.
Very complicated!
A simpler condition for π-profitable
deviation: if πβ (πΆπ, π±, π) > ππ(πΆπ, π±) then
π contains a subset that can deviate.
Theorem: if πβ (πΆπ, π±, π) > ππ(πΆπ, π±) then
We can deviate
π contains a subset that can
without those guys!
π-profitably deviate. We can deviate without
1. Let us take some deviation that
ensures a total payoff of πβ (πΆπ, π±, π)
2. Divide payoff such that βtotal
unhappinessβ is minimal.
3. Happy deviators are green
Indifferent deviators are white
Unhappy deviators are red
4. Green deviators are not dependent
on non-green deviators: could have
deviated by themselves and strictly
gained!
those guys!
We can deviate
Iwithout
can transfer
thosemoney
guys! to you
if we share a coalition where
I get paid!
β¦ so, we canβt share
coalitions where I get paid
(could reduce unhappiness)!
Some Arbitrated Cores
Conservative Core: if π β π deviates, it gets
nothing from non-deviators. πβ πΆπ, π₯, π is the
most π can make on its own: π£ β π
Theorem: the conservative core is not empty if
and only if the (classic) core of its discrete
superadditive cover is not empty.
Conservative arbitration makes OCF games
βcollapseβ to classic cooperative games!
Classic CGT assumes conservative
reaction to deviation!
Is it all for Naught?
Refined core: a coalition that is not
changed by deviation will still pay
deviators; otherwise it will pay nothing.
Things get interesting hereβ¦
The Refined Core
Interesting observation: it is possible that
one optimal coalition structure can be
stabilized w.r.t. the refined arbitration
function, but another would not!
The Refined Core
π£ 1,0,0 = 5:
player 1 can make 5 alone.
π£ 0.5,0.5,0 = 10, π£ 1,1,0 = 20:
players 1 and 2 can make 20 together (by doing one
big task, or two small ones)
π£ 0,0.5,1 = 9:
Must get at least
players 2 and 3 can make 9 together.
9 from each
coalition!
Leaves me with
at most 2!
10
1
10
2
9
3
The Refined Core
π£ 1,0,0 = 5:
player 1 can make 5 alone.
π£ 0.5,0.5,0 = 10, π£ 1,1,0 = 20:
players 1 and 2 can make 20 together (by doing one
big task, or two small ones)
π£ 0,0.5,1 = 9:
players 2 and 3 can make 9 together.
Must get at least 9!
Must get at least 5!
1
10
20
10
2
3
The Refined Core
Theorem: if π£ is homogeneous of degree
π β₯ 1, then the refined core is not empty.
When π£ guarantees high ROI, highly stable
payoff divisions exist.
Computing Solutions to
OCF Games
Finding optimal coalition structures
and payoffs in polynomial time
Computational Aspects
Computing solutions to OCF games is
computationally hard.
(finding an optimal coalition structure,
finding an π-core allocationβ¦)
Computational Aspects
These problems become easy when:
β’
β’
β’
β’
Agents can only form small coalitions
Agent interactions are simple (interaction graph)
Discrete, poly-bounded, agent resources.
Arbitration function is simple (local).
π€7
π£1,2 π₯, π¦
π€2
π£3,4 π₯, π¦
π€4
π€1
π£1,5 π₯, π¦
π€5
π£1,3 π₯, π¦
π€3
π£5,7 π₯, π¦
π£5,8 π₯, π¦
π£5,9 π₯, π¦
π£3,6 π₯, π¦
π€6
π€9
π€8
Local: the decision of how
much to give depends only
on the effect on the
coalition.
5
Can be 0, all, someβ¦
but independent of
how deviators behave
outside the coalition!
3
Global: may depend on the
effect deviation had on
other coalitions.
4
3
74 0
21
8 5
4
1
2
6
2
3 3
4
6
2
4
5
4
Computational Aspects
In order to find stable outcomes in
polynomial time, stick to the issues!
Specific Classes of OCF
Games
We identify a class of OCF games for
which the optimistic core is not
empty, and for which stable
outcomes can be efficiently
computed.
5
4
s
5
8
6
6
5
4
s
8
10
3
4
3
1
7
3
Construct
LP
t
7
4
2
5
π
π=1 πΆπ ππ
π:πβπ΄π πΆπ
β€ ππ , βπ β N
πΆπ β₯ 0, βπ β [π]
5
9
7
Red: 8 tons, worth 10$/kg
Blue: 12 tons, worth 7$/kg
max:
s.t.:
Generate Dual
t
min:
s.t.:
π
π=1 ππ πΎπ
πβπ΄π πΎπ
β₯ ππ , βπ β [π]
πΎπ β₯ 0, βπ β π
Given optimal solutions to primal and dual, πΆ, πΎ, set payoff to π from
task π to be π₯ππ = πΆπ πΎπ
This is a valid payoff division, and is in the optimistic core!
Summary
β’ We introduce a new concept to the study of OCF games:
the arbitration function.
β’ We reexamine solution concepts in light of the arbitration
function.
β’ We examine computational aspects arising in OCF games.
β’ We identify sufficient conditions for core non-emptiness in
OCF games.
β’ Also in thesis:
β Iterated revenue sharing (to appear in IJCAI 2015)
β Nucleolus, bargaining set and Shapley value for OCF games (read my
thesis!)
Future Work
β’ Conceptual:
β how lenient can the arbitration function be without
destabilizing the game?
β what games can be stabilized by a given arbitration
function? (partial answer in this thesis)
β’ Computational:
β can we find better algorithms with some assumptions on
the valuation function?
β Can we find approximately optimal/approximately stable
solutions?
β Computing other solution concepts?
Future Work
β’ New Frameworks:
β In application domains (some work on cellular networks)
β In economic domains (many market domains already form
overlapping coalitions; arbitration functions are natural)
β Arbitrators as a benchmark of the desirability of social
strictness/lenience.
A new research paradigm for the study of strategic
interaction (not just in CGT!)
β’ New Directions:
β Handling uncertainty
β Applying cooperative game theory (and OCF solution
concepts) in ML.
Publications this thesis is based on:
- Yair Zick and Edith Elkind.
Arbitrators in Overlapping Coalition Formation Games (AAMASβ11)
- Yair Zick, Georgios Chalkiadakis and Edith Elkind.
Overlapping Coalition Formation Games: Charting the Tractability Frontier
(AAMASβ12) (see newer version on ArXiv)
- Yair Zick, Evangelos Markakis and Edith Elkind.
Stability via Convexity and LP Duality in Games with Overlapping Coalitions
(AAAIβ12)
- Yair Zick, Evangelos Markakis and Edith Elkind.
Arbitration and Stability in Cooperative Games with Overlapping Coalitions (JAIRβ14)
- Yair Zick, Yoram Bachrach, Ian Kash and Peter Key.
Non-Myopic Negotiators See What's Best (IJCAIβ15)
Thank you! Questions?
My e-mail: [email protected]
My website: http://www.cs.cmu.edu/~yairzick/