Processing interaction protocols in parallel: a logic programming implementation for robotic soccer


  • Mariano Tucat Departamento de Ciencias e Ingeniería de la Computación, Universidad Nacional del Sur, 8000 Bahía Blanca, Argentina
  • Alejandro Javier García Consejo Nacional de Investigaciones Científicas y Técnicas, Argentina


Interaction Protocols, Parallel Processing, Logic Programming, Multi-Agent Systems


In this paper we explore different situations in which collaborative agents have to communicate among themselves using standard interaction protocols. We will propose how to process these interactions in parallel without interfering with other agent's activities. Thus, agents will not have to interrupt or delay an activity for handling incoming messages, and in some cases, answers can be created and delivered immediately. Our proposal will be oriented to a robotic soccer domain with autonomous mobile robots. We will analyze three kinds of situations in which the interaction between agents plays an important role for coordination: requirements, queries and proposals. Requirements arise when an agent asks another to execute a specific action. A query is used when an agent wants to acquire certain information from another agent. Finally, proposals arise when an agent wants to synchronize with another agent for collaboration. In a realistic scenario, an agent may interact with several agents and these interactions usually proceed simultaneously with the rest of the activities of the agent. Therefore, our proposal is to process these in- teractions in parallel with the decision cycle of the agent reducing the overhead imposed by the interaction. The implementation of this approach will be done in an extended logic programming framework developed for implementing multi-agent systems.


Download data is not yet available.


[1] Lego Mindstorms robots and RCX controllers.
[2] Official E-League webpage.
[3] N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97–107, February 1992.
[4] T. Finin and Y. Labrou. Agent Communication Languages. In Proceedings of ASA/MA’99, First International Symposium on Agent Systems and Applications, and Third International Symposium on Mobile Agents, 1999.
[5] FIPA. Foundation for intelligent physical agents.
[6] Alejandro J. Garc´ıa, Gerardo I. Simari, and Telma Delladio. Designing an agent system for controlling a robotic soccer team. In Proceedings of X Argentine Congress of Computer Science, page 227, 2004.∼ajg/papers/index.htm.
[7] Alejandro J. Garc´ıa, Mariano Tucat, and Guillermo R. Simari. Interaction Primitives for Implementing Multi-agent Systems. In VII Argentine Symposium on Artificial Intelligence, Rosario, Argentina, August 2005.
[8] KQML. Knowledge Query and Manipulation Language. Oficial Web Page:
[9] Y. Labrou. Standardizing agent communication. In Proceedings of the Advanced Course on Artificial Intelligence (ACAI’01). Springer-Verlag, 2001.
[10] RoboCup. Lisbon, Portugal. 2004.
[11] M. Wooldridge. Semantic issues in the verification of agent communication languages. In Journal of Autonomous Agents and Multi Agent Systems, 2000.




How to Cite

Tucat, M., & García, A. J. (2005). Processing interaction protocols in parallel: a logic programming implementation for robotic soccer. Journal of Computer Science and Technology, 5(04), p. 232–238. Retrieved from



Original Articles