

![0_image_0.png](0_image_0.png)

## 2. The Type Inference Module

One way of viewing strips (Fikes & Nilsson, 1971) domains is as a collection of finite-state machines (FSMs) with domain constants traversing the states within them. For example, in a simple transportation domain there are rockets and packages, with rockets being capable of being at locations and of moving, by driving, from being at one location to being at another, and of being fuelled or unfuelled, and of moving between these two states. at can be seen as forming aone-node FSM, and fuelled and unfuelled as forming a two-node FSM.

This view is depicted in Figure 1.