---
title: "Plan Synthesis: A Logical Perspective"
authors:
  - "Stanley J. Rosenschein"
doi: ""
url: "https://ijcai.org/proceedings/1981/65"
pdf: "https://ijcai.org/proceedings/1981/0065.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "331-336"
track: "INFERENCE and REASONING"
keywords:
---

# Plan Synthesis: A Logical Perspective

Stanley J. Rosenschein

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 331-336.

## 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.