Skip to main content
Article thumbnail
Location of Repository

Expressing interaction in combinatorial auction through social integrity constraints

By M. ALBERTI, F. CHESANI, M. GAVANELLI, A. GUERRI, LAMMA E., M. MILANO and P. TORRONI

Abstract

Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, one of the issues they raise is the computational complexity of the solving process (the Winner Determination Problem, WDP), that delayed their practical use. Recently, efficient solvers have been applied to the WDP, so the framework starts to be viable. A second issue, common to many agent systems, is trust: in order for an agent system to be used, the users must trust both their representative and the other agents inhabiting the society. Malicious agents must be found, and their violations discovered. The SOCS project addresses such issues, and provided a language, the social integrity constraints, for defining the allowed interaction moves, together with a proof-procedure able to detect violations. In this paper we show how to write a protocol for combinatorial auctions by using social integrity constraints. In the devised protocol, the auctioneer interacts with an external solver for the winner determination problem. We also suggest some solutions for a further, challenging issue: defining a protocol that contains the concept of optimal allocation and checking efficiently that the allocation proposed by the auctioneer is indeed optimal

Publisher: SAGRAF s.r.l. – ivia C. Colombo, Z.I. II - 70100 Capurso (BA)
Year: 2005
OAI identifier: oai:iris.unife.it:11392/1194212
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://hdl.handle.net/11392/11... (external link)
  • http://ia.di.uniba.it/magazine... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.