Plan Synthesis: A Logical Perspective
Abstract
This paper explores some theoretical issues of robot system planning from the perspective of propositional dynamic logic. A generalized notion of progression and regression of conditions through actions is developed. This leads to a bidirectional single - level planning algorithm that Is easily extended to hierarchical planning. Multiple pre-/postcondition pairs, complex (e.g., conjunctive, disjunctive) goals, goals of maintenance and prevention, and plans with tests are all handled in a natural way. The logical framwork is used to clarify gaps in existing nonlinear and hierachical planning strategies.
Cite
Text
Rosenschein. "Plan Synthesis: A Logical Perspective." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Rosenschein. "Plan Synthesis: A Logical Perspective." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/rosenschein1981ijcai-plan/)BibTeX
@inproceedings{rosenschein1981ijcai-plan,
title = {{Plan Synthesis: A Logical Perspective}},
author = {Rosenschein, Stanley J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {331-337},
url = {https://mlanthology.org/ijcai/1981/rosenschein1981ijcai-plan/}
}