  A modelling language is described which is suitable for the correlation of
information when the underlying functional model of the system is incomplete or
uncertain and the temporal dependencies are imprecise. An efficient and
incremental implementation is outlined which depends on cost functions
satisfying certain criteria. Possibilistic logic and probability theory (as it
is used in the applications targetted) satisfy these criteria.
