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
%N 2
%P 193--207
%R 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-02-12T00:09:12.000+0100},
author = {Dumas, Marlon and Governatori, Guido and Arthur and Oaks, Phillipa},
biburl = {https://www.bibsonomy.org/bibtex/261dc3ef9724c4f7a11ba2ecf07c7bfb3/leonardo},
citeulike-article-id = {572403},
doi = {10.1016/S1567-4223(02)00016-9},
interhash = {8f65548167c3ee3091ebfe7033d566a8},
intrahash = {61dc3ef9724c4f7a11ba2ecf07c7bfb3},
journal = {Electronic Commerce Research and Applications},
keywords = {2002 agents statecharts},
number = 2,
pages = {193--207},
posted-at = {2006-04-01 18:04:37},
priority = {4},
timestamp = {2009-02-12T00:09:12.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
}