Automated Mechanism Design: Approaches and Applications
Tutors:
Vincent Conitzer, Department of Computer Science and Department of Economics, Duke University
Yevgeniy Vorobeychik, Department of Computer Science, University of Michigan
The field of mechanism design has had considerable impact over the
years, particularly in enlightening the design of complex auctions
such as the FCC auction for selling wireless spectrum licenses.
Nevertheless, as useful as theory has been in providing intuition, it
has also occasionally created much confusion when attempts have been
made to apply it in practice. One problem is that while the
theoretical literature has much to say about mechanism design with the
objective of maximizing efficiency, it has considerably less to say
about revenue maximizing auctions in general settings, and almost
nothing for more esoteric objectives. In practice, it appears that
the esoteric objectives often dominate design considerations, either
because of the specific context in which the design choices are made,
or because the true notion of social welfare is too difficult to
quantify, and the designer attempts to use proxy objectives in its
stead.
Automated mechanism design (AMD) is an attempt to address the issue of
designing mechanisms computationally for arbitrary objective
functions. In this tutorial, we describe the AMD problem in two
settings. First, we assume that the outcome and type sets are finite
for all players. In that case, randomized mechanisms can be designed
in polynomial time, for example, using linear programming, whereas
designing deterministic mechanisms is NP-Hard. Second, we assume that
the designer has control over a finite set of continuous parameters,
and the sets of outcomes and player types are infinite. In this
setting, AMD can be formulated as a stochastic black-box optimization
problem and solved using stochastic search techniques such as
simulated annealing. In addition, we review the work in automated
mechanism design when only partial type information is revealed and
describe a series of applications of the various approaches. |