Logic Modelling Workshop

Landscape Structure

The landscape structure consists of phenomena that constitute a background; it is complemented by an active structure consisting of things (animals, vehicles, etc) that populate the landscape structure, move around in it, change their properties over time, etc.

The static structure of the ZOO world uses the following types:

Figure 1 indicates how these are intended in one particular case:

A finite surface area consists of a large number of positions. For example, one may let each position be a square, so that the entire area is like a checkerboard. However, the exact shape of the positions is not supposed to be characterized, and the number of neighbors of each position is left open, except that each position must have at least one neighbor. The neighbor relation is symmetric, of course, and the transitive closure of the neighbor relation reaches all positions.

One designated location is called the outside; all other locations are called cages. The static structure contains a small number of locations. The distinction between a 'large' number of positions and a 'small' number of locations suggests in particular that locations can be individually named under a unique names assumption, that every location is thus named, but on the other hand that at most a few of the positions are named, and that the number of positions is left unspecified in every scenario.

Each positions is included in exactly one location. Informally, each cage as well as the outside consists of a set of locations, viewed for example as tiles on the floor. Two locations are neighbors if there is one position in each that are neighbors.

The scenario also contains a small number (in the same sense as above) of gates. Informally, these are to be thought of as gates that can be opened and closed, and that allow passage between a cage and the outside, or between two gates. Formally, each gate is associated with exactly two positions that are said to be at its sides, and these positions must belong to different locations.

Maintenance
information:		 Latest update 21.6.1999 by EMTEK group.
Edit mode aml, position code C.lmw.ZOO.landscape.