Intelligent agent control using simple logic-based hierarchical planning

We present a detailed case study of how DTGolog - a logic-based decision theoretic planner based on the language of Situation Calculus - can be adapted to solve a limited but common and useful form of hierarchical planning, and demonstrate how it can be applied to the task of intelligent robot programming and control.