BDI Goal Recognition for Agent Program Learning

Agent applications are often viewed as unduly expensive to develop and maintain in commercial contexts. Organizations often settle for less sophisticated and more traditional software in place of agent technology because of (often misplaced) fears about the development and maintenance costs of agent technology, and the often mistaken perception that traditional software offers better returns on investment. This paper aims to redress this by developing a plan recognition framework for agent program learning, where behavior logs of legacy applications (or even manually executed processes) are mined to extract a 'draft' version of agent code that could eventually replace these applications or processes. We develop and implement techniques for inferring agent plans, specifically inferring agent goals. We propose two ways to infer goals for plans without and with a goal library respectively. Besides, a preferred goal is considered when a goal library is provided, using the notions of consistency, maximal entailment and minimality. The complexity of the plan recognition framework is analyzed and the experimental results show that the average runtime for generating Belief-Desire-Intention (BDI) plans relying on the number of expansion nodes, choice branching factor and parallel branching factor in workflow nets (WF-nets), and that the plan recognition framework is feasible and computable.

[1]  Jun Hong,et al.  Goal Recognition through Goal Graph Analysis , 2001, J. Artif. Intell. Res..

[2]  Robert P. Goldman,et al.  A probabilistic plan recognition algorithm based on plan tree grammars , 2009, Artif. Intell..

[3]  Mark H. Lee,et al.  The knowledge-based factory , 1993, Artif. Intell. Eng..

[4]  Aditya K. Ghose,et al.  BDI Agents with Objectives and Preferences , 2010, DALT.

[5]  Hector Geffner,et al.  Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners , 2010, AAAI.

[6]  Bastin Tony Roy Savarimuthu,et al.  Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs , 2013, EMAS@AAMAS.

[7]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[8]  Óscar Corcho,et al.  A framework and computer system for knowledge-level acquisition, representation, and reasoning with process knowledge , 2010, Int. J. Hum. Comput. Stud..

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

[10]  Henry A. Kautz,et al.  Generalized Plan Recognition , 1986, AAAI.

[11]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[12]  Ya'akov Gal,et al.  Plan recognition in exploratory domains , 2012, Artif. Intell..

[13]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[14]  Hector Geffner,et al.  Plan Recognition as Planning , 2009, IJCAI.

[15]  Alan F. Blackwell,et al.  Goal recognition through goal graph analysis , 2001 .

[16]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[17]  Michael Luck,et al.  Leveraging New Plans in AgentSpeak(PL) , 2008, DALT.

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

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

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

[21]  Y. Lespérance,et al.  Incremental Plan Recognition in an Agent programming Framework , 2007 .