Foundation of Parametric Mechanism Design Technique via Quantifier Elimination

• Project/Area Number: 26540118
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Multi-year Fund
• Research Field: Intelligent informatics
• Research Institution: Kyushu University
• Principal Investigator: YOKOO MAKOTO 九州大学, システム情報科学研究科(研究院, 教授 (20380678)
• Co-Investigator(Kenkyū-buntansha): TODO Taiki 九州大学, システム情報科学研究院, 助教 (50708394)
• Co-Investigator(Renkei-kenkyūsha): IWASAKI Atsushi 電気通信大学, 情報システム学研究科, 准教授 (30380679)
• Project Period (FY): 2014-04-01 – 2016-03-31
• Project Status: Completed (Fiscal Year 2015)
• Budget Amount: ¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000); Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
• Keywords: マルチエージェントシステム / ゲーム理論 / 限量子消去法 / オークション / メカニズムデザイン / 最適化

Outline of Final Research Achievements

In this project, we 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 first develop a skeleton of mechanisms, which is characterized by a set of parameters, e.g., critical values for auction. The range of parameters where the given constraints are satisfied is automatically identified by QE. To demonstrate the potential of this idea, we identified a non-trivial dominant-strategy incentive compatible mechanism that maximizes the sellers revenue by appropriately setting those parameters, for a setting where a bidder has a publicly known budget limit.
Some part of the contribution appeared in the proceedings of AAMAS-15, which is the top-tier international conference in the field of multi-agent systems, and presented at a poster session.

Research Products

• [Int'l Joint Research] University of Adelaide(Australia)
• [Presentation] Manipulations in Two-Agent Sequential Allocation with Random Sequences (2016)
  • Author(s): Yuto Tominaga, Taiki Todo, Makoto Yokoo
  • Organizer: The 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)
  • Place of Presentation: シンガポール（シンガポール）
  • Year and Date: 2016-05-09
  • Int'l Joint Research
• [Presentation] Parametric Mechanism Design via Quantifier Elimination (2015)
  • Author(s): Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
  • Organizer: Fourteenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15)
  • Place of Presentation: Istanbul, Turkey
  • Year and Date: 2015-05-04 – 2015-05-08
• [Presentation] Parametric Mechanism Design via Quantifier Elimination (2015)
  • Author(s): Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
  • Organizer: The 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)
  • Place of Presentation: イスタンブール（トルコ）
  • Year and Date: 2015-05-04
  • Int'l Joint Research