Abstract
When people hear two actors reciting a conversation in a poem, they become attuned to the kinds of sounds that they are producing, which may not be apparent in the printed text of the poem. This result depends on certain habitual patterns of how people read or how things should be read in a performance. Performative patterns suggest certain kinds of rhythmic possibilities, time, timbre and intonation, which are not written on the page. Although their scope is quite different we claim that agents’ conversations are subject to similar principles. In the same way agents’ conversations are not completely specified by the logical description of the involved performatives and rules governing speech act interaction are needed to guarantee a reproducible and thus verifiable behaviour. In this paper we present a set of performative patterns for ACLs which specify how performatives should be executed in a concurrent and reactive way with respect to a given logical semantics. We provide a classification of the KQML and FIPA performatives in these patterns and we show how several properties of Multi-Agent Systems can be inferred and verified if an ACL adopt this approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agliati, A., Vescovo, A., Anolli, L.: Conversation patterns in Icelandic and Italian people: Similarities and differences in rhythm and accomodation. In: Anolli, L., et al. (eds.) The hidden structure of interaction. From neurons to culture patterns, pp. 223–236. IOS Press, Amsterdam (2005)
Labrou, Y.: Semantics for an Agent Communication Language. PhD thesis, Computer Science and Electrical Engineering Department (CSEE), University of Maryland Graduate School (1997)
Mullender, S.: Distributed Systems. Addison-Wesley, Reading (1993)
Foundation for Intelligent Physical Agents: FIPA Communicative Act Library Specification, Document number: SC00037J, document status: standard (2002)
Dragoni, N., Gaspari, M., Guidi, D.: An ACL for Specifying Fault-Tolerant Protocols. In: Bandini, S., Manzoni, S. (eds.) AI*IA 2005. LNCS (LNAI), vol. 3673, pp. 237–248. Springer, Heidelberg (2005)
Dragoni, N., Gaspari, M.: Crash Failure Detection in Asynchronous Agent Communication Languages. Journal of Autonomous Agents and Multi-Agent Systems (to appear, 2006), doi:10.1007/s10458-006-0006-y
Dragoni, N., Gaspari, M., Guidi, D.: A Reasoning Infrastructure to Support Cooperation of Intelligent Agents on the Semantic Grid. International Journal of Applied Intelligence 25, 159–180 (in press, 2006)
Smith, R.G.: The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver. IEEE Transactions on Computers 29(12), 1104–1113 (1980)
Gaspari, M.: Concurrency and Knowledge-Level Communication in Agent Languages. Artificial Intelligence 105(1-2), 1–45 (1998)
Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)
Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Software Agents, pp. 291–316. MIT Press, Cambridge (1997)
Fan, X., Yen, J.: Conversation Pattern-based Anticipation of Teammates? Information Needs Via Overhearing. In: Proceedings of the IEEE/WIC Intelligent Agent Technology conference (IAT 2005), pp. 316–322. IEEE Computer Society, Los Alamitos (2005)
Rovatsos, M., Fischer, F., Weiss, G.: An integrated framework for adaptive reasoning about conversation patterns. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 1123–1124. ACM Press, New York (2005)
Stergiou, C., Arys, G., Wooldridge, M.: A policy based framework for agents: on the specification of an agent policy language including roles, relationships, conversation patterns and co-operation patterns. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 1126–1127. ACM Press, New York (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dragoni, N., Gaspari, M. (2006). Performative Patterns for Designing Verifiable ACLs. In: Klusch, M., Rovatsos, M., Payne, T.R. (eds) Cooperative Information Agents X. CIA 2006. Lecture Notes in Computer Science(), vol 4149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11839354_27
Download citation
DOI: https://doi.org/10.1007/11839354_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38569-1
Online ISBN: 978-3-540-38570-7
eBook Packages: Computer ScienceComputer Science (R0)