Aborting, suspending, and resuming goals and plans in BDI agents

Intelligent agents designed to work in complex, dynamic environments such as e-commerce must respond robustly and flexibly to environmental and circumstantial changes, including the actions of other agents. An agent must have the capability to deliberate about appropriate courses of action, which may include reprioritising tasks—whether goals or associated plans—aborting or suspending tasks, or scheduling tasks in a particular order. In this article we study mechanisms to enable principled suspend, resuming, and aborting of goals and plans within a Belief-Desire-Intention (BDI) agent architecture. We give a formal and combined operational semantics for these actions in an abstract agent language (CAN), thus providing a general mechanism that can be incorporated into several BDI-based agent platforms. The abilities enabled by our semantics provides an agent designer greater flexibility to direct agent operation, offering a generic means to manage the status of goals. We demonstrate the reasoning abilities enabled on a document workflow scenario.

[1]  John Thangarajah,et al.  An operational semantics for the goal life-cycle in BDI agents , 2013, Autonomous Agents and Multi-Agent Systems.

[2]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[3]  Karen L. Myers,et al.  A Cognitive Framework for Delegation to an Assistive User Agent , 2005 .

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

[5]  Lin Padgham,et al.  First principles planning in BDI systems , 2009, AAMAS.

[6]  Raymond R. Hill,et al.  A Survey of Agent-Based Modeling Practices (January 1998 to July 2008) , 2009, J. Artif. Soc. Soc. Simul..

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

[8]  Michal Pechoucek,et al.  Industrial deployment of multi-agent technologies: review and selected case studies , 2008, Autonomous Agents and Multi-Agent Systems.

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

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

[11]  Guido Boella,et al.  A REPLANNING ALGORITHM FOR DECISION THEORETIC HIERARCHICAL PLANNING: PRINCIPLES AND EMPIRICAL EVALUATION , 2008, Appl. Artif. Intell..

[12]  Célia da Costa Pereira,et al.  Belief-Goal Relationships in Possibilistic Goal Generation , 2010, ECAI.

[13]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[14]  Rafael H. Bordini,et al.  Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions) , 2010, ECAI.

[15]  Peter Henderson,et al.  Extending the concept of transaction compensation , 2002, IBM Syst. J..

[16]  Rafael H. Bordini,et al.  Theoretical and experimental results on the goal-plan tree problem , 2008, AAMAS.

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

[18]  Karen L. Myers,et al.  The Design of a Proactive Personal Agent for Task Management , 2012, Int. J. Artif. Intell. Tools.

[19]  John Thangarajah,et al.  Quantifying the Completeness of Goals in BDI Agent Systems , 2014, ECAI.

[20]  Michael Winikoff,et al.  Goals in agent systems: a unifying framework , 2008, AAMAS.

[21]  Leon Sterling,et al.  The art of Prolog (2nd ed.): advanced programming techniques , 1994 .

[22]  Winfried Lamersdorf,et al.  A Goal Deliberation Strategy for BDI Agent Systems , 2005, MATES.

[23]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[24]  Lin Padgham,et al.  A BDI agent programming language with failure handling, declarative goals, and planning , 2011, Autonomous Agents and Multi-Agent Systems.

[25]  W. van der Hoek,et al.  Agent Programming with Declarative Goals , 2000, ATAL.

[26]  James Harland,et al.  On the Life-Cycle of BDI Agent Goals , 2010, ECAI.

[27]  Michael P. Wellman,et al.  Autonomous bidding agents - strategies and lessons from the trading agent competition , 2007 .

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

[29]  Lin Padgham,et al.  Hierarchical planning in BDI agent programming languages: a formal approach , 2006, AAMAS '06.

[30]  Maria L. Gini,et al.  Agent-assisted supply chain management: Analysis and lessons learned , 2014, Decis. Support Syst..

[31]  Juan C. Burguillo,et al.  An intelligent tutoring module controlled by BDI agents for an e-learning platform , 2012, Expert Syst. Appl..

[32]  Melanie Grunwald,et al.  Agent Oriented Programming From Prolog To Guarded Definite Clauses , 2016 .

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

[34]  Lin Padgham,et al.  Computationally Effective Reasoning About Goal Interactions , 2011, Journal of Automated Reasoning.

[35]  Emiliano Lorini,et al.  A Logical Model of Intention and Plan Dynamics , 2010, ECAI.

[36]  Yves Lespérance,et al.  A logical framework for prioritized goal change , 2010, AAMAS.

[37]  Giuseppe M. L. Sarnè,et al.  A multi-agent recommender system for supporting device adaptivity in e-Commerce , 2011, Journal of Intelligent Information Systems.

[38]  David Kinny.  The Psi Calculus: An Algebraic Agent Language , 2001, ATAL.

[39]  Michael Winikoff.  A formal framework for reasoning about goal interactions , 2011, AAMAS.

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

[41]  Giovanni Rimassa,et al.  BDI-agents for agile goal-oriented business processes , 2008, AAMAS.

[42]  Mathijs de Weerdt,et al.  Distributed agent platform for Advanced Logistics , 2005, AAMAS '05.

[43]  Michael Winikoff,et al.  JACKTM Intelligent Agents: An Industrial Strength Platform , 2005, Multi-Agent Programming.

[44]  Michael Winikoff,et al.  Rich goal types in agent programming , 2011, AAMAS.

[45]  Cristina Baroglio,et al.  Engineering commitment-based business protocols with the 2CL methodology , 2014, Autonomous Agents and Multi-Agent Systems.

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

[47]  Michael Winikoff,et al.  Avoiding Resource Conflicts in Intelligent Agents , 2002, ECAI.

[48]  Lakhmi C. Jain,et al.  Multiagent Systems and Applications - Volume 2: Development Using the GORITE BDI Framework , 2013, Intelligent Systems Reference Library.

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

[50]  Deborah L. McGuinness,et al.  An Intelligent Personal Assistant for Task and Time Management , 2007, AI Mag..

[51]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[52]  Danilo Pianini,et al.  Jason: a Java-based interpreter for an extended version of AgentSpeak - Part 2 , 2011 .

[53]  Munindar P. Singh,et al.  Generalized framework for personalized recommendations in agent networks , 2012, Autonomous Agents and Multi-Agent Systems.

[54]  Ralph Rönnquist,et al.  The Goal Oriented Teams (GORITE) Framework , 2007, PROMAS.

[55]  Bo Dai,et al.  A multi-agent and auction-based framework and approach for carrier collaboration , 2011, Logist. Res..

[56]  Matthew M. Huntbach,et al.  Agent-oriented programming: from prolog to guarded definite clauses , 1999 .

[57]  Karen L. Myers,et al.  Continuous refinement of agent resource estimates , 2006, AAMAS '06.

[58]  Mehdi Amini,et al.  Alternative supply chain production-sales policies for new product diffusion: An agent-based modeling and simulation approach , 2012, Eur. J. Oper. Res..