Conditional Progressive Planning: A Preliminary Report

In this article we describe a conditional planner called ETLplan which is an extension of the sequential planner TLplan ETLplan is a progressive planner and it uses strategic knowledge encoded in an epistemic temporal logic to reduce its search space It utilizes an ad vanced representation of knowledge and action with a semantics based on the notion of an epistemic situation Besides presenting the planner itself its representation of actions and plans and its algorithm we also provide some promising data from performance tests

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

[2]  Gregg Collins,et al.  Planning for Contingencies: A Decision-based Approach , 1996, J. Artif. Intell. Res..

[3]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[4]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Michael L. Littman,et al.  Contingent planning under uncertainty via stochastic satisfiability , 1999, Artif. Intell..

[6]  Yee Whye Teh,et al.  Making Forward Chaining Relevant , 1998, AIPS.

[7]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[8]  Daniel S. Weld,et al.  Probabilistic Planning with Information Gathering and Contingent Execution , 1994, AIPS.

[9]  Fahiem Bacchus,et al.  Using temporal logic to control search in a forward chaining planner , 1996 .

[10]  E. Clarke,et al.  Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .

[11]  Leslie Pack Kaelbling,et al.  Planning and Acting in Partially Observable Stochastic Domains , 1998, Artif. Intell..

[12]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

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

[14]  Rachid Alami,et al.  A Possibilistic Planner that Deals with Non-Determinism and Contingency , 1999, IJCAI.

[15]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[16]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..