Abstract

We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions and incomplete information. We prove the correctness of our implementation and show that our planner is complete with respect to the 0-approximation of sensing actions and the class of conditional plans considered in this paper which is large enough to cover conditional plans with bounded length and branching factor. Finally, we present some preliminary experimental results and discuss further enhancements to the program.

Citations