Modelling Multilateral Negotiation in Linear Logic

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.

[1]  A. Troelstra Lectures on linear logic , 1992 .

[2]  Paolo Torroni,et al.  An Abductive Logic Programming Architecture for Negotiating Agents , 2002, JELIA.

[3]  Mihhail Matskin,et al.  Symbolic Negotiation with Linear Logic , 2004, CLIMA.

[4]  Michael Winikoff,et al.  Agent negotiation as proof search in linear logic , 2002, AAMAS '02.

[5]  Jean-Yves Girard,et al.  Linear logic: its syntax and semantics , 1995 .

[6]  Tuomas Sandholm Contract Types for Satisficing Task Allocation:I Theoretical Results , 2002 .

[7]  Alexey P. Kopylov Decidability of linear affine logic , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

[8]  Ulrich Endriss,et al.  Modelling Combinatorial Auctions in Linear Logic , 2010, KR.

[9]  Ulrich Endriss,et al.  Modal Logics of Negotiation and Preference , 2006, JELIA.

[10]  José Júlio Alferes,et al.  Resource allocation with answer-set programming , 2009, AAMAS.

[11]  Michael Fisher Characterising simple negotiation as distributed agent-based theorem-proving-a preliminary report , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[12]  Max I. Kanovich,et al.  The Complexity of Horn Fragments of Linear Logic , 1994, Ann. Pure Appl. Log..

[13]  Nicolas Maudet,et al.  Negotiating Socially Optimal Allocations of Resources , 2011, J. Artif. Intell. Res..

[14]  Yann Chevaleyre,et al.  Issues in Multiagent Resource Allocation , 2006, Informatica.

[15]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[16]  P. Lincoln Deciding provability of linear logic formulas , 1995 .

[17]  Yann Chevaleyre,et al.  Simple negotiation schemes for agents with simple preferences: sufficiency, necessity and maximality , 2010, Autonomous Agents and Multi-Agent Systems.