Interfacing Indigolog and OAA: A Toolkit for Advanced Multiagent Applications

In this paper, we describe an interface library IG-OAAlib that supports the development of Open Agent Architecture (OAA) agents using the INDIGOLOG agent programming language. OAA is a multi-agent infrastructure that supports facilitated communication. INDIGOLOG is a high-level agent programming language based on logic that supports planning and allows complex agent behaviors to be specified. Full-fledged INDIGOLOG agents written using our interface library can be both reactive and proactive, thus overcoming one of the limitations of PROLOG-based agents in the OAA framework. The interface hides all of the low-level procedures that are used to communicate with the OAA system, as well as OAA initialization, thereby leaving the INDIGOLOG programmer free to concentrate on the functionality of the agent. A multi-robot mail delivery application developed using the library is presented.

[1]  Anand S. Rao,et al.  An Abstract Architecture for Rational Agents , 1992, KR.

[2]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[3]  H. Levesque,et al.  Legolog : Inexpensive Experiments in Cognitive Robotics , 2000 .

[4]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[5]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[6]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[7]  Koen V. Hindriks,et al.  Formal Semantics for an Abstract Agent Programming Language , 1997, ATAL.

[8]  Michael R. M. Jenkin,et al.  Reactivity in a Logic-Based Robot Programming Framework , 1999, ATAL.

[9]  Randall Davis,et al.  Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[10]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[11]  Yves Lesprance,et al.  Integrating Planning into Reactive High-Level Robot Programs , 2000 .

[12]  Tran Cao Son,et al.  Adapting Golog for Programming the Semantic Web , 2001 .

[13]  Wolfram Burgard,et al.  The Interactive Museum Tour-Guide Robot , 1998, AAAI/IAAI.

[14]  Tran Cao Son,et al.  Semantic Web Services , 2001, IEEE Intell. Syst..

[15]  Raymond Reiter,et al.  Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter , 2001 .

[16]  Kurt Konolige,et al.  Robots in a Distributed Agent System , 1998 .

[17]  Nicolas Lhuillier,et al.  FOUNDATION FOR INTELLIGENT PHYSICAL AGENTS , 2003 .

[18]  David G. Schwartz.  Cooperating heterogeneous systems , 1995, The Kluwer international series in engineering and computer science.

[19]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[20]  Charlie Kindel,et al.  Distributed Component Object Model Protocol -- DCOM/1.0 , 1998 .

[21]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[22]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..