| | |
Summary: Planning
notes by: Eyal Amir
April 3, 1997
Abstract
This summary takes from the many papers listed in the AI Qual read
ing material, as well as from some other papers kept in the Quail file such
as [Wel94], [RN95], and others.
Contents
1 Definitions 3
2 The Planning Ontology 3
2.1 The STRIPS operators . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 The Search Space . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2.1 State Space . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2.2 Goal Space . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2.3 Plan Space . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Goal Regression . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.4 Monitors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.5 Semantics of STRIPS operators planning . . . . . . . . . . . . . 5
2.5.1 Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.5.2 Soundness of a STRIPS system . . . . . . . . . . . . . . . 5
|
