从机制设计的角度分析不完全合约的基础

This project aims to investigate the foundation of incomplete contract. .First, we start with the holdup problem in contract theory and pursue to solve the holdup problem from the perspective of mechanism design and implementation theory. .Second, we want to extend the solution to a general environment which allows for lotteries and transfers. .Third, besides solving the holdup problem in the complete information environment, we pursue to make the mechanism successful even when the information perturbs a little bit. This mechanism enables us to relax the traditional assumption on people's preferences, allowing more other-regarding preference; it will also be renegotiation-proof. .Fourth, we will conduct experiments to test our theoretical results and compare the expected output with the existing mechanisms. Hence, we provide a solution to the incompleteness of the contract theoretically and test it empirically.

本项目旨在从机制设计的角度研究不完全合约的理论基础。.首先，本项目从不完全合约理论中的“套牢问题”出发，并试图构建一个合理的机制解决这一问题。.其次，我们将解决的方案推广到一个更一般的经济环境，n个人的情况下成功实施任意的有效的社会选择函数。.再次，在从理论上在完全信息的环境下解决套牢问题的同时，我们将致力于构建一个稳健的机制，使得它在信息发生扰动的时候依然成功。这一机制的构建以期进一步放松传统理论中对于偏好的假设，考虑更多的与他人相关的偏好；进一步放松对于人们理性的假设；并提供一个在存在重新协商的环境下成功的机制。.最终，我们将运用实验的方法从各个方面去检验我们的理论结果，并与文献上现有的经典机制做比较，从理论上提供一个机制解决合约的不完全性并提供实证上的支持。

现实经济运行过程中一个重要的问题是：信息在参与活动主体中可观测，而对第三方来说无法验证。这一问题会导致经济活动中出现效率损失的问题，比如套牢问题。经典文献中不完全合约就是从这一角度出发论证了现实生活中合约的不完备性。然而机制设计领域的专家对此提出了不同的看法，认为动态机制可以完美解决套牢问题。面对理论模型与现实合约的冲突，本研究主要探究了是什么原因导致理论模型在现实应用中的实施困难，并且提出了建设性的建议，构建了一个初步的理论模型，并且在实验室环境中做了检验，得到了很多有实际应用意义的结果。.通过对经典文献中的三阶段动态模型进行检验，我们构建了一个两阶段动态机制，这一机制可以在对参与者的理性假设和行为假设做最大的放松，并且实现机制设计的目标。所使用的解的概念包含了文献中几乎所有的动态博弈的解的概念，也就是说不管是哪种行为假设，我们构建的机制都能够实现社会最优目标。.在理论模型的一般性指导下，我们在不完全合约文献中的经典套牢问题中进行实验室检验，发现实验数据90%左右符合理论预测的结果，这一正面实验结果是文献中对于经典机制检验从未出现过的，而且我们也对比了和文献中经典机制的运行结果，最终发现我们的动态两阶段机制显著优于经典理论中的动态机制。.两阶段动态机制在理论上和实验中的成功很好得回答了文献中关于不完全合约的难题，通过对比经典机制，我们发现了关于行为假设的问题，关于信息完备性的问题，关于理性假设的问题等等，对于现实世界在合约的制定和实施有重大意义。填补了理论上的空白，融合不完全合约领域和机制设计领域，为理论工作的进行提供了一个新的出发点。