Integrating planning and scheduling in workflow domains

One of the main obstacles in applying AI planning techniques to real problems is the difficulty to model the domains. Usually, this requires that people that have developed the planning system carry out the modeling phase since the representation depends very much on a deep knowledge of the internal working of the planning tools. On some domains such as business process reengineering (BPR), there has already been work on the definition of languages that allow non-experts entering knowledge on processes into the tools. We propose here the use of one of such BPR languages to enter knowledge on the organisation processes to be used by planning tools. Then, planning tools can be used to semi-automatically generate business process models. As instances of this domain, we will use the workflow modeling tool shamash, where we have exploded its object oriented structure to introduce the knowledge through its user-friendly interface and, using a translator transform it into predicate logic terms. After this conversion, real models can be automatically generated using a planner that integrates planning and scheduling, IPSS. We present results in a real workflow domain, the telephone installation (TI) domain.

[1]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[2]  Austin Tate,et al.  O-Plan2: an Open Architecture for Command, Planning and Control , 2006 .

[3]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[4]  Subbarao Kambhampati,et al.  Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan , 2001, Artif. Intell..

[5]  Qiang Yang,et al.  Intelligent planning - a decomposition and abstraction based approach , 1997, Artificial intelligence.

[6]  Malik Ghallab,et al.  Representation and Control in IxTeT, a Temporal Planner , 1994, AIPS.

[7]  M. D. R. Moreno.  Representing and planning tasks with time and resources (representación y planificación de tareas con tiempo y recursos) , 2004 .

[8]  Ming-Chien Shan,et al.  Issues in Operation Flow Management for Long-Running Acivities , 1993, IEEE Data Eng. Bull..

[9]  Yixin Chen,et al.  Partitioning of temporal planning problems in mixed space using the theory of extended saddle points , 2003, Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.

[10]  Maryam Purvis,et al.  A framework for distributed workflow systems , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[11]  Blai Bonet,et al.  Planning as heuristic search , 2001, Artif. Intell..

[12]  Jörg Hoffmann,et al.  The Metric-FF Planning System: Translating ''Ignoring Delete Lists'' to Numeric State Variables , 2003, J. Artif. Intell. Res..

[13]  R. Rasmussen.  SWIM: An AI-based System for Organization Management , 2000 .

[14]  D. L. Flarey.  Reengineering the Corporation , 1994 .

[15]  Frank Leymann,et al.  Business process management with FlowMark , 1994, Proceedings of COMPCON '94.

[16]  C. Mohan.  Recent Trends in Workflow Management Products, Standards and Research , 1998 .

[17]  Jussi Stader,et al.  Results of the Enterprise Project , 1996 .

[18]  Oren Etzioni,et al.  PRODIGY4.0: The Manual and Tutorial , 1992 .

[19]  Subbarao Kambhampati,et al.  Sapa: A Scalable Multi-objective Heuristic Metric Temporal Planner , 2002 .

[20]  Alfonso Gerevini,et al.  Temporal Planning through Mixed Integer Programming , 2002, AIPS Workshop on Planning for Temporal Domains.

[21]  Amedeo Cesta,et al.  Biasing the structure of scheduling problems through classical planners , 2004 .

[22]  María Dolores Rodríguez-Moreno,et al.  Integrating AI planning techniques with workflow management system , 2002, Knowl. Based Syst..

[23]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[24]  Jürgen Münch,et al.  Distributed Process Planning Support with MILOS , 2000, Int. J. Softw. Eng. Knowl. Eng..

[25]  Subbarao Kambhampati,et al.  Sapa: A Multi-objective Metric Temporal Planner , 2003, J. Artif. Intell. Res..

[26]  Marco Pistore,et al.  A Hierarchical Task-Network Planner based on Symbolic Model Checking , 2005, ICAPS.

[27]  Austin Tate,et al.  O Plan an Open Architecture for Command Planning and Control , 2006 .

[28]  B. Drabble,et al.  Realizing Real Commercial Benefit from Workflow : A Report from the Trenches , 1999 .

[29]  Amedeo Cesta,et al.  Planning and Scheduling for workflow domains , 2004 .

[30]  Betty Salzberg,et al.  Bulletin of the Technical Committee on Data Engineering , 1995 .

[31]  Paul Kearney,et al.  Let’s see What Happen if we Integrate AI Planning with Workflow Management System , 2002 .

[32]  Christer Bäckström.  Computational Aspects of Reordering Plans , 1998, J. Artif. Intell. Res..

[33]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[34]  Sira Vegas,et al.  Quality-based Learning for Planning , 2001 .

[35]  David Camacho,et al.  A knowledge-based approach for business process reengineering, SHAMASH , 2002, Knowl. Based Syst..

[36]  Malte Helmert,et al.  On the Implementation of MIPS , 2000 .

[37]  Stephen F. Smith,et al.  A Constraint-Based Method for Project Scheduling with Time Windows , 2002, J. Heuristics.

[38]  Karen L. Myers,et al.  At the Boundary of Workflow and AI , 1999 .

[39]  Stephen F. Smith,et al.  Profile-Based Algorithms to Solve Multiple Capacitated Metric Scheduling Problems , 1998, AIPS.

[40]  Markus Hannebauer,et al.  From Formal Workflow Models to Intelligent Agents , 1999 .

[41]  Eugene Fink,et al.  Integrating planning and learning: the PRODIGY architecture , 1995, J. Exp. Theor. Artif. Intell..

[42]  J. Ho,et al.  The Metric FF Planning System Translating Ignoring Delete Lists to Numeric State Variables , 2003 .