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).

Parametric mechanism design via quantifier elimination. / Iwasaki, Atsushi; Fujita, Etsushi; Todo, Taiki; Iwane, Hidenao; Anai, Hirokazu; Guo, Mingyu; Yokoo, Makoto.

AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. ed. / Rafael H. Bordini; Pinar Yolum; Edith Elkind; Gerhard Weiss. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. p. 1885-1886 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 3).

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

Iwasaki, A, Fujita, E, Todo, T, Iwane, H, Anai, H, Guo, M & Yokoo, M 2015, Parametric mechanism design via quantifier elimination. in RH Bordini, P Yolum, E Elkind & G Weiss (eds), AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, vol. 3, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 1885-1886, 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, 5/4/15.
Iwasaki A, Fujita E, Todo T, Iwane H, Anai H, Guo M et al. Parametric mechanism design via quantifier elimination. In Bordini RH, Yolum P, Elkind E, Weiss G, editors, AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2015. p. 1885-1886. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).
Iwasaki, Atsushi ; Fujita, Etsushi ; Todo, Taiki ; Iwane, Hidenao ; Anai, Hirokazu ; Guo, Mingyu ; Yokoo, Makoto. / Parametric mechanism design via quantifier elimination. AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. editor / Rafael H. Bordini ; Pinar Yolum ; Edith Elkind ; Gerhard Weiss. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2015. pp. 1885-1886 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).
@inproceedings{4939c3396e414ed88296bfc91ba3ae9f,
title = "Parametric mechanism design via quantifier elimination",
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.",
author = "Atsushi Iwasaki and Etsushi Fujita and Taiki Todo and Hidenao Iwane and Hirokazu Anai and Mingyu Guo and Makoto Yokoo",
year = "2015",
month = "1",
day = "1",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",
pages = "1885--1886",
editor = "Bordini, {Rafael H.} and Pinar Yolum and Edith Elkind and Gerhard Weiss",
booktitle = "AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems",

}

TY - GEN

T1 - Parametric mechanism design via quantifier elimination

AU - Iwasaki, Atsushi

AU - Fujita, Etsushi

AU - Todo, Taiki

AU - Iwane, Hidenao

AU - Anai, Hirokazu

AU - Guo, Mingyu

AU - Yokoo, Makoto

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84944711740&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84944711740&partnerID=8YFLogxK

M3 - Conference contribution

T3 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

SP - 1885

EP - 1886

BT - AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems

A2 - Bordini, Rafael H.

A2 - Yolum, Pinar

A2 - Elkind, Edith

A2 - Weiss, Gerhard

PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

ER -