SUROS

Descripción:

Subastas robustas a través de la incorporación de las teorías de los módulos satisfiability, las subastas son mecanismos para distribuir bienes entre un conjunto de agentes.

Por lo general, se supone que el resultado de la subasta es un contrato vinculante que tiene que ser cumplido por los agentes. Sin embargo, esta suposición no es válida cuando el entorno en el que se usan las subastas es real, ya que pueden ocurrir eventos inesperados, para los cuales las soluciones no pueden ser preparadas. Así, en este proyecto centraremos nuestra investigación en un campo innovador: subastas robustas. Con este fin, debemos definir claramente lo que se entiende por robustez en el dominio de la subasta, así como desarrollar métodos para proporcionar a las subastas un comportamiento robusto. Más concretamente, desarrollaremos mecanismos robustos de subasta, los cuales deberán incentivar a los agentes a cumplir los contratos, así como algoritmos para generar soluciones robustas, que deben ser fácilmente reparables en caso de eventos inesperados. Además, planeamos utilizar técnicas basadas en lógica, en particular aquellas de las teorías de módulo de satisfiability (SMT) para abordar problemas combinatorios, como el problema de la determinación del ganador de la subasta. Tales técnicas son altamente expresivas, y recientemente ha habido enormes avances en la eficiencia de los solucionadores. Por lo tanto, en el proyecto diseñaremos métodos basados ​​en lógica para resolver subastas y otros problemas combinatorios similares. Además, generalizaremos el concepto de robustez dentro del dominio SMT.