Modelling Multilateral Negotiation in Linear Logic

In {ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. pp. 381--386 (2010)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
PORMMN
Upload history
Archival date: 2019-09-28
View other versions
Added to PP index
2019-09-28

Total views
50 ( #51,383 of 2,427,842 )

Recent downloads (6 months)
5 ( #56,274 of 2,427,842 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.