Parametric mechanism design via quantifier elimination

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

Parametric mechanism design via quantifier elimination

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

Intelligence Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
Editors	Rafael H. Bordini, Pinar Yolum, Edith Elkind, Gerhard Weiss
Publisher	International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages	1885-1886
Number of pages	2
ISBN (Electronic)	9781450337717
Publication status	Published - 2015
Event	14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - Istanbul, Turkey Duration: May 4 2015 → May 8 2015

Publication series

Name	Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume	3
ISSN (Print)	1548-8403
ISSN (Electronic)	1558-2914

Other

Other	14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
Country/Territory	Turkey
City	Istanbul
Period	5/4/15 → 5/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 et al.
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 proceeding › Conference 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 et al. / 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",

note = "Publisher Copyright: Copyright {\textcopyright} 2015, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 ; Conference date: 04-05-2015 Through 08-05-2015",

year = "2015",

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

Y1 - 2015

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

AN - SCOPUS:84944711740

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)

T2 - 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015

Y2 - 4 May 2015 through 8 May 2015

ER -

Parametric mechanism design via quantifier elimination

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this