Abstract
Planning is a major sub-discipline of AI. A plan is defined as a sequence of actions for transforming a given state into a state which fulfills a predefined set of goals. Planning research deals with the formalization, implementation, and evaluation of algorithms for constructing plans. In the following, we first (sect. 2.1.1) introduce a language for representing problems called standard Strips. Along with defining the language, the basic concepts and notations of planning are introduced. Afterwards (sect. 2.2) some extensions to Strips are introduced and situation calculus is discussed as an alternative language formalism. In section 2.3 basic algorithms for plan construction based on forward and backward search are introduced. We discuss complexity results for planning and give results for termination, soundness, and completeness of planning algorithms. In section 2.4 we give a short survey of well-known planning systems and an overview of concepts often used in planning literature and pointers to literature. Finally (sect. 2.5), pre-planning analysis and learning are introduced as approaches for acquisition of domain-specific knowledge which can be used to make plan contruction more efficient. The focus is on state-based algorithms, including universal planning. Throughout the chapter we give illustrations using blocks-world examples.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Schmid, U. (2003). 2. State-Based Planning. In: Inductive Synthesis of Functional Programs. Lecture Notes in Computer Science(), vol 2654. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44846-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-44846-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40174-2
Online ISBN: 978-3-540-44846-4
eBook Packages: Springer Book Archive