A Knowledge Engineering Environment for P & S with Timelines

This paper presents some of the features of a knowledge engineering environment, called KEEN, created to support a timeline based planning based on the APSI-TRF modeling assumptions. A key feature of the environment is the integration of typical tools for knowledge based modeling and refining with services for validation and verification specialized to planning with timelines.

[1]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[2]  Jeremy Frank,et al.  Constraint-Based Attribute and Interval Planning , 2003, Constraints.

[3]  Nicola Muscettola,et al.  Dynamic Control Of Plans With Temporal Uncertainty , 2001, IJCAI.

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

[5]  Enrico Tronci,et al.  Validation and verification issues in a timeline-based planning system , 2010, The Knowledge Engineering Review.

[6]  Steve A. Chien,et al.  Timeline-ased Space Operations Scheduling with External Constraints , 2010 .

[7]  Nicola Muscettola,et al.  Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.

[8]  A. Cesta,et al.  DDL.1: a formal description of a constraint representation language for physical domains , 1996 .

[9]  E. Tronci,et al.  ENRICHING APSI WITH VALIDATION CAPABILITIES : THE KEEN ENVIRONMENT AND ITS USE IN ROBOTICS , 2011 .

[10]  Enrico Tronci,et al.  Flexible Plan Verification: Feasibility Results , 2011, RCRA@AI*IA.

[11]  J. Christopher Beck,et al.  itSIMPLE: towards an integrated design system for real planning applications , 2013, The Knowledge Engineering Review.

[12]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[13]  Amedeo Cesta,et al.  Unifying planning and scheduling as timelines in a component-based perspective , 2008 .

[14]  David E. Smith,et al.  Bridging the gap between planning and scheduling , 2000, The Knowledge Engineering Review.

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

[16]  Christoph Lenzen,et al.  A generalized timeline representation, services, and interface for automating space mission operations , 2012, SpaceOps 2012 Conference.

[17]  Amedeo Cesta,et al.  Developing an End-to-End Planning Application from a Timeline Representation Framework , 2009, IAAI.

[18]  Lina Khatib,et al.  Mapping temporal planning constraints into timed automata , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

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

[20]  Kim G. Larsen,et al.  UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.

[21]  A. Cesta,et al.  Generating Controllers for Flexible Plan Execution : a TGA approach , 2011 .

[22]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

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

[24]  Julie A. Shah,et al.  Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation , 2008, ICAPS.

[25]  Joseph Sifakis,et al.  On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.

[26]  Stefan Edelkamp,et al.  Knowledge Acquisition and Knowledge Engineering in the ModPlan Workbench , 2005 .

[27]  Lavindra de Silva,et al.  A Goal-oriented Autonomous Controller for Space Exploration , 2011 .

[28]  Enrico Tronci,et al.  Analyzing Flexible Timeline-based Plans , 2010, ECAI.

[29]  Frederic Py,et al.  A systematic agent framework for situated autonomous systems , 2010, AAMAS.