University of AmsterdamUniversity of AmsterdamUvA

  • Terms of use
  • Contact

UvA-DARE (Digital Academic Repository)

  • Home
  • Advanced Search
  • Browse
  • My selection

Search UvA-DARE

Author
D. Porello
U. Endriss
Year
2010
Title
Modelling multilateral negotiation in linear logic
Event
19th European Conference on Artificial Intelligence (ECAI-2010), Lisbon, Portugal
Book/source title
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)
Pages (from-to)
381-386
Publisher
Amsterdam: IOS Press
ISBN
9781607506058
Document type
Conference contribution
Faculty
Interfacultary Research Institutes
Institute
Institute for Logic, Language and Computation (ILLC)
Abstract
We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation.
URL
go to publisher's site
Language
English
Permalink
http://hdl.handle.net/11245/1.332966
Downloads
  • 332966.pdf

Disclaimer/Complaints regulations

If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.

PrintPrint this pageShareShare via emailShare on facebookShare on linkedinShare on twitter
  • University library
  • About UvA-DARE
  • Disclaimer
Copyright UvA 2014