|
Part I Planning Benchmarks |
|
|
|
|
3 | (10) |
|
Evaluating Planner Performance |
|
|
3 | (4) |
|
|
4 | (1) |
|
|
5 | (2) |
|
Planning Benchmarks Are Important |
|
|
7 | (1) |
|
Theoretical Analyses of Planning Benchmarks |
|
|
8 | (1) |
|
Why Theoretical Analyses Are Useful |
|
|
8 | (1) |
|
Published Results on Benchmark Complexity |
|
|
9 | (1) |
|
|
9 | (2) |
|
|
11 | (2) |
|
Defining Planning Domains |
|
|
13 | (18) |
|
|
13 | (8) |
|
|
14 | (1) |
|
|
15 | (1) |
|
|
16 | (2) |
|
|
18 | (3) |
|
Formalizing Planning Domains |
|
|
21 | (3) |
|
General Results and Reductions |
|
|
24 | (7) |
|
|
24 | (1) |
|
|
25 | (1) |
|
Approximation Classes of Limited Interest |
|
|
26 | (2) |
|
Relating Planning and (Bounded) Plan Existence |
|
|
28 | (1) |
|
Generalization and Specialization |
|
|
29 | (2) |
|
|
31 | (8) |
|
Defining the Competition Domains |
|
|
31 | (1) |
|
|
32 | (4) |
|
|
32 | (2) |
|
|
34 | (1) |
|
|
34 | (1) |
|
|
35 | (1) |
|
Domains and Domain Families |
|
|
36 | (3) |
|
Transportation and Route Planning |
|
|
39 | (36) |
|
|
39 | (7) |
|
|
41 | (2) |
|
|
43 | (1) |
|
Special Cases and Hierarchy |
|
|
44 | (2) |
|
|
46 | (6) |
|
|
52 | (2) |
|
|
54 | (5) |
|
Constant Factor Approximation |
|
|
59 | (3) |
|
Hardness of Constant Factor Approximation |
|
|
62 | (6) |
|
|
68 | (3) |
|
Beyond Transport and Route |
|
|
71 | (4) |
|
IPC Domains: Transportation and Route Planning |
|
|
75 | (38) |
|
|
75 | (1) |
|
|
76 | (2) |
|
|
78 | (5) |
|
|
83 | (2) |
|
|
85 | (3) |
|
|
88 | (5) |
|
|
93 | (5) |
|
|
98 | (5) |
|
|
103 | (5) |
|
|
108 | (3) |
|
|
111 | (2) |
|
|
113 | (38) |
|
|
113 | (4) |
|
|
117 | (1) |
|
|
117 | (9) |
|
|
126 | (1) |
|
|
127 | (5) |
|
|
132 | (6) |
|
|
138 | (4) |
|
|
142 | (3) |
|
|
145 | (4) |
|
|
149 | (2) |
|
|
151 | (6) |
|
|
151 | (3) |
|
|
154 | (3) |
|
|
|
Solving Planning Tasks Hierarchically |
|
|
157 | (14) |
|
|
157 | (6) |
|
|
163 | (5) |
|
Causal Graphs and Abstraction |
|
|
164 | (1) |
|
Causal Graphs and Unary Strips Operators |
|
|
165 | (2) |
|
Multi-Valued Planning Tasks |
|
|
167 | (1) |
|
Architecture and Overview |
|
|
168 | (3) |
|
|
171 | (36) |
|
PDDL and Multi-valued Planning Tasks |
|
|
171 | (4) |
|
|
175 | (1) |
|
|
176 | (4) |
|
|
177 | (1) |
|
|
177 | (2) |
|
|
179 | (1) |
|
|
179 | (1) |
|
|
180 | (10) |
|
|
182 | (1) |
|
|
183 | (3) |
|
Refining Failed Candidates |
|
|
186 | (2) |
|
|
188 | (1) |
|
|
188 | (2) |
|
|
190 | (7) |
|
Overview of Horn Exploration |
|
|
191 | (1) |
|
Generating the Logic Program |
|
|
191 | (2) |
|
Translating the Logic Program to Normal Form |
|
|
193 | (2) |
|
Computing the Canonical Model |
|
|
195 | (2) |
|
Axiom and Operator Instantiation |
|
|
197 | (1) |
|
Multi-valued Planning Task Generation |
|
|
197 | (6) |
|
|
198 | (1) |
|
Converting the Initial State |
|
|
199 | (1) |
|
Converting Operator Effects |
|
|
200 | (1) |
|
|
201 | (1) |
|
|
202 | (1) |
|
|
202 | (1) |
|
|
203 | (4) |
|
Relative Performance Compared to MIPS Translator |
|
|
203 | (2) |
|
|
205 | (2) |
|
|
207 | (16) |
|
|
207 | (1) |
|
|
208 | (5) |
|
|
213 | (7) |
|
|
214 | (1) |
|
Generating and Pruning Causal Graphs |
|
|
215 | (2) |
|
|
217 | (3) |
|
Successor Generators and Axiom Evaluators |
|
|
220 | (3) |
|
|
220 | (1) |
|
|
221 | (2) |
|
|
223 | (16) |
|
|
223 | (1) |
|
The Causal Graph Heuristic |
|
|
224 | (6) |
|
Conceptual View of the Causal Graph Heuristic |
|
|
225 | (1) |
|
Computation of the Causal Graph Heuristic |
|
|
226 | (2) |
|
States with Infinite Heuristic Value |
|
|
228 | (1) |
|
|
229 | (1) |
|
|
230 | (1) |
|
Greedy Best-First Search in Fast Downward |
|
|
231 | (2) |
|
|
231 | (1) |
|
Deferred Heuristic Evaluation |
|
|
232 | (1) |
|
Multi-heuristic Best-First Search |
|
|
233 | (1) |
|
Focused Iterative-Broadening Search |
|
|
234 | (5) |
|
|
239 | (14) |
|
|
239 | (4) |
|
|
240 | (2) |
|
|
242 | (1) |
|
Translation and Knowledge Compilation vs. Search |
|
|
243 | (1) |
|
Strips Domains from IPC1-3 |
|
|
243 | (3) |
|
|
246 | (2) |
|
|
248 | (3) |
|
Conclusions from the Experiment |
|
|
251 | (2) |
|
|
253 | (6) |
|
|
253 | (1) |
|
|
254 | (3) |
|
Multi-valued Representations |
|
|
254 | (2) |
|
Task Decomposition Heuristics |
|
|
256 | (1) |
|
|
257 | (1) |
|
|
258 | (1) |
References |
|
259 | (8) |
Index |
|
267 | |