Sciweavers

Share
AAAI
1998

Using Caching to Solve Larger Probabilistic Planning Problems

10 years 2 months ago
Using Caching to Solve Larger Probabilistic Planning Problems
Probabilistic planning algorithms seek e ective plans for large, stochastic domains. maxplan is a recently developed algorithm that converts a planning problem into an E-Majsat problem, an NPPP-complete problem that is essentially a probabilistic version of Sat, and draws on techniques from Boolean satis ability 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 signi cant performance degradation. The rst technique uses an LRU cache to store a xed number of subformula values. The second technique uses a heuristic based on a measure of subformula di culty to selectively save the values of o...
Stephen M. Majercik, Michael L. Littman
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where AAAI
Authors Stephen M. Majercik, Michael L. Littman
Comments (0)
books