psfig

509

Planning and Scheduling J. Sierra-Santibáñez

A Declarative Formalization of STRIPS

J. Sierra-SantibáñezComputer Science Department, Stanford University, CA 94305, USA.

Abstract:

We present a declarative formalization of STRIPS [1] as a reasoning strategy in the situation calculus [10]. The idea is to use logic not only to represent planning problems, but also to describe the mental situations, mental actions and reasoning strategy STRIPS uses to solve those problems.

epsf

• INTRODUCTION
• THE REPRESENTATION OF PLANNING PROBLEMS
  • Blocks World
• THE REASONING STRATEGY
  • Goal Stack Planning
  • Mental Situations
  • Mental Actions
    • Appropriateness
  • The Space of Mental Situations
  • The Heuristics
    • Ordering Mental Actions
    • The Search Strategy
      • Goal Stack Derivation
      • Solution
    • Backtracking Actions
• CONCLUSIONS
• References
• Tracing the Reasoning Strategy
  • 
  • 
  • 
  • 
  • 
  • 
  • Goal Stack Planning
• About this document ...