Mechanisms for Making Crowds Truthful Andrew Mao, Sergiy Nesterko.

Slides:



Advertisements
Similar presentations
Eliciting Honest Feedback 1.Eliciting Honest Feedback: The Peer-Prediction Model (Miller, Resnick, Zeckhauser) 2.Minimum Payments that Reward Honest Feedback.
Advertisements

Complexity Results about Nash Equilibria Vincent Conitzer, Tuomas Sandholm International Joint Conferences on Artificial Intelligence 2003 (IJCAI’03) Presented.
A study of Correlated Equilibrium Polytope By: Jason Sorensen.
CPS Bayesian games and their use in auctions Vincent Conitzer
USING LOTTERIES TO APPROXIMATE THE OPTIMAL REVENUE Paul W. GoldbergUniversity of Liverpool Carmine VentreTeesside University.
Non myopic strategy Truth or Lie?. Scoring Rules One important feature of market scoring rules is that they are myopic strategy proof. That means that.
This Segment: Computational game theory Lecture 1: Game representations, solution concepts and complexity Tuomas Sandholm Computer Science Department Carnegie.
An Approximate Truthful Mechanism for Combinatorial Auctions An Internet Mathematics paper by Aaron Archer, Christos Papadimitriou, Kunal Talwar and Éva.
For any player i, a strategy weakly dominates another strategy if (With at least one S -i that gives a strict inequality) strictly dominates if where.
Game Theory 1. Game Theory and Mechanism Design Game theory to analyze strategic behavior: Given a strategic environment (a “game”), and an assumption.
Preference Elicitation Partial-revelation VCG mechanism for Combinatorial Auctions and Eliciting Non-price Preferences in Combinatorial Auctions.
Network Theory and Dynamic Systems Game Theory: Mixed Strategies
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
DECISION MARKETS WITH GOOD INCENTIVES Yiling Chen (Harvard), Ian Kash (Harvard), Internet and Network Economics, 2011.
Chapter 6 © 2006 Thomson Learning/South-Western Game Theory.
Cooperative/coalitional game theory Vincent Conitzer
Complexity Results about Nash Equilibria
An Introduction to Game Theory Part II: Mixed and Correlated Strategies Bernhard Nebel.
Robust Mechanisms for Information Elicitation Aviv Zohar & Jeffrey S. Rosenschein.
Agent Technology for e-Commerce Chapter 10: Mechanism Design Maria Fasli
Beyond selfish routing: Network Formation Games. Network Formation Games NFGs model the various ways in which selfish agents might create/use networks.
Computational Methods for Management and Economics Carla Gomes
Robust Mechanisms for Information Elicitation Aviv Zohar & Jeffrey S. Rosenschein The Hebrew University.
A Scalable Network Resource Allocation Mechanism With Bounded Efficiency Loss IEEE Journal on Selected Areas in Communications, 2006 Johari, R., Tsitsiklis,
Free-rider problem in peer-to- peer networks Sumitra Ganesh.
Complexity of Mechanism Design Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Minimax strategies, Nash equilibria, correlated equilibria Vincent Conitzer
EC941 - Game Theory Prof. Francesco Squintani Lecture 2 1.
Collusion and the use of false names Vincent Conitzer
Chapter 37 Asymmetric Information. Information in Competitive Markets In purely competitive markets all agents are fully informed about traded commodities.
Social Choice Session 7 Carmen Pasca and John Hey.
CPS 173 Mechanism design Vincent Conitzer
Multi-Unit Auctions with Budget Limits Shahar Dobzinski, Ron Lavi, and Noam Nisan.
© 2009 Institute of Information Management National Chiao Tung University Lecture Note II-3 Static Games of Incomplete Information Static Bayesian Game.
Sequences of Take-It-or-Leave-it Offers: Near-Optimal Auctions Without Full Valuation Revelation Tuomas Sandholm and Andrew Gilpin Carnegie Mellon University.
Auction Seminar Optimal Mechanism Presentation by: Alon Resler Supervised by: Amos Fiat.
Nash equilibrium Nash equilibrium is defined in terms of strategies, not payoffs Every player is best responding simultaneously (everyone optimizes) This.
Standard and Extended Form Games A Lesson in Multiagent System Based on Jose Vidal’s book Fundamentals of Multiagent Systems Henry Hexmoor, SIUC.
Auction Theory תכנון מכרזים ומכירות פומביות Topic 7 – VCG mechanisms 1.
Automated Design of Multistage Mechanisms Tuomas Sandholm (Carnegie Mellon) Vincent Conitzer (Carnegie Mellon) Craig Boutilier (Toronto)
Yang Cai Oct 08, An overview of today’s class Basic LP Formulation for Multiple Bidders Succinct LP: Reduced Form of an Auction The Structure of.
© 2010 W. W. Norton & Company, Inc. 37 Asymmetric Information.
Asymmetric Information
Efficiency and the Redistribution of Welfare Milan Vojnovic Microsoft Research Cambridge, UK Joint work with Vasilis Syrgkanis and Yoram Bachrach.
Mechanism design. Goal of mechanism design Implementing a social choice function f(u 1, …, u |A| ) using a game Center = “auctioneer” does not know the.
Regret Minimizing Equilibria of Games with Strict Type Uncertainty Stony Brook Conference on Game Theory Nathanaël Hyafil and Craig Boutilier Department.
Automated Mechanism Design Tuomas Sandholm Presented by Dimitri Mostinski November 17, 2004.
1 What is Game Theory About? r Analysis of situations where conflict of interests is present r Goal is to prescribe how conflicts can be resolved 2 2 r.
Mechanism Design with Strategic Mediators Moran Feldman EPFL Joint work with: Moshe Babaioff, Microsoft Research Moshe Tennenholtz, Technion.
MAIN RESULT: We assume utility exhibits strategic complementarities. We show: Membership in larger k-core implies higher actions in equilibrium Higher.
Empirical Aspects of Plurality Elections David R. M. Thompson, Omer Lev, Kevin Leyton-Brown & Jeffrey S. Rosenschein COMSOC 2012 Kraków, Poland.
5.1.Static Games of Incomplete Information
By: Donté Howell Game Theory in Sports. What is Game Theory? It is a tool used to analyze strategic behavior and trying to maximize his/her payoff of.
M9302 Mathematical Models in Economics Instructor: Georgi Burlakov 2.1.Dynamic Games of Complete and Perfect Information Lecture
Information Design: A unified Perspective cn
Yuan Deng Vincent Conitzer Duke University
Bayesian games and mechanism design
CPS Mechanism design Michael Albert and Vincent Conitzer
The Duality Theorem Primal P: Maximize
Extensive-form games and how to solve them
Vincent Conitzer CPS Repeated games Vincent Conitzer
Competition in Persuasion
Vincent Conitzer Mechanism design Vincent Conitzer
Vincent Conitzer CPS 173 Mechanism design Vincent Conitzer
Vincent Conitzer Repeated games Vincent Conitzer
Lecture 20 Linear Program Duality
Normal Form (Matrix) Games
Information, Incentives, and Mechanism Design
Vincent Conitzer CPS Repeated games Vincent Conitzer
Vincent Conitzer CPS Mechanism design Vincent Conitzer
Presentation transcript:

Mechanisms for Making Crowds Truthful Andrew Mao, Sergiy Nesterko

Improving Peer Prediction  Weakness in the Miller et al. paper:  Honest reporting is not a unique equilibrium (or even Pareto- optimal)  Collusion is not limited to symmetric strategies, nontransferable utility  Does not give a minimum bound on the payoff between lying and truth-telling  Players may be indifferent if difference in payoffs is less than ε  Scoring rules cannot be easily extended to accommodate new constraints

Overview  Address cases of collusion  Improve payment mechanism by creating unique NE, or at least Pareto-optimal NE  Use multiple reference raters (>= 4)  "...By giving a higher reward for matching all but one of the reference reports, it is possible to give a higher expected payoff to the truthful reporting equilibrium..."  Symmetric and asymmetric strategies  Transferable / non-transferable utility  Automated mechanism design approach  Payments computed by optimization, rather than closed form scoring rules

Some Features  Only pure strategies are considered  Mixed strategy Bayes-Nash equilibria are too complicated to compute  Initially, prove NE for truthful reporting, then extend to different collusive cases  Payments to players for good or bad reports determine best-response strategies

The Model  Many buyers experience the same product with varying levels of quality.  Define type as product quality, with a discrete distribution.  We'll use just two types - Good and Bad.  Buyers can rate what they get with either 1 (good) or 0 (bad). They get some reward for reporting.  In sequential games, respondent rewards are computed in batches  Apply this model repeatedly to achieve sequential play

Model continued  Common prior among players, center  N respondents in each batch  Possible strategies: (0, n) and (1, n); for n = 0 … N-1  n is the number of other players that submit a positive report  Probability that n positive reports are submitted by remaining N-1 reviewers, given my signal o i :

Example of Incentive-Compatible Payments  Plumber Bob has the following prior:  P(G) = 0.8, P(B) = 0.2  P(1|G) = 0.9, P(1|B) = 0.15  Suppose Alice (customer) has a job done well. Then P(G|1) =  She is told: "the report is paid only if it matches the reference report. A negative report is paid $2.62, while a positive report is paid $1.54"  Then Alice expects the next user to get good service from Bob with probability P(1|1) = P(1|G)P(G|1) + P(1|B)P(B|1) = 0.87.

Example continued  Alice wants to match the expected report of the next customer  So, if she tells the truth, expected payoff is 0.87 * * 0 = 1.34, if she lies 0.87 * * 2.62 = So, no incentive to lie.  Note that if we let P(G) = and P(B) = 0.999, this is reversed!  It is important that payoffs correspond to the right prior!  But even with smart payoffs, everyone 1 is still an equilibrium!  This is addressed in a later section

Automated Mechanism Design  i.e., how did we magically compute payments to Alice?  First proposed by Conitzer and Sandholm (2003)  In general, mechanisms are computed to satisfy specified design goals, instead of deriving closed form rules  Allows variations within a class of mechanisms to be dynamically generated  Mechanism can make use of specific available information In this case:  Computing payments by solving optimization problems

Incentive-Compatible Payment Mechanisms  Payment mechanism is incentive-compatible if honest reporting is a Nash Equilibrium  How do you compute the payment scheme so as to satisfy this?  Can you create a unique NE?  Is it efficient?  We want:  minimize expected payment to each player  reward margin between truthful and dishonest reports  all payments must be positive

Solving a Linear Program  Simple case: no collusion resistance  For this to make sense, everyone must have the same prior

Analytical Solution to the LP  From constraints in the LP, we have two nonzero decision variables (payments)  Must be for two separate reports: τ (0, n 1 ) and τ (1, n 2 )  Lemma: ratio of Pr[n|1]/Pr[n|0] is monotonically increasing in n  From the dual, expected payment depends on this ratio  Under cost minimization, incentive compatible payments are driven to n 1 = 0 and n 2 = N - 1, respectively  Result: only τ (0, 0) and τ (1, N-1) are positive payments

Satisfying Incentive Compatibility  Consider the conditions for incentive compatibility, with n 1 = 0, n 2 = N-1:  τ (0, 0) > τ (1, 0); τ (1, N-1) > τ (0, N-1)  In the 2-player case, this becomes  τ (0, 0) > τ (1, 0); τ (1, 1) > τ (0, 1)  Obviously, this introduces the "all-report-high" and "all- report-low" equilibria  Now, how do we fix this?  Add more constraints to the optimization problem!

Extensions  Coalition size (full coalition/fractional coalition)  Symmetric vs. asymmetric strategies  Transferable utility  Some combinations of these conditions are unreasonable  i.e. doesn’t make sense if colluders can make side payments but not coordinate on asymmetric strategies  Achieving unique or Pareto-optimal Nash equilibria

Extension: Full coalition, symmetric strategies, non-transferrable utilities  We want to get rid of the “all-report-X” Nash Equilibrium  Extending the plumber example to N = 4 agents, look at probabilities  Note the differences in distributions!

Example continued  Optimal payment scheme:  Reporter is encouraged to "even out" the 0 distribution, but the prior compensates  This gives the incentive for one person to switch when everyone else is reporting the same  Implicit collusion resistance to symmetric strategies

Extension: Partial Collusion, Asymmetric Strategies, Nontransferable Utility  Theorem: When more than half of the agents collude, no incentive-compatible payment mechanism can make truth-telling dominant strategy for the colluders  Cost of payments rises exponentially as the coalition fraction increases

Extension: Partial Collusion, Asymmetric Strategies, Transferable Utility  Note that the normalized cost rises much faster than before when participants can make side payments

Summary of Extensions  Some conditions lead to MILPs, which are harder to solve  Unique vs. Pareto-optimal NE  The latter is much cheaper  Partial collusion: payment cost increases dramatically beyond a threshold of colluders

Improvements  Extension to original peer prediction mechanism with automated mechanism design  Dynamically generated payments, so rules don't have to be in closed form  Expected payment from honest reporting better than lying by some guaranteed threshold  Different conditions can generate Unique, Pareto-optimal, or even Dominant NE, with corresponding different costs

Drawbacks  Common prior still required for BNE  Report space is discrete (binary, in fact)  Sequential nature of reports submission is not considered  Need at least a certain size group  Weird budget results if center has different prior from users  Not necessarily incentivizing players to spend effort to uncover information - why not just invent a report?

Discussion