Knowledge Engineering Tools in Planning : State-ofthe-art and Future Challenges

Encoding a planning domain model is a complex task in realistic applications. It includes the analysis of planning application requirements, formulating a model that describes the domain, and testing it with suitable planning engines. In this paper we introduce a variety of new planning domains, and we then use and evaluate three separate strategies for knowledge formulation, encoding domain models from a textual, structural description of requirements using (i) the traditional method of a PDDL expert and text editor (ii) a leading planning GUI with built in UML modelling tools (iii) a hierarchical, objectbased notation inspired by formal methods. We distill lessons learned from these experiences. The results of the comparison give insights into strengths and weaknesses of the considered approaches, and point to needs in the design of future tools supporting PDDLinspired development.

[1]  Ivan Serina,et al.  An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events , 2011, J. Artif. Intell. Res..

[2]  Vinny Cahill,et al.  Autonomic multi-policy optimization in pervasive systems: Overview and evaluation , 2012, TAAS.

[3]  Juan Fernández-Olivares,et al.  Efficiently Handling Temporal Knowledge in an HTN Planner , 2006, ICAPS.

[4]  J. Christopher Beck,et al.  of Tools and Methods for Knowledge Engineering for Planning & Scheduling , 2011 .

[5]  Ana L. C. Bazzan,et al.  A Distributed Approach for Coordination of Traffic Signal Agents , 2004, Autonomous Agents and Multi-Agent Systems.

[6]  Xin Chen,et al.  Intelligent cooperation control of urban traffic networks , 2005, 2005 International Conference on Machine Learning and Cybernetics.

[7]  Vinny Cahill,et al.  A Collaborative Reinforcement Learning Approach to Urban Traffic Control Optimization , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[8]  Octavian Udrea,et al.  Planning-Based Composition of Stream Processing Applications , 2012 .

[9]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[10]  Simon Parkinson,et al.  The Application of Automated Planning to Machine Tool Calibration , 2012, ICAPS.

[11]  April Armstrong,et al.  Traffic Incident Management Handbook , 2010 .

[12]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[13]  José Reinaldo Silva,et al.  itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains , 2007, ICAPS.

[14]  Cyril Brom,et al.  Inspect, Edit and Debug PDDL Documents: Simply and Efficiently with PDDL Studio , 2012 .

[15]  David E. Smith,et al.  The ANML Language , 2007 .

[16]  T. L. McCluskey,et al.  A tool-supported approach to engineering HTN planning models , 1998, Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (Cat. No.98CH36294).

[17]  T. L. McCluskey,et al.  Combining constraint based and classical formulations for planning domains , 2006 .

[18]  R. Simpson,et al.  Planning domain definition using GIPO , 2007, The Knowledge Engineering Review.

[19]  J. Vodrázka.  Visual design of planning domains , 2010 .

[20]  Tristan B. Smith,et al.  EUROPA : A Platform for AI Planning, Scheduling, Constraint Programming, and Optimization , 2012 .

[21]  Falilat Jimoh,et al.  Enabling Autonomic Properties in Road Transport System , 2012 .

[22]  Vinny Cahill,et al.  Distributed W-Learning: Multi-Policy Optimization in Self-Organizing Systems , 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[23]  Eric Bouillet,et al.  MARIO: middleware for assembly and deployment of multi-platform flow-based applications , 2009, Middleware.

[24]  Hassan Bevrani,et al.  Adaptive Fuzzy Urban Traffic Flow Control Using a Cooperative Multi-Agent System based on Two Stage Fuzzy Clustering , 2009, VTC Spring 2009 - IEEE 69th Vehicular Technology Conference.

[25]  J. Christopher Beck,et al.  itSIMPLE4.0: Enhancing the Modeling Experience of Planning Problems , 2012 .

[26]  Maria Fox,et al.  VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.