ECAI-2002 Conference Paper

[full paper]

Verification of Protocols for Automated Negotiation

Shamimabi Paurobally, Jim Cunningham

This paper presents the verifying aspect of our work for verified, unambiguous and sharable protocols with desirable properties to facilitate automated negotiation. A protocol is represented as an abstract theory in a multi-modal meta-language, called ANML, thereby enabling the verification and proof of certain protocol correctness properties. Furthermore, such logical theories allow the use of AI techniques for reasoning about goal satisfaction. The two case studies discussed in this paper are two protocols proposed in FIPA AUML, which can be shown to contain errors by using our framework. We provide improved representations in ANML and when possible in AUML.

Keywords: Multi-Agent Systems, Autonomous Agents, Reasoning about Actions and Change, Verification and Validation

Citation: Shamimabi Paurobally, Jim Cunningham: Verification of Protocols for Automated Negotiation . In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.43-47.