A Formal Approach to Negotiating Agents Development

Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M and Oaks, Philippa (2002) A Formal Approach to Negotiating Agents Development. Electronic Commerce Research and Applications, 1 2: 193-207. doi:10.1016/S1567-4223(02)00016-9

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
ecra.pdf ecra.pdf application/pdf 224.68KB 1520

Author Dumas, Marlon
Governatori, Guido
ter Hofstede, Arthur H. M
Oaks, Philippa
Title A Formal Approach to Negotiating Agents Development
Journal name Electronic Commerce Research and Applications   Check publisher's open access policy
ISSN 1567-4223
Publication date 2002-01-01
DOI 10.1016/S1567-4223(02)00016-9
Open Access Status File (Author Post-print)
Volume 1
Issue 2
Start page 193
End page 207
Total pages 15
Editor J. Lee
Place of publication The Netherlands
Publisher Elsevier Science B.V.
Collection year 2002
Language eng
Subject 280111 Conceptual Modelling
280213 Other Artificial Intelligence
350213 Electronic Commerce
280100 Information Systems
700199 Computer software and services not elsewhere classified
Abstract This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communication module, a control module, a reasoning module, and a knowledge base. The control module is expressed as a statechart, and the reasoning module as a defeasible logic program. A strategy specification therefore consists of a statechart, a set of defeasible rules, and a set of initial facts. Such a specification can be dynamically plugged into an agent shell incorporating a statechart interpreter and a defeasible logic inference engine, in order to yield an agent capable of participating in a given type of negotiations. The choice of statecharts and defeasible logic with respect to other formalisms is justified against a set of desirable criteria, and their suitability is illustrated through concrete examples of bidding and multi-lateral bargaining scenarios.
Keyword automated negotiation
defeasible logic
negotiating agents
software agents
Q-Index Code C1
Additional Notes Copyright (c) 2002, Elsevier Science B.V. The original publication is available at http://www.elsevier.com/locate/ecra

Version Filter Type
Citation counts: Scopus Citation Count Cited 40 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Mon, 11 Apr 2005, 10:00:00 EST by Guido Governatori on behalf of School of Information Technol and Elec Engineering