Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs

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, implement and evaluate techniques for inferring agent plans from behavior logs, with both positive and negative examples. After obtaining the plans, we resort to an effect log to identify the context (i.e. precondition) for each plan. The experimental results show that our framework generates a first draft of an agent program (i.e. the code) which can then be modified as required by a developer.

[1]  Ó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..

[2]  Hector Muñoz-Avila,et al.  Learning HTN Method Preconditions and Action Models from Partial Observations , 2009, IJCAI.

[3]  Bastin Tony Roy Savarimuthu,et al.  Identifying prohibition norms in agent societies , 2012, Artificial Intelligence and Law.

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

[5]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[6]  Bastin Tony Roy Savarimuthu,et al.  Obligation Norm Identification in Agent Societies , 2010, 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]  David W. Aha,et al.  LEARNING PRECONDITIONS FOR PLANNING FROM PLAN TRACES AND HTN STRUCTURE , 2005, Comput. Intell..

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

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

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

[12]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

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

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

[15]  Gianfranco Ciardo,et al.  Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings , 2005, ICATPN.

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

[17]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.