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.

• Type: Conference
• Year: 1997
• Where: AUSAI
• Authors: Sam Waugh, Tim Menzies, Simon Goss
• Keywords: Artificial Intelligence, AUSAI 1997, Dynamic Operations Research, QCM Qualitative Reasoning, Temporal Data Streams