Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems

  • María Adela Grando
  • Christopher David Walton
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4149)


In this paper we present the MAP a language for expressing knowledge transfer and action restriction between agents in multiagent systems. Our approach is founded on the definition of patterns of dialogues between groups of agents, expressed as protocols. Our protocols are flexible and directly executable. Furthermore, our language allow us to specify the connection between communication and knowledge transfer in a way that is independent of the specific reasoning techniques used.


Knowledge Transfer Multiagent System Agent Environment Decision Procedure Agent Instance 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dediu, A.H., Grando, M.A.: Simulating evolutionary algorithms with eco-grammar systems. In: Mira, J., Álvarez, J.R. (eds.) IWINAC 2005. LNCS, vol. 3561, pp. 112–121. Springer, Heidelberg (2005)Google Scholar
  2. 2.
    Esteva, M., Rodríguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126–147. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  3. 3.
    Foundation for Intelligent Physical Agents. Fipa specification part 2 - agent communication language (April 1999), available at:
  4. 4.
    Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Proceedings of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents 1999, Seattle, Washington (May 1999)Google Scholar
  5. 5.
    Jennings, N.R.: Specification and Implementation of a Belief-Desire-Joint-Intention Architecture for Collaborative Problem Solving. Journal of Intelligent and Cooperative Information Systems 2(3), 289–318 (1993)CrossRefGoogle Scholar
  6. 6.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (Part 1/2). Information and Computation 100(1), 1–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practise. In: Proceedings of the First International Conference on Multiagent Systems (ICMAS 1995), San Francisco, USA, pp. 312–319. AAAI Press, Menlo Park (1995)Google Scholar
  8. 8.
    Sadek, M.D.: A Study in the Logic of Intention. In: Proceedings of the 3rd Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Cambridge, MA, pp. 462–473 (1992)Google Scholar
  9. 9.
    Udupi, Y.B., Singh, M.P.: Contract Enactment in Virtual Organizations: A Commitment-Based Approach. In: Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), Boston, USA (July 2006)Google Scholar
  10. 10.
    van der Hoeck, W., Wooldridge, M.: Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1), 125–157 (2003)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Walton, C.: Model Checking Multi-Agent Web Services. In: Proceedings of the 2004 AAAI Spring Symposium on Semantic Web Services, Stanford, California. AAAI Press, Menlo Park (2004)Google Scholar
  12. 12.
    Walton, C.: Multi-Agent Dialogue Protocols. In: Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida (January 2004)Google Scholar
  13. 13.
    Walton, C., Barker, A.: An Agent-based e-Science Experiment Builder. In: Proceedings of the 1st International Workshop on Semantic Intelligent Middleware for the Web and the Grid, Valencia, Spain (August 2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • María Adela Grando
    • 1
  • Christopher David Walton
    • 2
  1. 1.Research Group on Mathematical LinguisticsRovira i Virgili UniversityTarragonaSpain
  2. 2.Centre for Intelligent Systems and their Applications, School of InformaticsUniversity of EdinburghUK

Personalised recommendations