Abstract
This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to specify the conventions of social interaction, rather than making reference to the mental states of agents. Model checking can be used to check the conformance of a given dialogue between agents to a given protocol expressed in a suitable temporal logic. We begin by showing how simple protocols, such as those typically presented as finite automata, can be specified using a fragment of propositional linear temporal logic. The full logic can also express concepts such as future dialogue obligations (or commitments). Finally, we discuss how an extended temporal logic based on ordered trees can be used to specify nested protocols.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Endriss, U. (2006). Temporal Logics for Representing Agent Communication Protocols. In: Dignum, F.P.M., van Eijk, R.M., Flores, R. (eds) Agent Communication II. AC AC 2006 2005. Lecture Notes in Computer Science(), vol 3859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68143-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-68143-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68142-7
Online ISBN: 978-3-540-68143-4
eBook Packages: Computer ScienceComputer Science (R0)