Foundations of Algorithmic Contract Theory

Opis projektu

Rozszerzenie algorytmicznej teorii kontraktów na rzeczywiste zastosowania

Kontrakty są narzędziami ekonomicznymi, za pomocą których „zleceniodawca” zachęca „agentów” do podejmowania płatnych wysiłków w jego imieniu. Ilość umów negocjowanych online wzrosła wykładniczo, w tym w takich obszarach jak usługi freelancerskie i kursy internetowe. Co więcej, ogromnie wzrosła skala i złożoność takich umów, co sprawia, że wykorzystanie danych jest zarówno możliwe, jak i krytyczne w negocjacjach. Potrzebne jest zatem algorytmiczne podejście do projektowania kontraktów. Algorytmiczna teoria kontraktów, którą zaproponowano w pionierskim artykule z 2006 roku, może zaspokoić tę potrzebę. Finansowany przez ERBN projekt FACT, zainicjowany przez współautora oryginalnego artykułu, ma na celu rozwój algorytmicznej teorii kontraktów, zwiększając jej stosowalność do nowoczesnych negocjacji umów online i ustanawiając podstawową teorię algorytmicznego projektowania kontraktów.

Cel

Algorithmic game theory (AGT) lies at the intersection of algorithms and incentives, offering a framework for the design of algorithms that provide incentives for collaboration in computational markets. AGT has played a pivotal role in shaping vital computing platforms. One of the most influential fields within AGT is algorithmic mechanism design, providing incentives for truthful revelation of private information.
An equally important intersection of algorithms and incentives arises in the design of algorithms incentivizing self-interested agents to exert costly effort in executing their tasks. Incentivizing effort was studied with great success in the economics field of contract theory.
As classic applications of effort incentivization move to computational platforms, including huge computational markets for freelancing services, marketing, and online courses, they grow in scale and complexity and become data-driven. In this evolving landscape, adopting an algorithmic approach to contract design is essential. This includes a language for analyzing the computational complexity of contracts in combinatorial settings, tools for studying simplicity-optimality tradeoffs, and a formalism for analyzing data-driven contracts.
In 2006, I co-authored the pioneering paper applying an algorithmic lens to contract design, marking the inception of the field of algorithmic contract theory (ACT) and foreshadowed future developments. However, it is only in recent years that the scientific landscape and computational platforms have matured to a stage where ACT has become a prominent field in AGT.
Preliminary research in ACT has been enlightening. However, the state of the art of ACT still lags far behind full applicability in Internet applications, largely due to disregard of crucial real-world aspects. The paramount goal of this project is to establish a foundational theory for algorithmic contract design that will bridge this gap and inform the design of real-world applications.