---
title: "Planning with Loops"
authors:
  - "Hector J. Levesque"
doi: ""
url: "https://ijcai.org/proceedings/2005/2"
pdf: "https://ijcai.org/proceedings/2005/0002.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "509-514"
track: ""
keywords:
---

# Planning with Loops

Hector J. Levesque

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 509-514.

## Abstract

Unlike the case for sequential and conditional planning, much of the work on iterative planning (planning where loops may be needed) leans heavily on theorem-proving. This paper does the following: it proposes a different approach where generating plans is decoupled from verifying them; describes the implementation of an iterative planner based on the situation calculus; presents a few examples illustrating the sorts of plans that can be generated; shows some of the strengths and weaknesses of the approach; and finally sketches the beginnings of a theory, where validation of plans is done offline.