Using Caching to Solve Larger Probabilistic Planning Problems (1998)
| Venue: | In Proceedings of the 14th AAAI |
| Citations: | 20 - 2 self |
BibTeX
@INPROCEEDINGS{Majercik98usingcaching,
author = {Stephen Majercik and Michael L. Littman},
title = {Using Caching to Solve Larger Probabilistic Planning Problems},
booktitle = {In Proceedings of the 14th AAAI},
year = {1998},
pages = {954--959},
publisher = {The AAAI Press/The MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Probabilistic planning algorithms seek effective plans for large, stochastic domains. maxplan is a recently developed algorithm that converts a planning problem into an E-Majsat problem, an NP PP -complete problem that is essentially a probabilistic version of Sat, and draws on techniques from Boolean satisfiability and dynamic programming to solve the E-Majsat problem. This solution method is able to solve planning problems at state-of-the-art speeds, but it depends on the ability to store a value for each CNF subformula encountered in the solution process and is therefore quite memory intensive; searching for moderate-size plans even on simple problems can exhaust memory. This paper presents two techniques, based on caching, that overcome this problem without significant performance degradation. The first technique uses an LRU cache to store a fixed number of subformula values. The second technique uses a heuristic based on a measure of subformula difficulty to selectively save t...
Citations
No citations identified.
