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.
%0 Journal Article
%1 dumas_02_formal
%A Dumas, Marlon
%A Governatori, Guido
%A Arthur,
%A Oaks, Phillipa
%D 2002
%J Electronic Commerce Research and Applications
%K 2002 agents statecharts \_pdf
%N 2
%P 193--207
%R http://dx.doi.org/10.1016/S1567-4223(02)00016-9
%T A formal approach to negotiating agents development
%U http://dx.doi.org/10.1016/S1567-4223(02)00016-9
%V 1
%X 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.
@article{dumas_02_formal,
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.},
added-at = {2009-03-10T04:54:11.000+0100},
author = {Dumas, Marlon and Governatori, Guido and Arthur and Oaks, Phillipa},
biburl = {https://www.bibsonomy.org/bibtex/24597ca88f2cf2c230c878a693e9af60e/leonardo},
citeulike-article-id = {572403},
doi = {http://dx.doi.org/10.1016/S1567-4223(02)00016-9},
interhash = {e827969a6f396486ad0883f03ea2c06b},
intrahash = {4597ca88f2cf2c230c878a693e9af60e},
journal = {Electronic Commerce Research and Applications},
keywords = {2002 agents statecharts \_pdf},
number = 2,
pages = {193--207},
posted-at = {2006-04-01 18:04:37},
priority = {4},
timestamp = {2009-03-10T04:54:11.000+0100},
title = {A formal approach to negotiating agents development},
url = {http://dx.doi.org/10.1016/S1567-4223(02)00016-9},
volume = 1,
year = 2002
}