Pushing the Envelope: Planning, Propositional Logic and Stochastic Search
Abstract
Planning is a notoriously hard combinatorial search problem. In many interesting domains, current planning algorithms fail to scale up gracefully. By combining a general, stochastic search algorithm and appropriate problem encodings based on propositional logic, we are able to solve hard planning problems many times faster than the best current planning systems. Although stochastic methods have been shown to be very effective on a wide range of scheduling problems, this is the first demonstration of its power on truly challenging classical planning instances. This work also provides a new perspective on representational issues in planning.
Cite
Text
Kautz and Selman. "Pushing the Envelope: Planning, Propositional Logic and Stochastic Search." AAAI Conference on Artificial Intelligence, 1996.Markdown
[Kautz and Selman. "Pushing the Envelope: Planning, Propositional Logic and Stochastic Search." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/kautz1996aaai-pushing/)BibTeX
@inproceedings{kautz1996aaai-pushing,
title = {{Pushing the Envelope: Planning, Propositional Logic and Stochastic Search}},
author = {Kautz, Henry A. and Selman, Bart},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1996},
pages = {1194-1201},
url = {https://mlanthology.org/aaai/1996/kautz1996aaai-pushing/}
}