PP-2010-05: Porello, Daniele and Endriss, Ulle (2010) Modelling Combinatorial Auctions in Linear Logic. [Report]
Preview |
Text (Full Text)
PP-2010-05.text.pdf Download (149kB) | Preview |
Text (Abstract)
PP-2010-05.abstract.txt Download (802B) |
Abstract
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 |