SUROS

Descripció:

Subastes robustes a través de la incorporació de les teories dels mòduls satisfacció. Les subhastes són mecanismes per distribuir béns entre un conjunt d’agents.

Pel general, se suposa que el resultat de la subhasta és un contracte vinculant que ha de ser complert pels agents. No obstant això, aquesta suposició no és vàlida quan l’entorn en què es fan servir les subhastes és real, ja que poden ocórrer esdeveniments inesperats, per als quals les solucions no es poden preparar. Així, en aquest projecte centrarem la nostra recerca en un camp innovador: subhastes robustes. Amb aquesta finalitat, hem de definir clarament el que s’entén per robustesa en el domini de la subhasta, així com desenvolupar mètodes per proporcionar a les subhastes un comportament robust. Més concretamente, desenvoluparem mecanismes robustos de subhasta, els quals hauran d’incentivar als agents a complir els contractes, així com algoritmes per generar solucions robustes, que han de ser fàcilment reparables en cas d’esdeveniments inesperats. A més, planem utilitzar tècniques basades en lògica, en particular aquelles de les teories de mòdul de satisfacció (SMT) per abordar problemes combinatoris, com el problema de la determinació del guanyador de la subhasta. Les tècniques de contes són molt expressives, i recentment s’han produït grans avenços en l’eficiència dels solucionadors. Per tant, en el projecte anem a dissenyar mètodes basats en lògica per solucionar subastes i altres problemes combinatoris similars. A més, generalitzarem el concepte de robustez dins del domini SMT.