Reasoning about Plan Revision in Agent Programs

This talk is on reasoning about agent programs written in Belief, Desire and Intention (BDI) agent programming languages. BDI programming languages (for example, [1], [2], [3]) have high-level programming primitives which correspond to the beliefs, goals and plans of an AI agent. A program contains a set of rules which allow the agent to adopt plans given its current beliefs and goals. Plans are essentially imperative programs. For example, an agent may have a rule which says that if it believes that it is currently located in room 1 and its goal is to be in room 2, then a suitable plan to adopt would be to exit room 1, turn right, move forward for 3 meters, turn right, and enter room 2.

[1]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

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

[3]  Gerhard Lakemeyer,et al.  A Logic for Non-Terminating Golog Programs , 2008, KR.

[4]  Ullrich Hustadt,et al.  MSPASS: Modal Reasoning by Translation and First-Order Resolution , 2000, TABLEAUX.

[5]  Mehdi Dastani,et al.  A Logic of Agent Programs , 2007, AAAI.

[6]  M. Birna van Riemsdijk,et al.  Agent programming in dribble: from beliefs to goals using plans , 2003, AAMAS '03.

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

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

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

[10]  Bernhard Beckert,et al.  Dynamic Logic , 2007, The KeY Approach.

[11]  Mehdi Dastani,et al.  A Practical Agent Programming Language , 2007, PROMAS.

[12]  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..

[13]  Richard E. Ladner,et al.  Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..

[14]  Ramaswamy Ramanujam,et al.  Dynamic Logic on Games with Structured Strategies , 2008, KR.

[15]  John Thangarajah,et al.  Aborting tasks in BDI agents , 2007, AAMAS '07.

[16]  John Thangarajah,et al.  Suspending and resuming tasks in BDI agents , 2008, AAMAS.

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

[18]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[19]  Mehdi Dastani,et al.  Reasoning about plan revision in BDI agent programs , 2011, Theor. Comput. Sci..

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

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

[22]  Doan Thu Trang,et al.  Verifying Dribble Agents , 2009, DALT.

[23]  Mehdi Dastani,et al.  Reasoning about agent deliberation , 2008, Autonomous Agents and Multi-Agent Systems.

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