Planning for conjunctive goals
Artificial Intelligence
Efficient probabilistically checkable proofs and applications to approximations
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Automatically generating abstractions for planning
Artificial Intelligence
Downward refinement and the efficiency of hierarchical problem solving
Artificial Intelligence
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
Using Abstrips Abstractions -- Where do WeStand?
Artificial Intelligence Review
Tractable plan existence does not imply tractable plan generation
Annals of Mathematics and Artificial Intelligence
Strong bounds on the approximability of two Pspace-hard problems in propositional planning
Annals of Mathematics and Artificial Intelligence
AI Communications
Reducing accidental complexity in planning problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The complexity of action redundancy
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Algorithms and limits for compact plan representations
Journal of Artificial Intelligence Research
Bridging the gap between refinement and heuristics in abstraction
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
It is well-known that state abstraction can speed up planning exponentially, under ideal condi tions. We add to the knowledge--showing that state abstraction may likewise slow down planning exponentially, and even result in generat ing an exponentially longer solution than necessary. This phenomenon can occur for abstraction hierarchies which are generated automatically by the ALPINE and HIGHPOINT algorithms. We further show that there is little hope of any drastic improvement upon these algorithms--it is computationally difficult to generate abstraction hierarchies which allow finding good approximations of optimal plans.