Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages

  • Authors:
  • Michael Wooldridge;Simon Parsons

  • Affiliations:
  • -;-

  • Venue:
  • Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper considers the design of negotiation protocols for logic-based agent communication languages.We begin by motivating the use of such languages, and introducing a formal model of logic-based negotiation. Using this model, we define two important computational problems: the success problem (given a particular negotiation history, has agreement been reached?) and the guaranteed success problem (does a particular negotiation protocol guarantee that agreement will be reached?) We then consider a series of progressively more complex negotiation languages, and consider the complexity of using these languages. We conclude with a discussion on related work and issues for the future.