PP-2010-15:
Porello, Daniele and Endriss, Ulle
(2010)
*Modelling Multilateral Negotiation in Linear Logic.*
[Report]

Preview |
Text (Full Text)
PP-2010-15.text.pdf Download (175kB) | Preview |

Text (Abstract)
PP-2010-15.abstract.txt Download (897B) |

## 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.

Item Type: | Report |
---|---|

Report Nr: | PP-2010-15 |

Series Name: | Prepublication (PP) Series |

Year: | 2010 |

Uncontrolled Keywords: | linear logic; negotiation; multiagent resource allocation |

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/394 |

## Actions (login required)

View Item |