Negotiation decision functions for autonomous agents

We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent for another. The model de nes a range of strategies and tactics that agents can employ to generate initial o ers, evaluate proposals and o er counter proposals. The model is based on computationally tractable assumptions, demonstrated in the domain of business process management and empirically evaluated. Keywords: Multi-agent systems, Negotiation, Business Process Management