Abstract
In this paper we present the MAPa 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.
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
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)
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)
Foundation for Intelligent Physical Agents. Fipa specification part 2 - agent communication language (April 1999), available at: www.fipa.org
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)
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)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (Part 1/2). Information and Computation 100(1), 1–77 (1992)
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)
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)
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)
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)
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)
Walton, C.: Multi-Agent Dialogue Protocols. In: Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida (January 2004)
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)
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
Grando, M.A., Walton, C.D. (2006). Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. 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_31
Download citation
DOI: https://doi.org/10.1007/11839354_31
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)