Golog Speaks the BDI Language

In this paper, we relate two of the most well developed approaches to agent-oriented programming, namely, BDI (Belief-Desire-Intention) style programming and "Golog-like" high-level programming. In particular, we show how "Golog-like" programming languages can be used to develop BDI-style agent systems. The contribution of this paper is twofold. First, it demonstrates how practical agent systems can be developed using high-level languages like Golog or IndiGolog. Second, it provides BDI languages a clear classical-logic-based semantics and a powerful logical foundation for incorporating new reasoning capabilities not present in typical BDI systems.

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

[2]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[3]  Steve S. Benfield,et al.  Making a strong business case for multiagent technology , 2006, AAMAS '06.

[4]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[5]  Martha E. Pollack,et al.  The Uses of Plans , 1992, Artif. Intell..

[6]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[7]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[8]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[9]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[10]  Michael Thielscher,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .

[11]  Hector Muñoz-Avila,et al.  IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment , 2003, Annals of Mathematics and Artificial Intelligence.

[12]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[13]  Hector J. Levesque,et al.  On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.

[14]  Michael Winikoff,et al.  Declarative and procedural goals in intelligent agent systems , 2002, KR 2002.

[15]  Karen L. Myers,et al.  The SPARK agent framework , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

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

[17]  Alfredo Gabaldon.  Programming Hierarchical Task Networks in the Situation Calculus , 2002 .

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

[19]  Lin Padgham,et al.  Goals in the context of BDI plan failure and planning , 2007, AAMAS '07.

[20]  D. Dennett.  The Intentional Stance. , 1987 .

[21]  M. Winikoff,et al.  Declarative & Procedural Goals in Intelligent Agent Systems , 2002, KR.

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

[23]  Hector J. Levesque,et al.  IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents , 2009, Multi-Agent Programming, Languages, Tools and Applications.

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

[25]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[26]  Michael Wooldridge,et al.  Programming Declarative Goals Using Plan Patterns , 2006, DALT.

[27]  Michael Luck,et al.  Commercial applications of agents: lessons, experiences and challenges , 2006, AAMAS '06.

[28]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[29]  Hector J. Levesque,et al.  An Embedding of ConGolog in 3APL , 2000, ECAI.

[30]  John G. Gibbons.  Knowledge in Action , 2001 .

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

[32]  Koen V. Hindriks,et al.  Agent Programming in 3APL , 1999, Autonomous Agents and Multi-Agent Systems.

[33]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .