computer-aided mechanism design

Simple item page
dc.contributor.advisorChaudhuri, Swaraten_US
dc.contributor.committeeMemberVardi, Moshien_US
dc.contributor.committeeMemberNakhleh, Luay K.en_US
dc.contributor.committeeMemberJermaine, Christopher M.en_US
dc.creatorFang, Yeen_US
dc.date.accessioned2016-01-08T19:28:32Zen_US
dc.date.available2016-01-08T19:28:32Zen_US
dc.date.created2015-05en_US
dc.date.issued2015-04-17en_US
dc.date.submittedMay 2015en_US
dc.date.updated2016-01-08T19:28:32Zen_US
dc.description.abstractAlgorithmic mechanism design, as practised today, is a manual process; however, manual design and reasoning do not scale well with the complexity of design tasks. In this thesis, we study computer-aided mechanism design as an alternative to manual construction and analysis of mechanisms. In our approach, a mechanism is a program that receives inputs from agents with private preferences, and produces a public output. Rather than programming such a mechanism manually, the human designer writes a high-level partial specification that includes behavioral models of agents and a set of logical correctness requirements (for example, truth-telling) on the desired mechanism. A program synthesis algorithm is now used to automatically search a large space of candidate mechanisms and find one that satis es the requirements. The algorithm is based on a reduction to automated rst-order logic theorem proving | speci cally, deciding the satis ability of quanti er-free formulas in the rst-order theory of reals. We present an implementation of our synthesis approach on top of a Satis ability Modulo Theories solver. The system is evaluated through several case studies where we automatically synthesize a set of classic mechanisms and their variations, including the Vickrey auction, a multistage auction, a position auction, and a voting mechanism.en_US
dc.format.mimetypeapplication/pdfen_US
dc.identifier.citationFang, Ye. "computer-aided mechanism design." (2015) Master’s Thesis, Rice University. <a href="https://hdl.handle.net/1911/87798">https://hdl.handle.net/1911/87798</a>.en_US
dc.identifier.urihttps://hdl.handle.net/1911/87798en_US
dc.language.isoengen_US
dc.rightsCopyright is held by the author, unless otherwise indicated. Permission to reuse, publish, or reproduce the work beyond the bounds of fair use or other exemptions to copyright law must be obtained from the copyright holder.en_US
dc.subjectprogram synthesisen_US
dc.subjecteconomic mechanism designen_US
dc.subjectgame theoryen_US
dc.titlecomputer-aided mechanism designen_US
dc.typeThesisen_US
dc.type.materialTexten_US
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineEngineeringen_US
thesis.degree.grantorRice Universityen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
FANG-DOCUMENT-2015.pdf
Size:
7.23 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 2 of 2
No Thumbnail Available
Name:
PROQUEST_LICENSE.txt
Size:
5.83 KB
Format:
Plain Text
Description:
Download
No Thumbnail Available
Name:
LICENSE.txt
Size:
2.6 KB
Format:
Plain Text
Description:
Download
Collections
Rice University Theses and Dissertations