Kambhampati's theory of refinement planning, we synthesized customized planners in blocks world and logistics domains and showed that they out-perform traditional planners by several orders of magnitude. This will, in future, support synthesis of extended planners. Develop the interface to Planware so that the user can extend the task and resource feature library. This requires a structured dialog to extract the necessary formal information without requiring the user to speak higher-order logic. We expect to be able to demonstrate synthesis of customized partial order planners, and evaluate the efficiency of synthesized planners.
Impact is measured in terms of time and effort to produce a flyable schedule.
KIDS is installed at over 40 sites worldwide. It has been used, for example, at Rome Lab for synthesizing Nuclear Power Plant Maintenance schedulers, and at ASU for synthesizing planning algorithms. Failure driven explanation-based learning of search control knowledge. Artificial Intelligence, Vol 88, pp. On the nature and role of modal truth criteria in planning.