Issues in the Design of Negotiation Protocols for Logic-based Agent Communication Languages
Agent-mediated Electronic Commerce III, F. Dignum and U. Cortes (eds.)
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.
Logic-based negotiation, computational complexity.
This paper is available as a gzipped Postscript file.
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.
S.D.Parsons@csc.liv.ac.uk