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


Paper:

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

Appears:

Agent-mediated Electronic Commerce III, F. Dignum and U. Cortes (eds.)

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.

Keywords:

Logic-based negotiation, computational complexity.

Availability:

This paper is available as a gzipped Postscript file.

Other information:

This is an extended version of:

Wooldridge, M. J. and Parsons, S. On the use of logic in negotiation, Proceedings of the Workshop on Agent Communication Languages, Barcelona, 2000.

which itself was a variant on

Wooldridge, M. J. and Parsons, S. Languages for negotiation, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, 2000.


Back to my homepage

S.D.Parsons@csc.liv.ac.uk