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 条
  • [31] Verification of Conditional Partial Order Graphs
    Mokhoy, Andrey
    Yakovlev, Alex
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 128 - 137
  • [32] On the Functional Verification of Dynamic Partial Reconfiguration
    Ahmed, Islam
    Mostafa, Hassan
    Mohieldin, Ahmed Nader
    2018 IEEE 61ST INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2018, : 1126 - 1129
  • [33] DOSE VERIFICATION BY PARTIAL EVACUATION OF TRAPS
    MARWAHA, GL
    SINGH, N
    MATHUR, VK
    INTERNATIONAL JOURNAL OF APPLIED RADIATION AND ISOTOPES, 1982, 33 (04): : 293 - 295
  • [34] Demand for money in Croatia in partial adjustment models
    Belullo, Alen
    Saric, Ivana
    EKONOMSKA ISTRAZIVANJA-ECONOMIC RESEARCH, 2007, 20 (01): : 60 - 71
  • [35] THE DEVELOPMENT OF NATIONAL TRANSACTIONS ACCOUNTS - CANADAS VERSION OF OR SUBSTITUTE FOR MONEY FLOWS ACCOUNTS
    READ, LM
    CANADIAN JOURNAL OF ECONOMICS & POLITICAL SCIENCE, 1957, 23 (01): : 42 - 56
  • [36] Properties of concrete containing jarosite as a partial substitute for fine aggregate
    Mehra, Priyansha
    Gupta, Ramesh Chandra
    Thomas, Blessen Skariah
    JOURNAL OF CLEANER PRODUCTION, 2016, 120 : 241 - 248
  • [37] Incorporation of Concrete Polishing Waste as a Partial Substitute for Cement in Mortar
    Alassaad, Farjallah
    Affan, Houssam
    Haddad, Bechara
    Mohamad, Abdelrahman
    Sebaibi, Nassim
    MATERIALS, 2025, 18 (03)
  • [38] Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques
    Beyer, Dirk
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 874 - 880
  • [39] Efficiency wages, partial wage rigidity, and money nonneutrality
    Lin, CC
    Lai, CC
    SOUTHERN ECONOMIC JOURNAL, 1998, 65 (02) : 331 - 340
  • [40] PARTIAL RESERVE MONEY AND THE 100 PER CENT PROPOSAL
    Graham, Frank D.
    AMERICAN ECONOMIC REVIEW, 1936, 26 (03): : 428 - 440
12345