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, add 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 Ψ-forms, distinguishes this research, Ψ-forms represent partially closed worlds, such as "Block A is clear", or "x.ps is the only postscript file 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.

[1]  David E. Smith,et al.  Extending Graphplan to handle uncertainty and sensing actions , 1998, AAAI 1998.

[2]  Donald Michie,et al.  Machine Intelligence 4 , 1970 .

[3]  Mark A. Peot,et al.  Conditional nonlinear planning , 1992 .

[4]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[5]  Subbarao Kambhampati,et al.  Eeciently Executing Information Gathering Plans , 1998 .

[6]  Oren Etzioni,et al.  Omnipotence Without Omniscience: Efficient Sensor Management for Software Agents , 1994 .

[7]  Alon Y. Levy.  Obtaining Complete Answers from Incomplete Databases , 1996, VLDB 1996.

[8]  Keith Golden,et al.  Leap Before You Look: Information Gathering in the PUCCINI Planner , 1998, AIPS.

[9]  Marc Friedman Daniel S. Weld.  E ciently Executing Information-Gathering Plans , 1997 .

[10]  Marc Friedman,et al.  Efficiently Executing Information-Gathering Plans , 1997, IJCAI.

[11]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[12]  David E. Smith,et al.  Conformant Graphplan , 1998, AAAI/IAAI.

[13]  Oren Etzioni,et al.  Sound and Efficient Closed-World Reasoning for Planning , 1997, Artif. Intell..

[14]  Bart Selman,et al.  Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.

[15]  Tamara BabaianDept,et al.  PSIPOP : Planning with Sensing over Partially Closed Worlds , 1999 .

[16]  Maria Gini,et al.  An empirical study of sensing and defaulting in planning , 1992 .

[17]  David A. McAllester,et al.  Systematic Nonlinear Planning , 1991, AAAI.

[18]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.