Evaluating a qualitative reasoner

In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qualitative reasoning system (QRS) this requires an extension to accommodate temporal data streams. This paper examines a number of temporal reasoning methods for QCM. On the basis of this a general methodology for evaluating QRSs and a statement of success criteria have been developed, and will be used in future work.