DMCA
The Computational Complexity of Propositional STRIPS Planning (1994)
Cached
Download Links
- [www.cs.utsa.edu]
- [www.informatik.uni-freiburg.de]
- DBLP
Other Repositories/Bibliography
| Venue: | Artificial Intelligence |
| Citations: | 362 - 3 self |
BibTeX
@ARTICLE{Bylander94thecomputational,
author = {Tom Bylander},
title = {The Computational Complexity of Propositional STRIPS Planning},
journal = {Artificial Intelligence},
year = {1994},
volume = {69},
pages = {165--204}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
I present several computational complexity results for propositional STRIPS planning, i.e., STRIPS planning restricted to ground formulas. Different planning problems can be defined by restricting the type of formulas, placing limits on the number of pre- and postconditions, by restricting negation in pre- and postconditions, and by requiring optimal plans. For these types of restrictions, I show when planning is tractable (polynomial) and intractable (NPhard) . In general, it is PSPACE-complete to determine if a given planning instance has any solutions. Extremely severe restrictions on both the operators and the formulas are required to guarantee polynomial time or even NP-completeness. For example, when only ground literals are permitted, determining plan existence is PSPACE-complete even if operators are limited to two preconditions and two postconditions. When definite Horn ground formulas are permitted, determining plan existence is PSPACE-complete even if operators are limited t...
