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

  • Authors:

  • Azzurra Ragone;Tommaso Di Noia;Eugenio Di Sciascio;Francesco M. Donini

  • Affiliations:

  • SisInfLab --Technical University of Bari, Italy, email: {a.ragone, t.dinoia, disciascio}@poliba.it;SisInfLab --Technical University of Bari, Italy, email: {a.ragone, t.dinoia, disciascio}@poliba.it;SisInfLab --Technical University of Bari, Italy, email: {a.ragone, t.dinoia, disciascio}@poliba.it;University of Tuscia, Italy, email: donini@unitus.it

  • Venue:
  • Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.