Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

93

Voted

DALT
2004
Springer

favoriteEmaildiscussreport

126views Intelligent Agents» more DALT 2004»

Model Checking Agent Dialogues

15 years 4 months ago

Model Checking Agent Dialogues

Download homepages.inf.ed.ac.uk

In this paper we address the challenges associated with the veriﬁcation of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We deﬁne 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.

Christopher D. Walton

Real-time Traffic

DALT 2004 | Lightweight Protocol Language | Multiagent Systems | SPIN Model Checker |

claim paper

Related Content

» Temporal Logics for Representing Agent Communication Protocols

» Argumentation Based Modelling of Embedded Agent Dialogues

» Logical Task Modelling for ManMachine Dialogue

» Using a Reactive Planner as the Basis for a Dialogue Agent

» Extensibility and Reuse in an AgentBased Dialogue Model

» LogicBased Agent Communication Protocols

» Agents Deliberating over Action Proposals Using the ProCLAIM Model

» A generative inquiry dialogue system

» Evaluation of a hierarchical reinforcement learning spoken dialogue system

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	DALT
Authors	Christopher D. Walton

Comments (0)