Abstract
As seen earlier POS is a general agent conversation protocol engineering formalism that has proved efficient when used in communities of software information agents. The aim of this paper is to show how much POS is simple, easy to use, and very appropriate for implementing interaction protocols in a collaborative agent setting. In order to exemplify our approach we focus on an application domain with real time constraints such as soccer robots and show how an inherently symbolic abstract system like POS can be neatly integrated with agents whose internal architecture is reactive and relies on bottom-up behavior-based techniques.
First, we shortly discuss aspects of heterogeneity with respect to soccer robots and present the RoboCup experimental setting. Then we sketch the difficulties that arise when trying to coordinate an heterogeneous team with conventional methods. In response, we introduce some elements of the POS (Protocol Operational Semantics) model. The following sections examine several basic behaviors of the JavaSoccer simulation environment as it is later used along with TeamBots to highlight POS’ capabilities, demonstrate how POS is a suited theoretical tool and leads to extremely compact and modular code due to its high expressive power, and discuss the obtained results. Finally we conclude the article with a comparison to related works as well as some perspectives about the engineering of interaction protocols.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Arkin R (1999) Behavior-based Robotics. MIT Press
Balch TR, Ram A (1998) Integrating robotics research with JavaBots. In: Working Notes of the AAAI 1998 Spring Symposium
Barbuceanu M, Lo W-K (1999) Conversation Oriented Programming in COOL: Current State and Future Directions. In: Autonomous Agents’99, Special Workshop on Conversation Policies
Bauer B, Muller JP, Odell J (2001) Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini Wooldridge (eds.) International journal of software engineering and knowledge engineering, Vol. 11. Springer, Berlin, pp 91–103
Birk A, Belpaeme T (1998) A Multi-Agent-System based on Heterogeneous Robots. In: Drogoul A, Tambe M, Fukuda T (eds) Collective Robotics Workshop, Vol. 1456 of LNAI.Springer
Birk A, Kenn H, Walle T (1998) RoboCube: A “universal” “special-purpose” Hardware for the RoboCup small robots league. In: Lueth Dillmann, Dario Wrn (eds) 3rd International Symposium on Distributed Autonomous Systems. Springer
Burmeister B, Haddadi A, Sundermeyer K (1995) Generic, Configurable, Cooperation Protocols for Multi-Agent Systems. In:Castelfranchi C, Muller J.-P. (eds) From Reaction to Cognition, vol. 957 of Lecture notes in AI. Springer Verlag, Berlin, Germany, pp 157–171. Appeared also in MAAMAW-93, Neuchatel
Cammarata S, Arthur DM, Steeb R (1988) Strategies of Cooperation in Distributed Problem Solving. In: Bond A, Gasser L (eds) Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, Inc., San Mateo, CA: pp 102–105
Cost RS, Chen Y, Finin T, Labrou Y, Peng Y (1999) Modeling Agent Conversation with Colored Petri Nets. In: J. Bradshaw (ed) Autonomous Agents’99, Special Workshop on Conversation Policies
Durkin P (1994) Design and Implementation of Expert Systems. Prentice Hall
Greaves M, Holmback H, Bradshaw J (1999) What is a Conversation Policy?. In: Autonomous Agents’99, Special Workshop on Conversation Policies
Habibi J, Younesy H, Heydarnoori A (2003) Using the opponent pass modeling method to improve defending ability of a (robo)soccer simulation team. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, Vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 543–550
Hennessy M (1990) The Semantics of Programming Languages: An Introduction Using Structured Operational Semantics. Wiley
Ishimura T, Kato T, Oda K, Ohashi T (2003) An open robot simulator environment. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 621–627
Jia J, Chen W, Xi Y (2003) A rule-driven autonomous robotic system operating in a time-varying environment. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, Vol. 3020 of LNAI. Padua, Italy, Springer-Verlag, pp 487–494
Khosla R, Dillon T (1997) Engineering Intelligent Hybrid Multi-Agent Systems. Kluwer Academic
Kitano H, Asada M, Kuniyoshi Y, Noda I, Osawa E (1997a) RoboCup: The robot world cup initiative. In: First International Conference on Autonomous Agents (Agents-97). The ACMPress
Kitano H, Tambe M, Stone P, Veloso M, Coradeschi S, Osawa E, Matsubara H, Noda I, Asada M (1997b) The RoboCup synthetic agent challenge. In: International Joint Conference on Artificial Intelligence (IJCAI-97)
Koning J-L, Oudeyer P-Y (2000) Modeling and Implementing Conversation Policies Using POS. In: d’Auriol B (ed) International Conference on Communications in Computing (CIC-00). CSREA Press, Las Vegas, NV
Koning J-L, Oudeyer P-Y (2001) Introduction to POS: A Protocol Operational Semantics. Intern J Cooper Inform Syst 10(1 & 2):101–123. Special Double Issue on “Intelligent Information Agents: Theory and Applications”
Koning J-L, Oudeyer P-Y (2003) Formalization, implementation and validation of conversation policies using a protocol operational semantics. Cogn Syst Res J 4(3):223–242
Kuwabara K, Ishida T, Osato N (1995) AgenTalk: Describing Multiagent Coordination Protocols with Inheritance. In: Seventh IEEE International Conference on Tools with Artificial Intelligence. Herndon, Virginia, pp 460–465
Kgler M, Obst O (2003) Simulation league: The next generation. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, Vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 458–469
Labrou Y, Finin T, Peng Y (1999) Agent communication languages: The current landscape. IEEE Intel Sys, pp 45–52
Leroy X (2000) The Objective Caml system, release 3.00. http://caml.inria.fr/ocaml/htmlman
Lötzsch M, Bach J, Burkhard H-D, Jüngel M (2003) Designing agent behavior with the extensible agent behavior specification language XABSL. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 114–124
McFarland D (1994) Towards robot cooperation. In: Cliff D, Husbands P, Meyer J-A, Wilson SW (eds) 3rd International Conference on Simulation of Adaptive Behavior: From Animals to Animats. The MIT Press/Bradford Books, Cambridge
Milner R (1987) A Proposal for Standard ML. In: ACM Conference on Lisp and Functional Programming
Murakami Y, Ishida T, Kawasoe, Hishiyama R (2003) Scenario description for multiagent simulation. In: Second international Joint conference on Autonomous agents and multiagent systems. ACM Press, Melbourne, Australia, pp 369–376
Murray J (2003) Specifying agent behaviors with UML statecharts and StatEdit. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 145–156
Odersky M, Wadler P (1997) Pizza into Java: Translating theory into practice. In: 4th ACM Symposium on Principles of Programming Languages. Paris, France
Oudeyer P-Y, Koning J-L (2000) Modeling Soccer-Robots Strategies Through Conversation Policies. In: Mattern F, Kotz D (eds) 2nd IEEE International Symposium on Agent Systems and Application (ASA/MA-00). Springer Verlag, Zrich, Switzerland
Pitt J, Mamdani A (1999) Designing Agent Communication Languages for Multi-Agent Systems. In: European Workshop on Modeling Autonomous Agents and Multi-Agent World (MAAMAW-99), pp 102–114
Plotkin G (1981) A structural approach to operationnal semantics. Technical Report DAIMI FN-19, Aarhus university, Computer Science Department, Denmark
Rad AA, Qaragozlou N, Zaheri M (2003) Scenario-based teamworking: How to learn, create and teach complex plans?. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, Vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 137–144
Robocup: 2003, RoboCup: The robot world cup initiative. http://www.robocup.org
Shinoda K, Noda I, Kunifuji S (2003) Civilian agent simuation for disaster rescue risk-communication. In: Third IASTED International Conference on Artificial Intelligence and applications (AIA’2003), pp 283–288
Steels L (1994) A case study in the behavior-oriented design of autonomous agents. In: Cliff D, Husbands P, Meyer J-A, Wilson SW (eds) 3rd International Conference on Simulation of Adaptive Behavior: From Animals to Animats. The MIT Press/Bradford Books, Cambridge
Steels L, Brooks R (1994) The ‘Artificial Life’ Route to ‘Artificial Intelligence’—Building Situated Embodied Agents. New Haven: Lawrence Erlbaum Ass
Steffens T (2003) Feature-based declarative opponent-modeling. In: Polani D, Brownng B, Bonarini A, Yoshida K (eds) RoboCup 2003: 7th Robot World Cup Soccer and Rescue Competitions and Conferences, vol. 3020 of LNAI. Springer-Verlag, Padua, Italy, pp 125–136
TeamBots (1999) ‘TeamBots information page’. http://www.teambots.org/
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Koning, JL., Oudeyer, PY. Modeling interaction strategies using POS: An application to soccer robots. Appl Intell 25, 7–21 (2006). https://doi.org/10.1007/s10489-006-8863-2
Issue Date:
DOI: https://doi.org/10.1007/s10489-006-8863-2