All knowledge (beliefs) in Theo is represented in a slot/entity=value format; that is,
by means of frames.
A world model is maintained in this format, and problems are represented as
slots without values. Inferencing is done on these slots to determine the
unknown values.
In addition to using a single format, all modules have access to this
knowledge throughout the system.
To return, press HOME.
To go to the next document, press NEXT.