PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
The syntax of the language, PDDL2.1, is described, which has considerable modelling power -- exceeding the capabilities of current planning technology -- and presents a number of important challenges to the research community.
The 3rd International Planning Competition: Results and Analysis
The paper addresses the questions of comparative performance between planners, comparative difficulty of domains, the degree of agreement between planners about the relative difficulty of individual problem instances and the question of how well planners scale relative to one another over increasingly difficult problems through statistical analysis of the raw results.
Forward-Chaining Partial-Order Planning
- A. Coles, A. Coles, M. Fox, D. Long
- Computer ScienceInternational Conference on Automated Planning…
- 12 May 2010
This paper explores the potential of a forward-chaining state-based search strategy to support partial-order planning in the solution of temporal-numeric problems, and compares POPF with the approach of constructing a sequenced plan and lifting a partial order from it.
ROSPlan: Planning in the Robot Operating System
- Michael Cashmore, M. Fox, M. Carreras
- Computer ScienceInternational Conference on Automated Planning…
- 8 April 2015
The ROSP LAN framework is described, an architecture for embedding task planning into ROS systems and a case study in autonomous robotics is provided, involving autonomous underwater vehicles in scenarios that demonstrate the flexibility and robustness of the approach.
Modelling Mixed Discrete-Continuous Domains for Planning
The syntax and modelling style of PDDL+, a planning domain description language for modelling mixed discrete-continuous planning domains, is described, showing that the language makes convenient the modelling of complex time-dependent effects.
VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL
- Richard Howey, D. Long, M. Fox
- PsychologyIEEE International Conference on Tools with…
- 15 November 2004
The plan validation tool, VAL, has been extended to include advanced features of PDDL2.1 which have proved important in mixed-initiative planning in a space operations project.
Plan Stability: Replanning versus Plan Repair
- M. Fox, A. Gerevini, D. Long, I. Serina
- BusinessInternational Conference on Automated Planning…
- 6 June 2006
This work presents arguments to support the claim that plan stability is a valuable property, and proposes an implementation, based on LPG, of a plan repair strategy that adapts a plan to its new context.
The Automatic Inference of State Invariants in TIM
A process by which state invariants can be extracted from the automatically inferred type structure of a domain is described, being developed for exploitation by STAN, a Graphplan based planner that employs state analysis techniques to enhance its performance.
Explainable Planning
- M. Fox, D. Long, D. Magazzeni
- Computer ScienceArXiv
- 29 September 2017
This paper considers the opportunities that arise in AI planning, exploiting the modelbased representations that form a familiar and common basis for communication with users, while acknowledging the gap between planning algorithms and human problem-solving.
The Detection and Exploitation of Symmetry in Planning Problems
A way of detecting and exploiting symmetry in the solution of problems that demonstrate these characteristics is described and a dramatic improvement in performance in solving problems exhibiting symmetry is achieved.
...
...