Parametric mechanism design via quantifier elimination

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

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抜粋

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.

元の言語英語
ホスト出版物のタイトルAAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
編集者Rafael H. Bordini, Pinar Yolum, Edith Elkind, Gerhard Weiss
出版者International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
ページ1885-1886
ページ数2
ISBN(電子版)9781450337717
出版物ステータス出版済み - 1 1 2015
イベント14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015 - Istanbul, トルコ
継続期間: 5 4 20155 8 2015

出版物シリーズ

名前Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
3
ISSN(印刷物)1548-8403
ISSN(電子版)1558-2914

その他

その他14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
トルコ
Istanbul
期間5/4/155/8/15

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence
  • Software
  • Control and Systems Engineering

これを引用

Iwasaki, A., Fujita, E., Todo, T., Iwane, H., Anai, H., Guo, M., & Yokoo, M. (2015). Parametric mechanism design via quantifier elimination. : R. H. Bordini, P. Yolum, E. Elkind, & G. Weiss (版), 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; 巻数 3). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).