An Approach to the Development of Flexible Multirobot Systems: the Potential of Using Mobile Code Technology

Building multirobot systems exploiting mobile code technologies: this is quite an attractive possibility that, if successfully exploited, could very much improve the flexibility in development of systems composed of multiple mobile robots. In this paper we present two main contributions that constitute a significant step toward this ambitious scenario. In particular, we present architectural and technological solutions that enable both the mobility of code in a network of robots and the interfacing between robotic platforms and mobile code. Although we are aware that the results presented in this paper are still preliminary and limited, we demonstrate their promising potential with experiments involving two mobile robots.

[1]  Michael R. M. Jenkin,et al.  A taxonomy for multi-agent robotics , 1996, Auton. Robots.

[2]  Robbert-Jan Beun,et al.  Ontological feedback in multiagent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[3]  Claudio Bettini,et al.  Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics , 1997, Data Knowl. Eng..

[4]  Michael Uschold,et al.  Ontology-based methods for enhancing autonomous vehicle path planning , 2004, Robotics Auton. Syst..

[5]  Vincenzo Caglioti,et al.  A Multirobot Architecture for Environmental Perception , 2003 .

[6]  John A. Bateman,et al.  Modelling Models of Robot Navigation Using Formal Spatial Ontology , 2004, Spatial Cognition.

[7]  Giovanni Vigna,et al.  Understanding Code Mobility , 1998, IEEE Trans. Software Eng..

[8]  Vincenzo Caglioti,et al.  A perceptive multirobot system for monitoring electro-magnetic fields , 2004, 2004 IEEE Symposium on Virtual Environments, Human-Computer Interfaces and Measurement Systems, 2004. (VCIMS)..

[9]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[10]  Francesco Amigoni,et al.  Multiparadigmatic Cooperating Sensory Agents for Modelling Complex Systems , 2001 .

[11]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[12]  Enrico Franconi,et al.  A survey of temporal extensions of description logics , 2001, Annals of Mathematics and Artificial Intelligence.

[13]  Mitsuru Oshima,et al.  Infrastructure for Mobile Agents: Requirements and Design , 1998, Mobile Agents.

[14]  Toru Ishida,et al.  Parallel, Distributed and Multiagent Production Systems , 1994, Lecture Notes in Computer Science.

[15]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[16]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[17]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[18]  N. Guarino,et al.  Formal Ontology in Information Systems: Proceedings of the 1st International Conference June 6-8, 1998, Trento, Italy , 1998 .

[19]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..

[20]  John Haugeland.  Mind Design II: Philosophy, Psychology, Artificial Intelligence , 1997 .

[21]  Jun Ota,et al.  Cooperative transport by multiple mobile robots in unknown static environments associated with real-time task assignment , 2002, IEEE Trans. Robotics Autom..

[22]  Enrico Franconi,et al.  Representing a robotic domain using temporal description logics , 1999, Artif. Intell. Eng. Des. Anal. Manuf..

[23]  Francesco Amigoni,et al.  An application of ontology technologies to robotic agents , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[24]  Giuseppe De Giacomo,et al.  Moving a robot starting from a theory of actions , 1996 .

[25]  Lynne E. Parker,et al.  Current State of the Art in Distributed Autonomous Mobile Robotics , 2000 .

[26]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[27]  Shouichi Maeyama.  Asynchronous Robot Teleoperation via the Internet: Mobile Agent Approach , 2000 .

[28]  Juha Roening,et al.  Interacting with personal robots and smart environments , 1999, Optics East.

[29]  M R Quillian,et al.  Word concepts: a theory and simulation of some basic semantic capabilities. , 1967, Behavioral science.

[30]  Tamio Arai,et al.  Distributed Autonomous Robotic Systems 3 , 1998 .

[31]  Michael Uschold,et al.  Knowledge representation for a trash collecting robot: results from the 2004 AAAI Spring Symposium , 2004, Robotics Auton. Syst..

[32]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[33]  Francesco Amigoni,et al.  Dynamic Agencies and Multi-Robot Systems , 1998, DARS.

[34]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[35]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[36]  Ulrike Sattler,et al.  Description Logics for Ontologies , 2003 .

[37]  Paolo Costa,et al.  The LighTS tuple space framework and its customization for context-aware applications , 2007, Web Intell. Agent Syst..

[38]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[39]  Robert E. Wray,et al.  Ontology infrastructure for execution-oriented autonomous agents , 2004, Robotics Auton. Syst..

[40]  Frank Wolter,et al.  Dynamic Description Logics , 1998, Advances in Modal Logic.