A General Framework for the Logical Representation of Combinatorial Exchange Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Résumé

The goal of this work is to propose a framework for representing and reasoning about the rules governing a combinatorial exchange. Such a framework is at first interest as long as we want to build up digital marketplaces based on auction, a widely used mechanism for automated transactions. Hence the framework should fulfill two requirements: (i) it should enable bidders to express their bids on combinations of goods and (ii) it should allow describing the rules governing some market, namely the legal bids, the allocation and payment rules. To do so, we define a logical language in the spirit of the Game Description Language: the Combinatorial Exchange Description Language is the first language for describing combinatorial exchange in a logical framework. The contribution is twofold: first, we illustrate the general dimension by representing different kinds of protocols, and second, we show how to reason about auction properties in this machine-processable language.

Dates et versions

hal-03298975 , version 1 (25-07-2021)

Identifiants

Citer

Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel. A General Framework for the Logical Representation of Combinatorial Exchange Protocols. 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604. ⟨hal-03298975⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More