Advertisement

Performative Patterns for Designing Verifiable ACLs

  • Nicola Dragoni
  • Mauro Gaspari
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4149)

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.

Keywords

Multiagent System Logical Description Success Condition Logical Semantic Crash Failure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    Labrou, Y.: Semantics for an Agent Communication Language. PhD thesis, Computer Science and Electrical Engineering Department (CSEE), University of Maryland Graduate School (1997)Google Scholar
  3. 3.
    Mullender, S.: Distributed Systems. Addison-Wesley, Reading (1993)zbMATHGoogle Scholar
  4. 4.
    Foundation for Intelligent Physical Agents: FIPA Communicative Act Library Specification, Document number: SC00037J, document status: standard (2002)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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-yGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Gaspari, M.: Concurrency and Knowledge-Level Communication in Agent Languages. Artificial Intelligence 105(1-2), 1–45 (1998)zbMATHCrossRefGoogle Scholar
  10. 10.
    Wooldridge, M.: Semantic Issues in the Verification of Agent Communication Languages. Autonomous Agents and Multi-Agent Systems 3(1), 9–31 (2000)CrossRefGoogle Scholar
  11. 11.
    Finin, T., Labrou, Y., Mayfield, J.: KQML as an Agent Communication Language. In: Software Agents, pp. 291–316. MIT Press, Cambridge (1997)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nicola Dragoni
    • 1
  • Mauro Gaspari
    • 1
  1. 1.Dipartimento di Scienze dell’InformazioneBolognaItaly

Personalised recommendations