Planning with Sensing Actions and Incomplete Information Using Logic Programming

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 0approximation 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.

• Type: Conference
• Year: 2004
• Where: LPNMR
• Authors: Tran Cao Son, Phan Huy Tu, Chitta Baral
• Keywords: Conditional Planner, Conditional Plans, LPNMR 2004, Sequential Conformant Plans