Parametric mechanism design via quantifier elimination

Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper proposes an alternative automated mechanism design approach called parametric mechanism design via quantifier elimination (PMD-QE), which utilizes QE, a symbolic formula manipulation technique. In PMD-QE, we start from a skeleton of mechanisms, which is characterized by a set of parameters, e.g., critical values. The range of parameters where the given constraints are satisfied is automatically identified by QE. To demonstrate the potential of this idea, we are able to identify a non-trivial dominant-strategy incentive compatible mechanism for a setting where a bidder has a publicly known budget limit.

Original languageEnglish
Title of host publicationAAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
EditorsRafael H. Bordini, Pinar Yolum, Edith Elkind, Gerhard Weiss
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages1885-1886
Number of pages2
ISBN (Electronic)9781450337717
Publication statusPublished - Jan 1 2015
Event14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - Istanbul, Turkey
Duration: May 4 2015May 8 2015

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume3
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Other

Other14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
CountryTurkey
CityIstanbul
Period5/4/155/8/15

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Software
  • Control and Systems Engineering

Cite this

Iwasaki, A., Fujita, E., Todo, T., Iwane, H., Anai, H., Guo, M., & Yokoo, M. (2015). Parametric mechanism design via quantifier elimination. In R. H. Bordini, P. Yolum, E. Elkind, & G. Weiss (Eds.), AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (pp. 1885-1886). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 3). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).