---
title: "A Formal Model for Classical Planning"
authors:
  - "Jens Christensen"
  - "Adam J. Grove"
doi: ""
url: "https://ijcai.org/proceedings/1991/37"
pdf: "https://ijcai.org/proceedings/1991/0037.pdf"
venue: "Proceedings of the Twelfth International Joint Conference on Artificial Intelligence"
year: 1991
pages: "246-250"
track: "Automated Reasoning"
keywords:
---

# A Formal Model for Classical Planning

Jens Christensen, Adam J. Grove

*Proceedings of the Twelfth International Joint Conference on Artificial Intelligence*, pages 246-250.

## Abstract

In this paper, we describe a formal semantic model that applies to many "classical" planning systems. This gives a unifying framework in which to study diverse planners, and motivates formal logics that can be used to study their properties. As an example of the model's utility, we present a general truth criterion which tests for the necessary truth of a proposition at arbitrary points in the planning process .