AKT EPrint Archive

Model Checking Agent Dialogues

Walton, Dr Christopher (2004) Model Checking Agent Dialogues. Second Workshop on Declarative Agent Languages and Technologies (DALT'04), New York, USA.

Full text available as:

PDF - Requires Adobe Acrobat Reader or other PDF viewer.

In this paper we address the challenges associated with the verification of correctness of communication between agents in Multi-Agent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We define a lightweight protocol language which can express a wide range of dialogue types, and we use the SPIN model checker to verify properties of this language. Our early results show this approach has a high success rate in the detection of failures in agent dialogues.

Keywords:multiagent systems, dialogue protocols, model checking
Subjects:Status > AKT Submitted
ID Code:345
Deposited By:Walton, Dr Chris
Deposited On:30 June 2004
Alternative Locations:http://centria.di.fct.unl.pt/~jleite/dalt04/docs/29-walton.pdf

Contact the site administrator at: hg@ecs.soton.ac.uk