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|
|Deposited By:||Walton, Dr Chris|
|Deposited On:||30 June 2004|
Contact the site administrator at: email@example.com