GIPO II: HTN planning in a tool-supported knowledge engineering environment

In this paper we explore a principled, integrated approach to the process of creating complex planning applications and introduce and evaluate a new hybrid task-reduction planner called HyHTN. In the short term our work is leading to an experimental research platform for investigating the synergy of integrated tools. The approach is centred around the use of a GUI called GIPO-II (based on the previously released GIPO GUI). The major innovation in GIPO-II is the ability create and maintain "hierarchical" domain specifications, and verify them using a structural property checker, and plan using the fast forward hybrid task-reduction planner HyHTN