We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues - e.g., logical implication - in contrast with approaches that describe issues as uncorrelated with each other; (2) utilities over formulas to represent agents having preferences over different bundles of issues. In this case, the utility assigned to a bundle is not necessarily the sum of utilities assigned to single elements in the bundle itself. We illustrate the theoretical framework and the one-shot negotiation protocol, which makes use of a facilitator to compute some particular Pareto-efficient outcomes. We prove the computational adequacy of our method by studying the complexity of the problem of finding Pareto-efficient solutions in a propositional logic setting.

A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation / Ragone, Azzurra; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.. - STAMPA. - 141:(2006), pp. 230-234. (Intervento presentato al convegno 17th European Conference on Artificial Intelligence, ECAI 2006 tenutosi a Riva del Garda, Italy nel August 29 - September 1,).

A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation

Tommaso Di Noia;Eugenio Di Sciascio;Francesco M. Donini
2006-01-01

Abstract

We propose a logic-based approach to automated oneshot multi-issue bilateral negotiation. We use logic in two ways: (1) a logic theory to represent relations among issues - e.g., logical implication - in contrast with approaches that describe issues as uncorrelated with each other; (2) utilities over formulas to represent agents having preferences over different bundles of issues. In this case, the utility assigned to a bundle is not necessarily the sum of utilities assigned to single elements in the bundle itself. We illustrate the theoretical framework and the one-shot negotiation protocol, which makes use of a facilitator to compute some particular Pareto-efficient outcomes. We prove the computational adequacy of our method by studying the complexity of the problem of finding Pareto-efficient solutions in a propositional logic setting.
2006
17th European Conference on Artificial Intelligence, ECAI 2006
978-1-58603-642-3
A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation / Ragone, Azzurra; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.. - STAMPA. - 141:(2006), pp. 230-234. (Intervento presentato al convegno 17th European Conference on Artificial Intelligence, ECAI 2006 tenutosi a Riva del Garda, Italy nel August 29 - September 1,).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/14493
Citazioni
  • Scopus 17
  • ???jsp.display-item.citation.isi??? 7
social impact