Partial Verification as a Substitute for Money

被引：0
|
作者：
Ceppi, Sofia [1 ]
Kash, Ian [2 ]
Frongillo, Rafael [3 ]
机构：
[1] PROWLER Io, Cambridge, England
[2] Univ Illinois, Chicago, IL 60680 USA
[3] Univ Colorado, Boulder, CO 80309 USA
来源：
THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE | 2019年
关键词：
AUCTIONS;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Recent work shows that we can use partial verification instead of money to implement truthful mechanisms. In this paper we develop tools to answer the following question. Given an allocation rule that can be made truthful with payments, what is the minimal verification needed to make it truthful without them? Our techniques leverage the geometric relationship between the type space and the set of possible allocations.
引用
收藏
页码：1837 / 1844
页数：8
相关论文
共 50 条
  • [41] Verification of morphological and physical properties for the development of a lung substitute phantom using microspheres
    Fuse, Hiraku
    Otsuki, Shohei
    Fujisaki, Tatsuya
    Yasue, Kenji
    Hanada, Koichi
    Tomita, Fumihiro
    Abe, Shinji
    REVIEW OF SCIENTIFIC INSTRUMENTS, 2022, 93 (06):
  • [42] Modeling, analysis and verification of a partial shunt system
    Lee, JR
    IECEC 96 - PROCEEDINGS OF THE 31ST INTERSOCIETY ENERGY CONVERSION ENGINEERING CONFERENCE, VOLS 1-4, 1996, : 310 - 315
  • [43] Partial order reductions for security protocol verification
    Clarke, E
    Jha, S
    Marrero, W
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 503 - 518
  • [44] Automated Mechanism Design for Classification with Partial Verification
    Zhang, Hanrui
    Cheng, Yu
    Conitzer, Vincent
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 5789 - 5796
  • [45] Mechanism design with partial verification and revelation principle
    Lan Yu
    Autonomous Agents and Multi-Agent Systems, 2011, 22 : 217 - 223
  • [46] Partial recognizing algorithm for verification of workflow processes
    Kostanyan, Armen
    Varosyan, Anna
    15TH EUROPEAN CONCURRENT ENGINEERING CONFERENCE/5TH FUTURE BUSINESS TECHNOLOGY CONFERENCE, 2008, : 89 - 94
  • [47] Automatic Verification of Partial Correctness of Golog Programs
    Li, Naiqi
    Liu, Yongmei
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3113 - 3119
  • [48] Correcting for Partial Verification Bias: A Comparison of Methods
    de Groot, Joris A. H.
    Janssen, Kristel J. M.
    Zwinderman, Aeilko H.
    Bossuyt, Patrick M. M.
    Reitsma, Johannes B.
    Moons, Karel G. M.
    ANNALS OF EPIDEMIOLOGY, 2011, 21 (02) : 139 - 148
  • [49] Mechanism design with partial verification and revelation principle
    Yu, Lan
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2011, 22 (01) : 217 - 223
  • [50] Verification of partial designs using incremental QBF
    Miller, Christian
    Marin, Paolo
    Becker, Bernd
    AI COMMUNICATIONS, 2015, 28 (02) : 283 - 307
12345