• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Foundation of Parametric Mechanism Design Technique via Quantifier Elimination

Research Project

Project/Area Number 26540118
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Intelligent informatics
Research InstitutionKyushu 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 *help
¥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.

Report

(3 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • Research Products

    (4 results)

All 2016 2015 Other

All Int'l Joint Research (1 results) Presentation (3 results) (of which Int'l Joint Research: 2 results)

  • [Int'l Joint Research] University of Adelaide(Australia)

    • Related Report
      2015 Annual Research Report
  • [Presentation] Manipulations in Two-Agent Sequential Allocation with Random Sequences2016

    • 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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Parametric Mechanism Design via Quantifier Elimination2015

    • 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
    • Related Report
      2014 Research-status Report
  • [Presentation] Parametric Mechanism Design via Quantifier Elimination2015

    • 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
    • Related Report
      2015 Annual Research Report
    • Int'l Joint Research

URL: 

Published: 2014-04-04   Modified: 2017-05-10  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi