4 research outputs found

    ADEQUACY OF LIMITED TESTING FOR KNOWLEDGE BASED SYSTEMS

    Full text link

    Evaluating a qualitative reasoner

    No full text

    Evaluating a Qualitative Reasoner

    No full text
    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 accomodate 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. Key words: qualitative reasoning, temporal reasoning, evaluation. Submitted to Tenth Australian Joint Conference on Artificial Intelligence Perth, Western Australia 2 - 4 December Evaluating a Qualitative Reasoner; page 2 of 9 Evaluating a Qualitative Reasoner ABSTRACT: 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 ..
    corecore