Towards a declarative framework for the specification of agent-driven auctions

摘要

In this paper we propose a declarative framework for automated negotiation between software agents, The design space of automated negotiations is decomposed into: a minimal yet viable generic negotiation protocol, a declarative model of representing rules and constraints specific to each negotiation mechanisms and strategies, and a basic set of concepts for describing negotiations that form a core negotiation ontology that the agents can use to reason about the negotiations. We propose Belief-Desire-Intention agents as an implementation model of our framework. We introduce both our conceptual framework for declarative specification of automated negotiations, as well as a working prototype implementation based on the Jason agent programming language. Finally we present the details of the application of our framework for describing English and Dutch auctions.