Maria Fox, University of Strathclyde, Glasgow
15th January 2009
In this talk I will consider the problem of planning in domains with continuous numeric change. Such change cannot always be adequately modelled by discretisation and is a key facet of many interesting problems. I will describe an approach to automating planning with linear continuous behaviours and discuss some novel aspects. While there has been recent progress in planning with linear effects it is still unknown how to deal in general with non-linear change. Existing approaches based on uniform discretisation do not seem to scale well. On the other hand, mature techniques exist for automatically checking the validity of continuous plans. In the talk I will describe how the battery scheduling problem can be considered as a planning problem and how validation of continuous battery allocation plans might be used within an iterative "focussed refinement" technique for solving problems with non-linear continuous dynamics.