AI Magazine
In defense of reaction plans as caches
AI Magazine
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
The computational complexity of propositional STRIPS planning
Artificial Intelligence
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Expressive equivalence of planning formalisms
Artificial Intelligence - Special volume on planning and scheduling
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Universal plans for reactive robots in unpredictable environments
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Relationships between nondeterministic and deterministic tape complexities
Journal of Computer and System Sciences
Machine Learning
Hi-index | 0.00 |
One of the most widespread approaches to reactive planning is Schoppers' universal plans. We propose a stricter definition of universal plans which guarantees a weak notion of soundness not present in the original definition. Furthermore, we isolate three different types of completeness which capture different behaviours exhibited by universal plans. We show that universal plans which run in polynomial time and are of polynomial size cannot satisfy even the weakest type of completeness unless the polynomial hierarchy collapses. However, by relaxing either the polynomial time or the polynomial space requirement, the construction of universal plans satisfying the strongest type of completeness becomes trivial.