PP-2010-05: Modelling Combinatorial Auctions in Linear Logic

PP-2010-05: Porello, Daniele and Endriss, Ulle (2010) Modelling Combinatorial Auctions in Linear Logic. [Report]

Text (Full Text)

Download (149kB) | Preview
[img] Text (Abstract)

Download (802B)


We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent.

Item Type: Report
Report Nr: PP-2010-05
Series Name: Prepublication (PP) Series
Year: 2010
Uncontrolled Keywords: combinatorial auctions; linear logic; preference representation
Subjects: Logic
Depositing User: Ulle Endriss
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/384

Actions (login required)

View Item View Item