A Common Semantic Basis for BDI Languages

We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.

[1]  Editors , 1986, Brain Research Bulletin.

[2]  Olga Štěpánková,et al.  Advanced Topics in Artificial Intelligence , 1992, Lecture Notes in Computer Science.

[3]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

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

[5]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[6]  Koen V. Hindriks,et al.  A Formal Embedding of AgentSpeak(L) in 3APL , 1998, Australian Joint Conference on Artificial Intelligence.

[7]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[8]  Michael Fisher,et al.  Flexible Agent Grouping In Executable Temporal Logic , 1999 .

[9]  Michael Wooldridge,et al.  Foundations of Rational Agency , 1999 .

[10]  D. Dickson.  The story so far… , 2000, Nature.

[11]  Maarten Sierhuis,et al.  Multiagent modeling and simulation in human-robot mission operations work system design , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[12]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[13]  Maarten Sierhuis,et al.  Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System , 2003, FLAIRS.

[14]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[15]  Frank Dignum,et al.  Role-assignment in open agent societies , 2003, AAMAS '03.

[16]  Jörg P. Müller,et al.  Agent-Oriented Software Engineering IV , 2003, Lecture Notes in Computer Science.

[17]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

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

[19]  Michael Fisher,et al.  Programming Groups of Rational Agents , 2004, CLIMA.

[20]  Klaus Havelund,et al.  Model Checking Programs , 2004, Automated Software Engineering.

[21]  Javier Vázquez-Salceda,et al.  Organizing Multi-Agent Systems , 2004 .

[22]  Mehdi Dastani,et al.  Programming Multi-Agent Systems in 3APL , 2005, Multi-Agent Programming.

[23]  Michael Fisher,et al.  MetateM: The Story so Far , 2005, PROMAS.

[24]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[25]  Winfried Lamersdorf,et al.  A flexible BDI architecture supporting extensibility , 2005, IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[26]  Javier Vázquez-Salceda,et al.  Organizing Multiagent Systems , 2005, Autonomous Agents and Multi-Agent Systems.

[27]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[28]  Mehdi Dastani,et al.  Goal types in agent programming , 2006, AAMAS '06.

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

[30]  Mehdi Dastani,et al.  Practical extensions in agent programming languages , 2007, AAMAS '07.

[31]  Michael Fisher,et al.  A Common Basis for Agent Organisation in BDI Languages , 2008, LADS.

[32]  Paolo Torroni,et al.  COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS , 2007, Comput. Intell..

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

[34]  Michael Fisher,et al.  Language Constructs for Multi-agent Programming , 2008, CLIMA.

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

[36]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .