PSIPLAN: Open World Planning with y-Forms

We present a new, partial order planner called PSIPLAN, which builds on SNLP. We drop the closed world assumption, add sensing actions, "~ld a class of propositions about the agent’s knowledge, and add a class of universally quantified propositions. This latter class of propositions, which we call C-forms, distinguishes this research. ~,-forms represent partially closed worlds, such as "’Block .4 is clear", or "z.ps is the only postscript file in directory/tez." We present our theory" of planning with sensing and show, hobpartial order planning is performed using I/~-forms. Noteworthy are the facts that lack of information can be represented precisely and all quantified reasoning has polynomial complexity. Thus, in finite domains where the maximum plan length is bounded, planning with PSIPLAN is NP-complete.