S-images: Symbolic Images.

Knowledge States in Covlan are symbolic images, or s-images, which are visual descriptions containing visual elements, miscellaneous slot values, and relations between them. Problem solutions are represented by a series of s-images, connected with transformations. Figure 5 is a diagram of an s-image for the fortress problem.

Figure 5: An s-image of the problem state of the fortress problem. Things in ovals are relations. All connections are directional, going from left to right unless indicated differently by an arrow.