[論文レビュー] Mechanism Design with Execution Uncertainty

Ryan Porter, Amir Ronen+2 more|arXiv (Cornell University)|Dec 12, 2012

Auction Theory and Applications参考文献 11被引用数 26

ひとこと要約

本稿は、実行の不確実性下でのタスク割り当てを扱うために、障害に強いメカニズム設計を導入する。エージェントの非公開情報として、費用と障害確率の両方が含まれる。いくつかの設定に対して、インcentive-compatible（インcentive適合性）、個別合理的（individually rational）、かつ効率的なメカニズムを提示するとともに、不可能性の結果も提示し、信頼性の低い環境における強固なメカニズム設計の基礎的原則を確立する。

ABSTRACT

We introduce the notion of fault tolerant mechanism design, which extends the standard game theoretic framework of mechanism design to allow for uncertainty about execution. Specifically, we define the problem of task allocation in which the private information of the agents is not only their costs to attempt the tasks, but also their probabilities of failure. For several different instances of this setting we present technical results, including positive ones in the form of mechanisms that are incentive compatible, individually rational and efficient, and negative ones in the form of impossibility theorems.

研究の動機と目的

• 伝統的なメカニズム設計を、タスク実行に関する不確実性、特にエージェントの障害確率を組み込むことで拡張すること。
• エージェントの非公開情報として、費用とタスクを完了する際の障害の可能性が両方含まれる設定をモデル化すること。
• 実行の不確実性がある中でも、インcentive-compatible（インcentive適合性）、個別合理的（individually rational）、かつ効率的なメカニズムを設計すること。
• このようなメカニズムが構築可能な条件を同定し、逆に、それらが証明的に不可能である場合を特定すること。
• 信頼性の低いエージェントを伴うシステムにおける、信頼性の高いタスク割り当ての理論的基盤を提供すること。

提案手法

• エージェントが費用と障害確率を非公開情報として報告するタスク割り当ての形式的モデルを導入する。
• インcentive-compatible（インcentive適合性）であるメカニズムを定義し、エージェントが非公開情報を真実に報告するよう保証する。
• 個別合理的（IR）制約を課し、エージェントが期待される効用が非負である場合にのみ参加するようにする。
• 期待効用の計算を用いて、不確実性下での社会的福祉を最大化する効率的メカニズムを設計する。
• ゲーム理論的分析を用いて、さまざまな設定における存在性および不可能性の結果を証明する。
• 期待効用最大化とベイジアンインcentive適合性を用いて、メカニズムの性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 エージェントが費用と障害確率の両方について非公開情報を有する状況において、インcentive-compatible（インcentive適合性）なメカニズムを設計できるか？
• RQ2 実行の不確実性が存在する中で、どのような条件下でメカニズムが個別合理的かつ効率的になるか？
• RQ3 特定の設定では、このようなメカニズムの構築が根本的に不可能であるという制限は存在するか？
• RQ4 障害確率は、インcentive-compatible（インcentive適合性）なメカニズムの設計と性能にどのように影響を与えるか？
• RQ5 実行が不確実な状況において、効率性、真実性、実現可能性の間にはどのようなトレードオフが生じるか？

主な発見

• 本稿は、実行の不確実性を伴うタスク割り当て問題の特定のインスタンスに対して、インcentive-compatible（インcentive適合性）、個別合理的（individually rational）、かつ効率的なメカニズムを提示する。
• 障害確率が強く相関している、または観測が困難な場合、このようなメカニズムが存在しないことを示す不可能性定理を確立する。
• ベイジアン仮定の下での期待効用最大化が、強固なメカニズムの設計を可能にすることを実証する。
• エージェントの障害確率が非公開かつ独立している場合、インcentive-compatible（インcentive適合性）は達成可能であり、インcentiveを一致させるように報酬を構造化すればよい。
• エージェント行動と情報構造に関するやや弱い仮定の下では、効率性と真実性を同時に達成できることを示す。
• 実行の不確実性がメカニズムの構造に適切に反映されていない場合、メカニズム設計における構造的制限が生じることを同定する。