Tamara Babaian and James G. Schmolze
We present a new partial order planner called PSI-PLAN, which builds on SNLP. We drop the closed world assumption, add sensing actions, add a class of propositions about the agent’s knowledge, and add a class of universally quantied propositions. This latter class of propositions, which we call -forms, distinguishes this research. -forms represent partially closed worlds, such as "Block A is clear", or "x:ps is the only postscript le in directory =tex." We present our theory of planning with sensing and show how partial order planning is performed using -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.