Situation description language implementation

SDL is a Situation Description Language intended for use in situation as-sessment problems. SDL provides knowledge modelling and inference facilities for reasoning with information. This document describes a portable implementation of SDL in Java. It provides information required by a user of the system. Details include the operation of the compiler, the use of temporal knowledge and inference, and use of the visualisation system. This report also provides implementation details necessary for modifying or extending the system. A detailed example describes how the system was used for submarine situation assessment. APPROVED FOR PUBLIC RELEASE ^Q f63'06-/<AD